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.000092323 seconds elapsed
-- 0.00110327 seconds elapsed
-- 0.000242554 seconds elapsed
-- 0.000094577 seconds elapsed
-- 0.000963352 seconds elapsed
-- 0.000230211 seconds elapsed
-- 0.00007473 seconds elapsed
-- 0.000083555 seconds elapsed
-- 0.000200786 seconds elapsed
-- 0.000088797 seconds elapsed
-- 0.000867232 seconds elapsed
-- 0.000218348 seconds elapsed
-- 0.000111238 seconds elapsed
-- 0.000833759 seconds elapsed
-- 0.000214682 seconds elapsed
-- 0.000083776 seconds elapsed
-- 0.00078541 seconds elapsed
-- 0.000241923 seconds elapsed
-- 0.00009053 seconds elapsed
-- 0.000893712 seconds elapsed
-- 0.000215954 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.000084627 seconds elapsed
-- 0.000976087 seconds elapsed
-- 0.000209913 seconds elapsed
-- 0.000081253 seconds elapsed
-- 0.000869426 seconds elapsed
-- 0.00020861 seconds elapsed
-- 0.000131165 seconds elapsed
-- 0.000932966 seconds elapsed
-- 0.00024076 seconds elapsed
-- 0.000087734 seconds elapsed
-- 0.000798934 seconds elapsed
-- 0.000202078 seconds elapsed
-- 0.000085811 seconds elapsed
-- 0.000761124 seconds elapsed
-- 0.000199764 seconds elapsed
-- 0.00008557 seconds elapsed
-- 0.000850262 seconds elapsed
-- 0.000206466 seconds elapsed
-- 0.000086773 seconds elapsed
-- 0.000979303 seconds elapsed
-- 0.000212287 seconds elapsed
-- 0.000082764 seconds elapsed
-- 0.000883973 seconds elapsed
-- 0.000205685 seconds elapsed
-- 0.000083867 seconds elapsed
-- 0.000788747 seconds elapsed
-- 0.000204172 seconds elapsed
-- 0.000083677 seconds elapsed
-- 0.000783235 seconds elapsed
-- 0.000205023 seconds elapsed
-- 0.000097302 seconds elapsed
-- 0.00075378 seconds elapsed
-- 0.000200004 seconds elapsed
-- 0.000083477 seconds elapsed
-- 0.000799275 seconds elapsed
-- 0.000202238 seconds elapsed
-- 0.000081122 seconds elapsed
-- 0.00122823 seconds elapsed
-- 0.00032594 seconds elapsed
-- 0.000082515 seconds elapsed
-- 0.00122969 seconds elapsed
-- 0.00035805 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
|