up previous next
SturmSeq

Sturm sequence of a univariate polynomial

Syntax
SturmSeq(f: RINGELEM): LIST of RINGELEM

Description
This function returns a scaled Sturm sequence of the univariate polynomial f which must have rational coefficients.

Example
/**/  use R ::= QQ[x];
/**/  f := 3*x^3-5*x^2+7*x-11;
/**/  SturmSeq(f);
[3*x^3 -5*x^2 +7*x -11,  9*x^2 -10*x +7,  -38*x +131,  -1]

See Also