i1 : R = QQ[x,y];
|
i2 : I = ideal(x^3 + x*y^2 + y^3);
o2 : Ideal of R
|
i3 : Q = R/I;
|
i4 : S1 = subring {x^2, x*y};
|
i5 : S2 = subring {x, y^2};
|
i6 : S = subringIntersection(S1, S2);
-- 0.000059349 seconds elapsed
-- 0.000648384 seconds elapsed
-- 0.000149452 seconds elapsed
-- 0.000058241 seconds elapsed
-- 0.000567733 seconds elapsed
-- 0.000135951 seconds elapsed
-- 0.00004676 seconds elapsed
-- 0.000044531 seconds elapsed
-- 0.000118541 seconds elapsed
-- 0.00005466 seconds elapsed
-- 0.000540863 seconds elapsed
-- 0.000133201 seconds elapsed
-- 0.00007254 seconds elapsed
-- 0.000505534 seconds elapsed
-- 0.000131641 seconds elapsed
-- 0.00005442 seconds elapsed
-- 0.000479033 seconds elapsed
-- 0.000135461 seconds elapsed
-- 0.00005674 seconds elapsed
-- 0.000586645 seconds elapsed
-- 0.000175432 seconds elapsed
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
|
i7 : gens S
o7 = | x2 x2y2+xy3 y4 xy3 y6 xy5 |
1 6
o7 : Matrix Q <--- Q
|
i8 : isSAGBI S
-- 0.00006107 seconds elapsed
-- 0.000633744 seconds elapsed
-- 0.000143501 seconds elapsed
-- 0.00006707 seconds elapsed
-- 0.000575033 seconds elapsed
-- 0.000137991 seconds elapsed
-- 0.000126481 seconds elapsed
-- 0.000976757 seconds elapsed
-- 0.000256771 seconds elapsed
-- 0.000100111 seconds elapsed
-- 0.000582954 seconds elapsed
-- 0.000143301 seconds elapsed
-- 0.000085151 seconds elapsed
-- 0.000591184 seconds elapsed
-- 0.000195573 seconds elapsed
-- 0.000108101 seconds elapsed
-- 0.00100576 seconds elapsed
-- 0.000223692 seconds elapsed
-- 0.00005762 seconds elapsed
-- 0.000647415 seconds elapsed
-- 0.000139081 seconds elapsed
-- 0.000058931 seconds elapsed
-- 0.000563263 seconds elapsed
-- 0.000138781 seconds elapsed
-- 0.00006254 seconds elapsed
-- 0.000535655 seconds elapsed
-- 0.000135081 seconds elapsed
-- 0.000084389 seconds elapsed
-- 0.000542904 seconds elapsed
-- 0.00015017 seconds elapsed
-- 0.00005927 seconds elapsed
-- 0.000543164 seconds elapsed
-- 0.00014035 seconds elapsed
-- 0.000066671 seconds elapsed
-- 0.000592305 seconds elapsed
-- 0.00015463 seconds elapsed
-- 0.000082101 seconds elapsed
-- 0.000842816 seconds elapsed
-- 0.000229952 seconds elapsed
-- 0.000060491 seconds elapsed
-- 0.000821125 seconds elapsed
-- 0.000234582 seconds elapsed
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
o8 = true
|