DoubleResultantPackage(F, UP, UPUP, R)

intalg.spad line 1 [edit on github]

• F : Field
• UP : UnivariatePolynomialCategory(F)
• UPUP : UnivariatePolynomialCategory(Fraction(UP))
• R : FunctionFieldCategory(F, UP, UPUP)

This package provides functions for computing the residues of a function on an algebraic curve.

doubleResultant : (R, Mapping(UP, UP)) -> UP

doubleResultant(f, ') returns p(x) whose roots are rational multiples of the residues of f at all its finite poles. Argument ' is the derivation to use.