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.000087681 seconds elapsed
-- 0.000702924 seconds elapsed
-- 0.000217042 seconds elapsed
-- 0.000086161 seconds elapsed
-- 0.000636244 seconds elapsed
-- 0.000204681 seconds elapsed
-- 0.0000606 seconds elapsed
-- 0.000055241 seconds elapsed
-- 0.000167161 seconds elapsed
-- 0.0000824 seconds elapsed
-- 0.000581084 seconds elapsed
-- 0.000214321 seconds elapsed
-- 0.000076321 seconds elapsed
-- 0.000555923 seconds elapsed
-- 0.000181081 seconds elapsed
-- 0.00007768 seconds elapsed
-- 0.000561684 seconds elapsed
-- 0.000194841 seconds elapsed
-- 0.000079801 seconds elapsed
-- 0.000592643 seconds elapsed
-- 0.000213801 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.000085521 seconds elapsed
-- 0.000676804 seconds elapsed
-- 0.000197481 seconds elapsed
-- 0.00008076 seconds elapsed
-- 0.000597523 seconds elapsed
-- 0.000186241 seconds elapsed
-- 0.00007524 seconds elapsed
-- 0.000570523 seconds elapsed
-- 0.000178721 seconds elapsed
-- 0.00007748 seconds elapsed
-- 0.000530043 seconds elapsed
-- 0.000177841 seconds elapsed
-- 0.00007476 seconds elapsed
-- 0.000541483 seconds elapsed
-- 0.000179241 seconds elapsed
-- 0.000073721 seconds elapsed
-- 0.000546963 seconds elapsed
-- 0.000173441 seconds elapsed
-- 0.00010152 seconds elapsed
-- 0.000658483 seconds elapsed
-- 0.000196001 seconds elapsed
-- 0.000083241 seconds elapsed
-- 0.000592563 seconds elapsed
-- 0.000186361 seconds elapsed
-- 0.000077521 seconds elapsed
-- 0.000537323 seconds elapsed
-- 0.000184801 seconds elapsed
-- 0.00007896 seconds elapsed
-- 0.000533643 seconds elapsed
-- 0.000226722 seconds elapsed
-- 0.00007888 seconds elapsed
-- 0.000522882 seconds elapsed
-- 0.000180921 seconds elapsed
-- 0.00008112 seconds elapsed
-- 0.000635564 seconds elapsed
-- 0.000195081 seconds elapsed
-- 0.000092761 seconds elapsed
-- 0.000809364 seconds elapsed
-- 0.000291601 seconds elapsed
-- 0.000076241 seconds elapsed
-- 0.000813324 seconds elapsed
-- 0.000302121 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
|