| #### D.4.22.4 modNPos Procedure from library `noether.lib` (see noether_lib). Usage: modNPos(i); i ideal Return: A linear map phi such that phi(i) is in Noether position Note: It uses the procedure modNpos_test to test Noether position. Example:
    LIB "noether.lib";
    ring r=0,(X,Y,a,b),dp;
    poly f=X^8+a*Y^4-Y;
    poly g=Y^8+b*X^4-X;
    poly h=diff(f,X)*diff(g,Y)-diff(f,Y)*diff(g,X);
    ideal i=f,g,h;
    modNPos(i);
    ==> // WARNING:
    ==> // The procedure is probabilistic and  it computes the initial of the ide\
       al modulo the prime number 2147483647
    ==> // WARNING:
    ==> // The procedure is probabilistic and  it computes the initial of the ide\
       al modulo the prime number 2147483647
    ==> // WARNING:
    ==> // The procedure is probabilistic and  it computes the initial of the ide\
       al modulo the prime number 2147483647
    ==> The dimension of the ideal is:
    ==> 1
    ==> _[1]=X
    ==> _[2]=Y
    ==> _[3]=a
    ==> _[4]=53X+27Y-75a+b and the time of this computation is: 13 /10 sec.

User manual for Singular version 4.4.0, 2024, generated by texi2html.