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

D.4.16.1 NPos_test

Procedure from library noether.lib (see noether_lib).

NPos_test (I); I monomial ideal

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.

i is a nonzero monomial ideal.