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.00008244 seconds elapsed
-- 0.000714605 seconds elapsed
-- 0.000211321 seconds elapsed
-- 0.000080081 seconds elapsed
-- 0.000621244 seconds elapsed
-- 0.000192321 seconds elapsed
-- 0.00004724 seconds elapsed
-- 0.000053321 seconds elapsed
-- 0.000150121 seconds elapsed
-- 0.0000826 seconds elapsed
-- 0.000589005 seconds elapsed
-- 0.000190801 seconds elapsed
-- 0.000076281 seconds elapsed
-- 0.000565444 seconds elapsed
-- 0.000181401 seconds elapsed
-- 0.00008068 seconds elapsed
-- 0.000567724 seconds elapsed
-- 0.000192561 seconds elapsed
-- 0.0001084 seconds elapsed
-- 0.000599845 seconds elapsed
-- 0.000193242 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.00007592 seconds elapsed
-- 0.000655885 seconds elapsed
-- 0.000183281 seconds elapsed
-- 0.000080081 seconds elapsed
-- 0.000569684 seconds elapsed
-- 0.000220002 seconds elapsed
-- 0.00008464 seconds elapsed
-- 0.000573564 seconds elapsed
-- 0.000191602 seconds elapsed
-- 0.000112601 seconds elapsed
-- 0.000541484 seconds elapsed
-- 0.000183882 seconds elapsed
-- 0.000077481 seconds elapsed
-- 0.000507004 seconds elapsed
-- 0.000181802 seconds elapsed
-- 0.000076641 seconds elapsed
-- 0.000592004 seconds elapsed
-- 0.000191641 seconds elapsed
-- 0.00007928 seconds elapsed
-- 0.000669645 seconds elapsed
-- 0.000182401 seconds elapsed
-- 0.000077161 seconds elapsed
-- 0.000584004 seconds elapsed
-- 0.000190921 seconds elapsed
-- 0.00007844 seconds elapsed
-- 0.000592884 seconds elapsed
-- 0.000185842 seconds elapsed
-- 0.000077441 seconds elapsed
-- 0.000539004 seconds elapsed
-- 0.000215322 seconds elapsed
-- 0.00007916 seconds elapsed
-- 0.000550284 seconds elapsed
-- 0.000195041 seconds elapsed
-- 0.000081561 seconds elapsed
-- 0.000576564 seconds elapsed
-- 0.000202921 seconds elapsed
-- 0.000080001 seconds elapsed
-- 0.000817606 seconds elapsed
-- 0.000278122 seconds elapsed
-- 0.000085321 seconds elapsed
-- 0.000830486 seconds elapsed
-- 0.000284842 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
|