Home Online Manual
Top
Back: symsignature
Forward: matbil
FastBack: weierstr_lib
FastForward: rootsur_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.7.4 sturmquery

Procedure from library rootsmr.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.

Example:
 
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
See also: matbil; symsignature.