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.000085052 seconds elapsed
-- 0.000831141 seconds elapsed
-- 0.000257508 seconds elapsed
-- 0.000084166 seconds elapsed
-- 0.000716865 seconds elapsed
-- 0.000211023 seconds elapsed
-- 0.000060779 seconds elapsed
-- 0.000058778 seconds elapsed
-- 0.000159698 seconds elapsed
-- 0.00008283 seconds elapsed
-- 0.000681596 seconds elapsed
-- 0.000204366 seconds elapsed
-- 0.000082187 seconds elapsed
-- 0.000645057 seconds elapsed
-- 0.000198296 seconds elapsed
-- 0.00008428 seconds elapsed
-- 0.000589482 seconds elapsed
-- 0.000193536 seconds elapsed
-- 0.000080355 seconds elapsed
-- 0.00070466 seconds elapsed
-- 0.000216156 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.00011408 seconds elapsed
-- 0.000745888 seconds elapsed
-- 0.000230633 seconds elapsed
-- 0.000087612 seconds elapsed
-- 0.000701369 seconds elapsed
-- 0.0002016 seconds elapsed
-- 0.000083095 seconds elapsed
-- 0.00064519 seconds elapsed
-- 0.000195946 seconds elapsed
-- 0.000078626 seconds elapsed
-- 0.000624354 seconds elapsed
-- 0.000197667 seconds elapsed
-- 0.00010787 seconds elapsed
-- 0.000621221 seconds elapsed
-- 0.000192689 seconds elapsed
-- 0.000078153 seconds elapsed
-- 0.000650914 seconds elapsed
-- 0.000196108 seconds elapsed
-- 0.000098572 seconds elapsed
-- 0.00080364 seconds elapsed
-- 0.000216711 seconds elapsed
-- 0.000088048 seconds elapsed
-- 0.000696312 seconds elapsed
-- 0.000207431 seconds elapsed
-- 0.000085398 seconds elapsed
-- 0.000642608 seconds elapsed
-- 0.000204734 seconds elapsed
-- 0.00008514 seconds elapsed
-- 0.000610702 seconds elapsed
-- 0.00022657 seconds elapsed
-- 0.000082433 seconds elapsed
-- 0.000624803 seconds elapsed
-- 0.000202838 seconds elapsed
-- 0.000091074 seconds elapsed
-- 0.000671332 seconds elapsed
-- 0.000214272 seconds elapsed
-- 0.000097758 seconds elapsed
-- 0.000973619 seconds elapsed
-- 0.000351021 seconds elapsed
-- 0.000082364 seconds elapsed
-- 0.000946929 seconds elapsed
-- 0.000318963 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
|