D.5.4.4 bernstein

Procedure from library gaussman.lib (see gaussman_lib).

Usage:

bernstein(t); poly t

Assume:

characteristic 0; local degree ordering;
isolated critical point 0 of t

Return:

ideal r; roots of the Bernstein polynomial b excluding the root -1

Note:

the roots of b are negative rational numbers and -1 is a root of b

Example:

LIB "gaussman.lib";
ring R=0,(x,y),ds;
poly t=x5+x2y2+y5;
bernstein(t);
→ [1]:
→    _[1]=-1/2
→    _[2]=-7/10
→    _[3]=-9/10
→    _[4]=-1
→    _[5]=-11/10
→    _[6]=-13/10
→ [2]:
→    2,1,1,2,1,1