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.000061503 seconds elapsed
-- 0.000615901 seconds elapsed
-- 0.000151207 seconds elapsed
-- 0.000058691 seconds elapsed
-- 0.000566911 seconds elapsed
-- 0.000144115 seconds elapsed
-- 0.000043545 seconds elapsed
-- 0.000042007 seconds elapsed
-- 0.000113206 seconds elapsed
-- 0.000057356 seconds elapsed
-- 0.00051457 seconds elapsed
-- 0.000137963 seconds elapsed
-- 0.000057225 seconds elapsed
-- 0.000494832 seconds elapsed
-- 0.000134977 seconds elapsed
-- 0.000054934 seconds elapsed
-- 0.000475387 seconds elapsed
-- 0.000135818 seconds elapsed
-- 0.000055314 seconds elapsed
-- 0.000525281 seconds elapsed
-- 0.000147583 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.000057606 seconds elapsed
-- 0.000575404 seconds elapsed
-- 0.000136029 seconds elapsed
-- 0.000055767 seconds elapsed
-- 0.000523501 seconds elapsed
-- 0.000133839 seconds elapsed
-- 0.00010561 seconds elapsed
-- 0.000553617 seconds elapsed
-- 0.00017853 seconds elapsed
-- 0.000061261 seconds elapsed
-- 0.000492654 seconds elapsed
-- 0.0001416 seconds elapsed
-- 0.000069671 seconds elapsed
-- 0.000497276 seconds elapsed
-- 0.000142461 seconds elapsed
-- 0.000059665 seconds elapsed
-- 0.000540441 seconds elapsed
-- 0.000147083 seconds elapsed
-- 0.000069302 seconds elapsed
-- 0.000613374 seconds elapsed
-- 0.000147513 seconds elapsed
-- 0.000070168 seconds elapsed
-- 0.000546473 seconds elapsed
-- 0.000141442 seconds elapsed
-- 0.000065504 seconds elapsed
-- 0.000522977 seconds elapsed
-- 0.000145597 seconds elapsed
-- 0.000063192 seconds elapsed
-- 0.000501667 seconds elapsed
-- 0.000142261 seconds elapsed
-- 0.000057226 seconds elapsed
-- 0.000505303 seconds elapsed
-- 0.000140704 seconds elapsed
-- 0.000059675 seconds elapsed
-- 0.000533427 seconds elapsed
-- 0.00014336 seconds elapsed
-- 0.000063931 seconds elapsed
-- 0.000753337 seconds elapsed
-- 0.000219167 seconds elapsed
-- 0.000059685 seconds elapsed
-- 0.000744633 seconds elapsed
-- 0.000227671 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
|