Examples
User documentation
This file offers 3 functions: discriminant, resultant and SubresultantSeq.
Operations
Let f and g be two RingElem values in a polynomial ring P.
Let x be the index of an indeterminate from P.
discriminant(f)--freturns aRingElem(in the coefficient ring) being the discriminant off.resultant(f,g)--f,greturns aRingElem(in the coefficient ring) being the resultant offandg.discriminant(f,x)-- returns aRingElem(in the same ring asf) being the discriminant offwrtx.resultant(f,g,x)-- returns aRingElembeing the resultant offandgwith respect to the indeteminatex.SubresultantSeq(f,g,x)-- returns avector<RingElem>being the subresultant sequence offandgwith respect to the indeteminatex.
Maintainer documentation
Surely a simple rather than fast impl.
Bugs, shortcomings and other ideas
Must coeffs be rational?
Main changes
2019
- October (v0.99610): first release