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.00006022 seconds elapsed
-- 0.000655484 seconds elapsed
-- 0.000151031 seconds elapsed
-- 0.000055911 seconds elapsed
-- 0.000570793 seconds elapsed
-- 0.000139671 seconds elapsed
-- 0.00004623 seconds elapsed
-- 0.000062301 seconds elapsed
-- 0.00011265 seconds elapsed
-- 0.00005211 seconds elapsed
-- 0.000554783 seconds elapsed
-- 0.000132301 seconds elapsed
-- 0.000052231 seconds elapsed
-- 0.000524772 seconds elapsed
-- 0.000136401 seconds elapsed
-- 0.00005366 seconds elapsed
-- 0.000484833 seconds elapsed
-- 0.000127881 seconds elapsed
-- 0.00005533 seconds elapsed
-- 0.000550124 seconds elapsed
-- 0.00013564 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.00009043 seconds elapsed
-- 0.000640864 seconds elapsed
-- 0.000162812 seconds elapsed
-- 0.00008844 seconds elapsed
-- 0.000583415 seconds elapsed
-- 0.000152301 seconds elapsed
-- 0.000083331 seconds elapsed
-- 0.000541413 seconds elapsed
-- 0.000146431 seconds elapsed
-- 0.00006847 seconds elapsed
-- 0.000538863 seconds elapsed
-- 0.000141751 seconds elapsed
-- 0.000078 seconds elapsed
-- 0.000510874 seconds elapsed
-- 0.000139021 seconds elapsed
-- 0.000071851 seconds elapsed
-- 0.000564833 seconds elapsed
-- 0.000136241 seconds elapsed
-- 0.000083091 seconds elapsed
-- 0.000669874 seconds elapsed
-- 0.000146231 seconds elapsed
-- 0.00005501 seconds elapsed
-- 0.000553784 seconds elapsed
-- 0.000129361 seconds elapsed
-- 0.000055332 seconds elapsed
-- 0.000516314 seconds elapsed
-- 0.000135001 seconds elapsed
-- 0.000060911 seconds elapsed
-- 0.000519023 seconds elapsed
-- 0.000139801 seconds elapsed
-- 0.00006441 seconds elapsed
-- 0.000509633 seconds elapsed
-- 0.00013996 seconds elapsed
-- 0.00005891 seconds elapsed
-- 0.000579754 seconds elapsed
-- 0.000139112 seconds elapsed
-- 0.000077211 seconds elapsed
-- 0.000802844 seconds elapsed
-- 0.000237832 seconds elapsed
-- 0.000053021 seconds elapsed
-- 0.000807765 seconds elapsed
-- 0.000227441 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
|