Resultant

Next: lastSPRS Up: Univariate Polynomials and Series Previous: integerRoots,rationalRoots Contents Index

Resultant

$\begin{usage} import from Resultant(R,P) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & C... ...tegory0}}{UnivariatePolynomialCategory0} R & A polynomial ring\\\end{params}$

Exports

`lastSPRS`:	(P,P) $\to$ P	last non-zero remainder in the SPRS
`extendedLastSPRS`:	(P,P) $\to$ (P,P,P)	extended last non-zero remainder in the SPRS
`resultant`:	(P,P) $\to$ R	polynomial resultant
`SPRS`:	(P,P) $\to$ `List` P	Subresultant Polynomial Remainder Sequence
`subResultantGcd`:	(P,P) $\to$ P	GCD

$\begin{descr} Resultant(R,P) implements polynomial resultant computations.\end{descr}$

Subsections

lastSPRS
extendedLastSPRS
resultant
SPRS
subResultantGcd

Manuel Bronstein 2000-12-13