SturmSeq(f: RINGELEM): LIST of RINGELEM
/**/ 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]