quit;
quit;
quit;
quit;
quit;
ring r = 0,(X(1..30)),ds;
ideal i = maxideal(50);
qring Q = i;
setring Q;
reduce(x(1)^51);
reduce(X(1)^51);
reduce(X(1)^51,ideal(0));
reduce(X(1)^51,std(ideal(0)));
basering;
Q = std(Q);
nameof(basering);
std(X(1)^51);
setring r;
qring q2 = std(maxideal(50));
setring q2;
reduce(X(1)^51,std(0));
basering;
quit;
ring r = 0,(x(1..8)),ds;
ideal i = maxideal(50);
ring r = 0,(x(1..8)),ds;
ideal i = maxideal(10);
i;
qring q = std(i);
ring r = 0,(x(1..)),ds;
ideal i = maxideal(5);
ring r = 0,(x(1..3)),ds;
ideal i = maxideal(20);
ideal i = maxideal(40);
qring q = std(i);
basering;
setring r;
ring r = 0,(x(1..6)),ds;
ideal i = maxideal(40);
qring q = std(i);
LIB"AeCodPruebas.lib";
ring r = 0,(x,y),ds;
ideal f = x,y2,y3+xy;
AeNormal(f,maxideal(4));
LIB"AeCodPruebas.lib";
def Q = MalgrRing(ideal(0),2,
ideal f = x,y2,y3+xy;
def Q = MalgrRing(ideal(0),2,ideal(x,y2));
setring Q;
def f = imap(r,f);
setring r;
matrix jf = jacob(f);
setring Q;
def jf = imap(r,jf);
print(jf);
jf[1];
MalgrFormVect(jf[1]);
;
print(jf);
jf[1];
MalgrFormVect(jf[1], maxOX^5);
quit;
quit;
quit;
quit;
quit;
quit;
quit;
quit;
quit;
setring r;
f;
AeNormal(f);
AeNormal(f);
quit;
ring r;
quit;
;
AeNormal(f,maxideal(5));
AeNormal(f);
quit;
;
quit;
;
quit;
quit;
;
quit;
quit;
LIB"AeCodPruebas.lib";
ring r = 0,(x,y),ds;
ideal f = x,y2,x3y+xy3,y5;
AeNormal(f);
ring s = 0,(x,y,a,b),ds;
ideal i = x-a,y-b;
reduce(xy3+x3y-ab3-a3b,std(i));
lift(i,xy3+x3y-ab3-a3b);
ring r = 0,(x,y,a,b),ds;
ideal f = x-a,y2-b2,x3y+xy3-a3b-ab3,y5-b5;
qring q = std(f);
basering;
ideal i = x-a,y-b;
std(i);
kbase(i);
kbase(std(i));
dim(y-b);
dim(std(i));
vdim(std(i));
i;
i = std(i);
i;
ideal z = std(0);
reduce(i,z);
reduce(i*maxideal(1),z);
reduce(i*maxideal(4),z);
reduce(i*maxideal(10),z);
reduce(i*maxideal(5),z);
reduce(i*maxideal(6),z);
reduce(i*maxideal(5),z);
reduce(i*maxideal(1),z);
reduce(i*maxideal(2),z);
setring r;
f;
ring R = 0,(x,y,b),ds;
ideal f = y+b,x*(y2+yb+b2)+x3,y4+y3b+y2b2+yb3+b4;
kbase(std(f));
quit
;