|
D.4.12.2 MNP_test
Procedure from library noether.lib (see noether_lib).
- Usage:
- MNP-test (i); i an ideal
- Return:
- 1 if i is in Noether position 0 otherwise.
- Note:
- This test is a probabilistic test, and it computes the initial of the ideal modulo the prime number 2147483647 (the biggest prime less than 2^31).
|