| LIB "mregular.lib";
ring r=0,(x,y,z,t,u),dp;
ideal i1=y,z,t,u; ideal i2=x,z,t,u; ideal i3=x,y,t,u; ideal i4=x,y,z,u;
ideal i5=x,y,z,t; ideal i=intersect(i1,i2,i3,i4,i5);
map phi=r,NoetherPosition(i);
phi;
==> phi[1]=x
==> phi[2]=y
==> phi[3]=z
==> phi[4]=t
==> phi[5]=53x+27y-75z+45t+u
ring r5=5,(x,y,z,t,u),dp;
ideal i=imap(r,i);
map phi=r5,NoetherPosition(i);
phi;
==> phi[1]=x
==> phi[2]=y
==> phi[3]=z
==> phi[4]=t
==> phi[5]=x-y+z-t+u
// Additional information is displayed if you change printlevel (=1);
|