|
D.4.12.1 NPos_test
Procedure from library noether.lib (see noether_lib).
- Usage:
- NPos_test (I); I monomial ideal
- Return:
- A list which first element is 1 if i is in Noether position
0 otherwise. The second element of this list is the list of variable which
its first part is the variable such that a power of this varaibles belong to the initial of i.
It return also the dimension of i if i is in Noether position
- Assume:
- i is a nonzero monomial ideal.
|