7 lines
161 B
Text
7 lines
161 B
Text
#import std
|
|
#import nat
|
|
#import flo
|
|
|
|
(integral_by "m") ("f","a","b","n") =
|
|
|
|
iprod ^(* ! div\float"n" minus/"b" "a",~&) ("m" "f")*ytp (ari successor "n")/"a" "b"
|