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.000073318 seconds elapsed
-- 0.00066818 seconds elapsed
-- 0.000150764 seconds elapsed
-- 0.000054612 seconds elapsed
-- 0.00060961 seconds elapsed
-- 0.000162155 seconds elapsed
-- 0.000048882 seconds elapsed
-- 0.000040736 seconds elapsed
-- 0.000118264 seconds elapsed
-- 0.000056567 seconds elapsed
-- 0.000534398 seconds elapsed
-- 0.000136058 seconds elapsed
-- 0.000051948 seconds elapsed
-- 0.0005041 seconds elapsed
-- 0.00014845 seconds elapsed
-- 0.000057208 seconds elapsed
-- 0.000509551 seconds elapsed
-- 0.000135997 seconds elapsed
-- 0.000057338 seconds elapsed
-- 0.000566639 seconds elapsed
-- 0.000149281 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.000056117 seconds elapsed
-- 0.000650125 seconds elapsed
-- 0.000139302 seconds elapsed
-- 0.000054583 seconds elapsed
-- 0.000558544 seconds elapsed
-- 0.000133482 seconds elapsed
-- 0.000053771 seconds elapsed
-- 0.000517315 seconds elapsed
-- 0.000135105 seconds elapsed
-- 0.000052108 seconds elapsed
-- 0.000505794 seconds elapsed
-- 0.000143872 seconds elapsed
-- 0.00005284 seconds elapsed
-- 0.000528758 seconds elapsed
-- 0.000133321 seconds elapsed
-- 0.000070102 seconds elapsed
-- 0.000538336 seconds elapsed
-- 0.00013833 seconds elapsed
-- 0.000055935 seconds elapsed
-- 0.000640909 seconds elapsed
-- 0.00013812 seconds elapsed
-- 0.000052669 seconds elapsed
-- 0.000570657 seconds elapsed
-- 0.000135636 seconds elapsed
-- 0.000067927 seconds elapsed
-- 0.000524439 seconds elapsed
-- 0.000133402 seconds elapsed
-- 0.00005286 seconds elapsed
-- 0.000514771 seconds elapsed
-- 0.000145665 seconds elapsed
-- 0.000053711 seconds elapsed
-- 0.00050363 seconds elapsed
-- 0.000140566 seconds elapsed
-- 0.00005329 seconds elapsed
-- 0.000566208 seconds elapsed
-- 0.000140204 seconds elapsed
-- 0.000055675 seconds elapsed
-- 0.000781023 seconds elapsed
-- 0.000243769 seconds elapsed
-- 0.000053692 seconds elapsed
-- 0.000802774 seconds elapsed
-- 0.000242167 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
|