|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.12.7.4 sturmquery
Procedure from libraryrootsmr.lib (see rootsmr_lib).
- Usage:
- sturmquery(h,b,i); h poly, b,i ideal
- Return:
- int: the Sturm query of h in V(i)
- Assume:
- i is a Groebner basis, b is an ordered monomial basis
of r/i, r = basering.
LIB "rootsmr.lib"; ring r = 0,(x,y),dp; ideal i = x4-y2x,y2-13; i = std(i); ideal b = qbase(i); sturmquery(1,b,i); ==> 4 |