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.000068859 seconds elapsed
-- 0.000719563 seconds elapsed
-- 0.000162235 seconds elapsed
-- 0.000064181 seconds elapsed
-- 0.000594608 seconds elapsed
-- 0.000172744 seconds elapsed
-- 0.000049984 seconds elapsed
-- 0.000045095 seconds elapsed
-- 0.000121579 seconds elapsed
-- 0.00005859 seconds elapsed
-- 0.000572887 seconds elapsed
-- 0.000141976 seconds elapsed
-- 0.000056536 seconds elapsed
-- 0.000550986 seconds elapsed
-- 0.00013822 seconds elapsed
-- 0.000057377 seconds elapsed
-- 0.000496432 seconds elapsed
-- 0.000136536 seconds elapsed
-- 0.000059912 seconds elapsed
-- 0.000720103 seconds elapsed
-- 0.000157327 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.000063028 seconds elapsed
-- 0.00067556 seconds elapsed
-- 0.00014367 seconds elapsed
-- 0.000056155 seconds elapsed
-- 0.000587685 seconds elapsed
-- 0.000136497 seconds elapsed
-- 0.000123832 seconds elapsed
-- 0.000581664 seconds elapsed
-- 0.000144642 seconds elapsed
-- 0.000061014 seconds elapsed
-- 0.000564061 seconds elapsed
-- 0.000182302 seconds elapsed
-- 0.000056366 seconds elapsed
-- 0.000526771 seconds elapsed
-- 0.000139311 seconds elapsed
-- 0.000060353 seconds elapsed
-- 0.000618042 seconds elapsed
-- 0.000144752 seconds elapsed
-- 0.000060455 seconds elapsed
-- 0.000656434 seconds elapsed
-- 0.000188754 seconds elapsed
-- 0.000060384 seconds elapsed
-- 0.000587936 seconds elapsed
-- 0.000149942 seconds elapsed
-- 0.000088968 seconds elapsed
-- 0.000534214 seconds elapsed
-- 0.000137158 seconds elapsed
-- 0.000059752 seconds elapsed
-- 0.000547929 seconds elapsed
-- 0.000138891 seconds elapsed
-- 0.000058911 seconds elapsed
-- 0.000499649 seconds elapsed
-- 0.000176462 seconds elapsed
-- 0.000060474 seconds elapsed
-- 0.00055332 seconds elapsed
-- 0.000137689 seconds elapsed
-- 0.000065703 seconds elapsed
-- 0.000858364 seconds elapsed
-- 0.000233208 seconds elapsed
-- 0.000058331 seconds elapsed
-- 0.000837594 seconds elapsed
-- 0.000242746 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
|