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.
Online Manual
