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 aRingElem
(in the coefficient ring) being the discriminant off
.resultant(f,g)
--f,g
returns aRingElem
(in the coefficient ring) being the resultant off
andg
.discriminant(f,x)
-- returns aRingElem
(in the same ring asf
) being the discriminant off
wrtx
.resultant(f,g,x)
-- returns aRingElem
being the resultant off
andg
with respect to the indeteminatex
.SubresultantSeq(f,g,x)
-- returns avector<RingElem>
being the subresultant sequence off
andg
with 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