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.000052692 seconds elapsed
-- 0.000576289 seconds elapsed
-- 0.000155155 seconds elapsed
-- 0.000053895 seconds elapsed
-- 0.00051843 seconds elapsed
-- 0.000134827 seconds elapsed
-- 0.000040504 seconds elapsed
-- 0.000039389 seconds elapsed
-- 0.00010182 seconds elapsed
-- 0.000068145 seconds elapsed
-- 0.000447225 seconds elapsed
-- 0.000126023 seconds elapsed
-- 0.000049536 seconds elapsed
-- 0.000459256 seconds elapsed
-- 0.000126235 seconds elapsed
-- 0.000052954 seconds elapsed
-- 0.000418139 seconds elapsed
-- 0.000124151 seconds elapsed
-- 0.00005136 seconds elapsed
-- 0.000478101 seconds elapsed
-- 0.000129634 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.000049753 seconds elapsed
-- 0.000535961 seconds elapsed
-- 0.000126128 seconds elapsed
-- 0.000048473 seconds elapsed
-- 0.000455773 seconds elapsed
-- 0.000126343 seconds elapsed
-- 0.000049032 seconds elapsed
-- 0.000427726 seconds elapsed
-- 0.000125028 seconds elapsed
-- 0.000046281 seconds elapsed
-- 0.000415245 seconds elapsed
-- 0.000141201 seconds elapsed
-- 0.000046096 seconds elapsed
-- 0.000432598 seconds elapsed
-- 0.000126002 seconds elapsed
-- 0.000047402 seconds elapsed
-- 0.000433196 seconds elapsed
-- 0.000141987 seconds elapsed
-- 0.000059531 seconds elapsed
-- 0.000572178 seconds elapsed
-- 0.000141492 seconds elapsed
-- 0.000052391 seconds elapsed
-- 0.000475561 seconds elapsed
-- 0.000147665 seconds elapsed
-- 0.000067717 seconds elapsed
-- 0.000439425 seconds elapsed
-- 0.000133853 seconds elapsed
-- 0.000052614 seconds elapsed
-- 0.000442026 seconds elapsed
-- 0.000127572 seconds elapsed
-- 0.000053935 seconds elapsed
-- 0.000422336 seconds elapsed
-- 0.000126906 seconds elapsed
-- 0.000053384 seconds elapsed
-- 0.000479441 seconds elapsed
-- 0.000139692 seconds elapsed
-- 0.000050798 seconds elapsed
-- 0.000681908 seconds elapsed
-- 0.000220123 seconds elapsed
-- 0.000053324 seconds elapsed
-- 0.000687659 seconds elapsed
-- 0.000222299 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
|