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.000112629 seconds elapsed
-- 0.00142383 seconds elapsed
-- 0.0003356 seconds elapsed
-- 0.000111869 seconds elapsed
-- 0.00130643 seconds elapsed
-- 0.000324341 seconds elapsed
-- 0.000109767 seconds elapsed
-- 0.000105893 seconds elapsed
-- 0.000289162 seconds elapsed
-- 0.000120011 seconds elapsed
-- 0.00118033 seconds elapsed
-- 0.000303658 seconds elapsed
-- 0.000112072 seconds elapsed
-- 0.00112409 seconds elapsed
-- 0.000297966 seconds elapsed
-- 0.000121484 seconds elapsed
-- 0.00117161 seconds elapsed
-- 0.000320203 seconds elapsed
-- 0.000115128 seconds elapsed
-- 0.00127583 seconds elapsed
-- 0.000319627 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.000113552 seconds elapsed
-- 0.00141666 seconds elapsed
-- 0.000311707 seconds elapsed
-- 0.000113299 seconds elapsed
-- 0.00127362 seconds elapsed
-- 0.000309073 seconds elapsed
-- 0.000107844 seconds elapsed
-- 0.0011442 seconds elapsed
-- 0.000296223 seconds elapsed
-- 0.000110294 seconds elapsed
-- 0.00111383 seconds elapsed
-- 0.000293171 seconds elapsed
-- 0.000183913 seconds elapsed
-- 0.00164149 seconds elapsed
-- 0.000388102 seconds elapsed
-- 0.000108801 seconds elapsed
-- 0.00119875 seconds elapsed
-- 0.000300171 seconds elapsed
-- 0.00011793 seconds elapsed
-- 0.00143913 seconds elapsed
-- 0.000319821 seconds elapsed
-- 0.000115083 seconds elapsed
-- 0.00128045 seconds elapsed
-- 0.000310219 seconds elapsed
-- 0.000111252 seconds elapsed
-- 0.00116886 seconds elapsed
-- 0.000303926 seconds elapsed
-- 0.000112744 seconds elapsed
-- 0.0011493 seconds elapsed
-- 0.000312836 seconds elapsed
-- 0.000128548 seconds elapsed
-- 0.00113832 seconds elapsed
-- 0.000308316 seconds elapsed
-- 0.000111544 seconds elapsed
-- 0.00124776 seconds elapsed
-- 0.000309385 seconds elapsed
-- 0.000109541 seconds elapsed
-- 0.00171464 seconds elapsed
-- 0.000552603 seconds elapsed
-- 0.000118595 seconds elapsed
-- 0.00183683 seconds elapsed
-- 0.000582268 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
|