DoubleResultantPackage(F, UP, UPUP, R)¶
- 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
x) whose roots are rational multiples of the residues of
fat all its finite poles. Argument ‘ is the derivation to use.