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.000142845 seconds elapsed
-- 0.00134271 seconds elapsed
-- 0.000356223 seconds elapsed
-- 0.000134274 seconds elapsed
-- 0.0011854 seconds elapsed
-- 0.000343897 seconds elapsed
-- 0.000122023 seconds elapsed
-- 0.000118983 seconds elapsed
-- 0.000297902 seconds elapsed
-- 0.000143485 seconds elapsed
-- 0.00113199 seconds elapsed
-- 0.000323954 seconds elapsed
-- 0.000133484 seconds elapsed
-- 0.00107264 seconds elapsed
-- 0.000333251 seconds elapsed
-- 0.000147606 seconds elapsed
-- 0.00107956 seconds elapsed
-- 0.000321535 seconds elapsed
-- 0.00014112 seconds elapsed
-- 0.00113853 seconds elapsed
-- 0.000353143 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.000141395 seconds elapsed
-- 0.00127262 seconds elapsed
-- 0.00032718 seconds elapsed
-- 0.00013875 seconds elapsed
-- 0.00123884 seconds elapsed
-- 0.000335286 seconds elapsed
-- 0.000137275 seconds elapsed
-- 0.00112861 seconds elapsed
-- 0.000320904 seconds elapsed
-- 0.00013583 seconds elapsed
-- 0.00109201 seconds elapsed
-- 0.00032378 seconds elapsed
-- 0.000132199 seconds elapsed
-- 0.00102345 seconds elapsed
-- 0.00032645 seconds elapsed
-- 0.00014308 seconds elapsed
-- 0.00114492 seconds elapsed
-- 0.00031801 seconds elapsed
-- 0.000131789 seconds elapsed
-- 0.00129617 seconds elapsed
-- 0.000319689 seconds elapsed
-- 0.000129869 seconds elapsed
-- 0.0011643 seconds elapsed
-- 0.000316244 seconds elapsed
-- 0.000144326 seconds elapsed
-- 0.00111324 seconds elapsed
-- 0.000322465 seconds elapsed
-- 0.000133925 seconds elapsed
-- 0.00111745 seconds elapsed
-- 0.000332576 seconds elapsed
-- 0.00013426 seconds elapsed
-- 0.00105241 seconds elapsed
-- 0.000329775 seconds elapsed
-- 0.000127689 seconds elapsed
-- 0.00115888 seconds elapsed
-- 0.000326185 seconds elapsed
-- 0.000135049 seconds elapsed
-- 0.00158248 seconds elapsed
-- 0.000494238 seconds elapsed
-- 0.000127709 seconds elapsed
-- 0.00160457 seconds elapsed
-- 0.000522821 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
|