SparsePolyOps-resultant

© 2019,2022 John Abbott, Anna M. Bigatti

GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index

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) -- f returns a RingElem (in the coefficient ring) being the discriminant of f.
  • resultant(f,g) -- f,g returns a RingElem (in the coefficient ring) being the resultant of f and g.
  • discriminant(f,x) -- returns a RingElem (in the same ring as f) being the discriminant of f wrt x.
  • resultant(f,g,x) -- returns a RingElem being the resultant of f and g with respect to the indeteminate x.
  • SubresultantSeq(f,g,x) -- returns a vector<RingElem> being the subresultant sequence of f and g with respect to the indeteminate x.

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