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.000117021 seconds elapsed
-- 0.0014199 seconds elapsed
-- 0.000331387 seconds elapsed
-- 0.000111728 seconds elapsed
-- 0.00124196 seconds elapsed
-- 0.000328169 seconds elapsed
-- 0.00010588 seconds elapsed
-- 0.000103525 seconds elapsed
-- 0.000282479 seconds elapsed
-- 0.0001113 seconds elapsed
-- 0.00118966 seconds elapsed
-- 0.000304347 seconds elapsed
-- 0.000106907 seconds elapsed
-- 0.00113843 seconds elapsed
-- 0.000295114 seconds elapsed
-- 0.00012262 seconds elapsed
-- 0.00120014 seconds elapsed
-- 0.000351973 seconds elapsed
-- 0.00012842 seconds elapsed
-- 0.0013111 seconds elapsed
-- 0.000321917 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.000119074 seconds elapsed
-- 0.00140069 seconds elapsed
-- 0.000302551 seconds elapsed
-- 0.00010701 seconds elapsed
-- 0.00120282 seconds elapsed
-- 0.000288446 seconds elapsed
-- 0.000115886 seconds elapsed
-- 0.00115571 seconds elapsed
-- 0.000293856 seconds elapsed
-- 0.000108324 seconds elapsed
-- 0.00111708 seconds elapsed
-- 0.000287166 seconds elapsed
-- 0.000104213 seconds elapsed
-- 0.00107134 seconds elapsed
-- 0.000293901 seconds elapsed
-- 0.000103299 seconds elapsed
-- 0.00113619 seconds elapsed
-- 0.00029036 seconds elapsed
-- 0.000115068 seconds elapsed
-- 0.00142203 seconds elapsed
-- 0.000306873 seconds elapsed
-- 0.000108731 seconds elapsed
-- 0.00127218 seconds elapsed
-- 0.000304383 seconds elapsed
-- 0.00011973 seconds elapsed
-- 0.00130276 seconds elapsed
-- 0.000312834 seconds elapsed
-- 0.00011372 seconds elapsed
-- 0.00118986 seconds elapsed
-- 0.00030956 seconds elapsed
-- 0.00011295 seconds elapsed
-- 0.00110157 seconds elapsed
-- 0.000422185 seconds elapsed
-- 0.000214322 seconds elapsed
-- 0.00197534 seconds elapsed
-- 0.000516613 seconds elapsed
-- 0.000126562 seconds elapsed
-- 0.00184727 seconds elapsed
-- 0.000590335 seconds elapsed
-- 0.000111572 seconds elapsed
-- 0.00170171 seconds elapsed
-- 0.000537236 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
|