Home Online Manual
Top
Back: noether_lib
Forward: modNpos_test
FastBack:
FastForward:
Up: noether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.18.1 NPos_test

Procedure from library noether.lib (see noether_lib).

Usage:
NPos_test (I); I monomial ideal

Return:
A list whose first element is 1, if i is in Noether position, 0 otherwise. The second element of this list is a list of variables ordered such that those variables are listed first, of which a power belongs to the initial ideal of i. If i is in Noether position, the method returns furthermore the dimension of i.

Assume:
i is a nonzero monomial ideal.

Example:
 
LIB "noether.lib";
ring r=0,(X,Y,a,b),dp;
poly f=X^8+a*Y^4-Y;
poly g=Y^8+b*X^4-X;
poly h=diff(f,X)*diff(g,Y)-diff(f,Y)*diff(g,X);
ideal i=f,g,h;
NPos_test(i);
==> [1]:
==>    0
==> [2]:
==>    [1]:
==>       b
==>    [2]:
==>       a
==>    [3]:
==>       Y
==>    [4]:
==>       X