|
D.5.4.4 bernstein
Procedure from library gmssing.lib (see gmssing_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 "gmssing.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
|
|