ring r = 0,(x,y),ds;
ideal f = x,xy+y6+y9;
kbase(std(f));
ring s = 0,(x,y),dp;
ideal f = x,xy+y6+y9
;
kbase(std(f));
ideal f = x,xy+y6+y8+y9;
kbase(std(f));
setring r;
f = imap(s,f);
f;
kbase(std(f));
quit;
LIB"AeCodPruebas.lib";
ring r = 0,(x,y),ds;
ideal f = x,y2,y3+x2y;
def Q = MalgrRing(ideal(0),2,f);
setring Q;
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
LIB"AeCodPruebas.lib";
TargetIdeal(ideal(x,y));
ring r = 0,(x,y),ds;
ideal f = x,y2,y3+x2y;
LIB"AeCodPruebas.lib";
TargetIdeal(f, ideal(x,y));
TargetIdeal(f, std(ideal(x,y)));
LIB"AeCodPruebas.lib";
TargetIdeal(f, std(ideal(x,y)));
LIB"AeCodPruebas.lib";
ring r = 0,(x,y),ds;
ideal f = x,y2,y3+x2y;
TargetIdeal(f, std(ideal(x,y)));
LIB"AeCodPruebas.lib";
ring r = 0,(x),ds;
ideal f = x2+x4,x3;
AeNormal(f);
AeNormal(f,maxideal(5));
AeNormal(f,maxideal(4));
AeNormal(f,maxideal(10));
AeNormal(f,maxideal(6));
def Q = MalgrRing(ideal(0),1,f);
GF;
setring Q;
GF;
Gens;
setring r;
TargetIdeal(f,std(maxideal(10)));
int k = 5;
matrix jf[2][1] = jacob(f);
print(jf);
setring Q;
def f = imap(r,f);
def jf = imap(r,jf);
ideal J = x10;
setring r;
def Q = MalgrRing(ideal(0),1,f);
setring Q;
def f = imap(r,f);
setring r;
quit;
quit;
quit;
c
?
n;
n
n
n
p f
?
b
n
n
n
n
p s
n
p k
n
n
n
n
p f
n
p f
n
n
p f
n
n
p wf
n
p h
n
p m
n
n
n
n
n
n
n
n
n
p wf
n
n
n
p wf;
p s
n
n
n
p jf
p wf
p jf
n
n
n
n
n
n
n
n
p NAef
p mk
n
n
n
p mk
p jf
p wf
p GOX
p G0X
p GOX
n
p GOX
p GOY
p print(GOY)
?
p GOY
n
n
n
n
n
nn
n
n
n
n
n
n
n
n
p T
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
p T
p VAX
p R1
?
p basering
p Raux
n
n
n
n
n
n
p T
n
n
ring r = 0,(x),ds;
ideal f = x2+x4,x3;
def Q = MalgrRing(ideal(0),1,f);
LIB"AeCodPruebas.lib";
def Q = MalgrRing(ideal(0),1,f);
ring r = 0,(x,y),(dp,c);
ring r = 0,(x,y),dp;
ring R0 = changeord(list(list("(dp,c)",nvars(basering))));
ring R0 = changeord(list(list("dp,c",nvars(basering))));
ring R0 = changeord(list("(dp,c)",nvars(basering)));
n
n
p T
n
p T
n
p T
n
p T
ring r = 0,(x),ds;
LIB"ring.lib";
changeordTo(r,"(dp,c)");
changeordTo(r,"dp");
changeordTo(r,r"dp");
ring r = 0,(x),(dp,c);
basering
;