Compute the discriminant sequence of a polynomial
DiscriminantSequence(p, v, R)
DiscriminantSequence(p, q, v, R)
polynomial of R
variable of R
When input is only one polynomial p, the result of this function call is the list of polynomials in R which is the discriminant sequence of p regarded as a univariate polynomial in v; otherwise the discriminant sequence of p and q.
For a univariate polynomial p of degree n, its discriminant sequence is a list of n polynomials in the coefficients of p. The signs of these polynomials determine the number of distinct complex (real) zeros of p. The discriminant sequence of two polynomials p and q, together with the discriminant sequence of p, can help determining the number of distinct real roots of p=0 such that q>0 or q<0. For the details, please see the reference listed below.
R ≔ PolynomialRing⁡x,y,t
p ≔ x2+t⁢x+y
q ≔ y⁢x2+t⁢y
lp1 ≔ DiscriminantSequence⁡p,x,R
lp2 ≔ DiscriminantSequence⁡p,q,x,R
Yang, L., "Recent advances in determining the number of real roots of parametric polynomials", J. Symb. Compt. vol. 28, pp. 225--242, 1999.
Download Help Document