AlgebraicIntegrate(R0, F, UP, UPUP, R)

intalg.spad line 133 [edit on github]

• R0 : Join(GcdDomain, Comparable, RetractableTo(Integer))
• F : Join(AlgebraicallyClosedField, FunctionSpace(R0))
• UP : UnivariatePolynomialCategory(F)
• UPUP : UnivariatePolynomialCategory(Fraction(UP))
• R : FunctionFieldCategory(F, UP, UPUP)

This package provides functions for integrating a function on an algebraic curve.

algintegrate : (R, Mapping(UP, UP), Mapping(IntegrationResult(F), F)) -> IntegrationResult(R)

algintegrate(f, d, rec) integrates f with respect to the derivation d.

palgintegrate : (R, F, Mapping(UP, UP)) -> Record(result1 : IntegrationResult(R), result2 : F)

palgintegrate(f, x, d) integrates f with respect to the derivation d. Argument f must be a pure algebraic function.