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, 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.