PrimitiveFunctionCategory

trigcat.spad line 167 [edit on github]

Category for the functions defined by integrals.

integral: (%, SegmentBinding %) -> %

integral(f, x = a..b) returns the formal definite integral of f dx for x between a and b.

integral: (%, Symbol) -> %

integral(f, x) returns the formal integral of f dx.