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.000055024 seconds elapsed
-- 0.000656419 seconds elapsed
-- 0.000154552 seconds elapsed
-- 0.000057419 seconds elapsed
-- 0.000584121 seconds elapsed
-- 0.000140165 seconds elapsed
-- 0.000046206 seconds elapsed
-- 0.000042069 seconds elapsed
-- 0.0001752 seconds elapsed
-- 0.000054993 seconds elapsed
-- 0.000550969 seconds elapsed
-- 0.000133703 seconds elapsed
-- 0.000053721 seconds elapsed
-- 0.000485286 seconds elapsed
-- 0.000131578 seconds elapsed
-- 0.000056877 seconds elapsed
-- 0.000492199 seconds elapsed
-- 0.00015939 seconds elapsed
-- 0.000053782 seconds elapsed
-- 0.000564876 seconds elapsed
-- 0.000142679 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.000054994 seconds elapsed
-- 0.000605743 seconds elapsed
-- 0.000161734 seconds elapsed
-- 0.000053591 seconds elapsed
-- 0.000570035 seconds elapsed
-- 0.000137119 seconds elapsed
-- 0.000077647 seconds elapsed
-- 0.000499622 seconds elapsed
-- 0.000133551 seconds elapsed
-- 0.000052881 seconds elapsed
-- 0.000488281 seconds elapsed
-- 0.000135566 seconds elapsed
-- 0.000052048 seconds elapsed
-- 0.000501716 seconds elapsed
-- 0.000133121 seconds elapsed
-- 0.00005257 seconds elapsed
-- 0.000523557 seconds elapsed
-- 0.000288975 seconds elapsed
-- 0.000054092 seconds elapsed
-- 0.000642833 seconds elapsed
-- 0.000159289 seconds elapsed
-- 0.000075212 seconds elapsed
-- 0.000545419 seconds elapsed
-- 0.000135816 seconds elapsed
-- 0.000056347 seconds elapsed
-- 0.000502397 seconds elapsed
-- 0.000132581 seconds elapsed
-- 0.000053111 seconds elapsed
-- 0.000493831 seconds elapsed
-- 0.000163698 seconds elapsed
-- 0.000054111 seconds elapsed
-- 0.000509541 seconds elapsed
-- 0.000135336 seconds elapsed
-- 0.000053881 seconds elapsed
-- 0.000562171 seconds elapsed
-- 0.000137679 seconds elapsed
-- 0.000053881 seconds elapsed
-- 0.000791854 seconds elapsed
-- 0.000231527 seconds elapsed
-- 0.000054142 seconds elapsed
-- 0.000867597 seconds elapsed
-- 0.000242448 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
|