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, UP -> UP, F -> IntegrationResult F) -> IntegrationResult R

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

palgintegrate: (R, F, 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.