|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.4.17.2 modNpos_test
Procedure from librarynoether.lib (see noether_lib).
- Usage:
- modNpos_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).