FunctionSpaceIntegration(R, F)ΒΆ
integrat.spad line 115 [edit on github]
R: Join(GcdDomain, Comparable, CharacteristicZero, PolynomialFactorizationExplicit, RetractableTo Integer, LinearlyExplicitOver Integer)
F: Join(TranscendentalFunctionCategory, PrimitiveFunctionCategory, AlgebraicallyClosedFunctionSpace R)
FunctionSpaceIntegration provides functions for the indefinite integration of real-valued functions.