Up | Next | Prev | PrevTail | Tail |
This is used with the syntax
resultant(
\(\langle \)polynomial\(\rangle \),\(\langle \)polynomial\(\rangle \),\(\langle \)kernel\(\rangle \))
:\(\langle \)polynomial\(\rangle \).It computes the resultant of the two given polynomials with respect to the given variable, the coefficients of the polynomials can be taken from any domain. The result can be identified as the determinant of a Sylvester matrix, but can often also be thought of informally as the result obtained when the given variable is eliminated between the two input polynomials. If the two input polynomials have a non-trivial GCD their resultant vanishes.
The switch bezout
controls the computation of the resultants. It is off by default. In this
case a subresultant algorithm is used. If the switch Bezout is turned on, the resultant is
computed via the Bezout Matrix. However, in the latter case, only polynomial
coefficients are permitted.
The sign conventions used by the resultant function follow those in [Loo82]. namely, with \(a\) and \(b\) not dependent on \(x\):
Examples:
2 resultant(x/r*u+y,u*y,u) -> - y
calculation in an algebraic extension:
load arnum; defpoly sqrt2**2 - 2; resultant(x + sqrt2,sqrt2 * x +1,x) -> -1
or in a modular domain:
setmod 17; on modular; resultant(2x+1,3x+4,x) -> 5
Up | Next | Prev | PrevTail | Front |