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.000071755 seconds elapsed
-- 0.00074751 seconds elapsed
-- 0.000179296 seconds elapsed
-- 0.000073135 seconds elapsed
-- 0.000659469 seconds elapsed
-- 0.000166243 seconds elapsed
-- 0.000066041 seconds elapsed
-- 0.000061454 seconds elapsed
-- 0.000149592 seconds elapsed
-- 0.000070567 seconds elapsed
-- 0.000608853 seconds elapsed
-- 0.000161346 seconds elapsed
-- 0.000068656 seconds elapsed
-- 0.000588413 seconds elapsed
-- 0.000159398 seconds elapsed
-- 0.000071374 seconds elapsed
-- 0.000574037 seconds elapsed
-- 0.000164156 seconds elapsed
-- 0.000072871 seconds elapsed
-- 0.00063838 seconds elapsed
-- 0.000170715 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.000068536 seconds elapsed
-- 0.000693799 seconds elapsed
-- 0.000160844 seconds elapsed
-- 0.000075168 seconds elapsed
-- 0.000634721 seconds elapsed
-- 0.000165648 seconds elapsed
-- 0.000071354 seconds elapsed
-- 0.00059446 seconds elapsed
-- 0.000161254 seconds elapsed
-- 0.000069587 seconds elapsed
-- 0.000569901 seconds elapsed
-- 0.000160926 seconds elapsed
-- 0.000068658 seconds elapsed
-- 0.000565672 seconds elapsed
-- 0.000161018 seconds elapsed
-- 0.000069236 seconds elapsed
-- 0.000617717 seconds elapsed
-- 0.000162269 seconds elapsed
-- 0.00006864 seconds elapsed
-- 0.000683259 seconds elapsed
-- 0.000164399 seconds elapsed
-- 0.000072846 seconds elapsed
-- 0.000632667 seconds elapsed
-- 0.000162737 seconds elapsed
-- 0.000068662 seconds elapsed
-- 0.000601376 seconds elapsed
-- 0.000161072 seconds elapsed
-- 0.00006881 seconds elapsed
-- 0.000573332 seconds elapsed
-- 0.000163591 seconds elapsed
-- 0.000069108 seconds elapsed
-- 0.000579933 seconds elapsed
-- 0.000160546 seconds elapsed
-- 0.000092853 seconds elapsed
-- 0.000603282 seconds elapsed
-- 0.000167745 seconds elapsed
-- 0.000070725 seconds elapsed
-- 0.000863453 seconds elapsed
-- 0.000255562 seconds elapsed
-- 0.000070164 seconds elapsed
-- 0.00149751 seconds elapsed
-- 0.000255022 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
|