Home Online Manual
Top
Back: NPos
Forward: nsatiety
FastBack:
FastForward:
Up: noether_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.18.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: 10 /10 sec.