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.000108711 seconds elapsed
-- 0.00103346 seconds elapsed
-- 0.000245532 seconds elapsed
-- 0.000098001 seconds elapsed
-- 0.000720259 seconds elapsed
-- 0.000183482 seconds elapsed
-- 0.000053291 seconds elapsed
-- 0.00005104 seconds elapsed
-- 0.000138382 seconds elapsed
-- 0.000123391 seconds elapsed
-- 0.00091902 seconds elapsed
-- 0.000229583 seconds elapsed
-- 0.000122311 seconds elapsed
-- 0.00087402 seconds elapsed
-- 0.000236613 seconds elapsed
-- 0.000159433 seconds elapsed
-- 0.00083977 seconds elapsed
-- 0.000246782 seconds elapsed
-- 0.000091811 seconds elapsed
-- 0.000738839 seconds elapsed
-- 0.000173791 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.000091321 seconds elapsed
-- 0.00077458 seconds elapsed
-- 0.000265213 seconds elapsed
-- 0.000082581 seconds elapsed
-- 0.000658278 seconds elapsed
-- 0.000161442 seconds elapsed
-- 0.000149762 seconds elapsed
-- 0.00089984 seconds elapsed
-- 0.000228143 seconds elapsed
-- 0.00009461 seconds elapsed
-- 0.00085599 seconds elapsed
-- 0.000207082 seconds elapsed
-- 0.000092941 seconds elapsed
-- 0.000823378 seconds elapsed
-- 0.000197082 seconds elapsed
-- 0.000091191 seconds elapsed
-- 0.00084371 seconds elapsed
-- 0.000205153 seconds elapsed
-- 0.000108512 seconds elapsed
-- 0.000985341 seconds elapsed
-- 0.000210551 seconds elapsed
-- 0.000098681 seconds elapsed
-- 0.00091028 seconds elapsed
-- 0.000209522 seconds elapsed
-- 0.000093081 seconds elapsed
-- 0.00091409 seconds elapsed
-- 0.000206133 seconds elapsed
-- 0.00009877 seconds elapsed
-- 0.000818659 seconds elapsed
-- 0.000211892 seconds elapsed
-- 0.000095021 seconds elapsed
-- 0.000807418 seconds elapsed
-- 0.000213083 seconds elapsed
-- 0.000097651 seconds elapsed
-- 0.0008961 seconds elapsed
-- 0.000215151 seconds elapsed
-- 0.00012227 seconds elapsed
-- 0.00159399 seconds elapsed
-- 0.000401185 seconds elapsed
-- 0.000104671 seconds elapsed
-- 0.00156476 seconds elapsed
-- 0.000454735 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
|