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.00005182 seconds elapsed
-- 0.000645516 seconds elapsed
-- 0.000148701 seconds elapsed
-- 0.00005205 seconds elapsed
-- 0.000552476 seconds elapsed
-- 0.000137481 seconds elapsed
-- 0.000044311 seconds elapsed
-- 0.00004208 seconds elapsed
-- 0.000112361 seconds elapsed
-- 0.000049981 seconds elapsed
-- 0.000490265 seconds elapsed
-- 0.000130441 seconds elapsed
-- 0.00005111 seconds elapsed
-- 0.000478054 seconds elapsed
-- 0.000126691 seconds elapsed
-- 0.00005147 seconds elapsed
-- 0.000454175 seconds elapsed
-- 0.000128221 seconds elapsed
-- 0.00005351 seconds elapsed
-- 0.000512545 seconds elapsed
-- 0.000129421 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.000051461 seconds elapsed
-- 0.000578125 seconds elapsed
-- 0.000130361 seconds elapsed
-- 0.00005025 seconds elapsed
-- 0.000518945 seconds elapsed
-- 0.000127401 seconds elapsed
-- 0.00005561 seconds elapsed
-- 0.000479394 seconds elapsed
-- 0.000128161 seconds elapsed
-- 0.00005574 seconds elapsed
-- 0.000469244 seconds elapsed
-- 0.000133941 seconds elapsed
-- 0.000049989 seconds elapsed
-- 0.000514817 seconds elapsed
-- 0.000126881 seconds elapsed
-- 0.000050841 seconds elapsed
-- 0.000495804 seconds elapsed
-- 0.000131922 seconds elapsed
-- 0.00005083 seconds elapsed
-- 0.000684477 seconds elapsed
-- 0.000137041 seconds elapsed
-- 0.000051221 seconds elapsed
-- 0.000510795 seconds elapsed
-- 0.000125701 seconds elapsed
-- 0.000052781 seconds elapsed
-- 0.000482535 seconds elapsed
-- 0.000129611 seconds elapsed
-- 0.000073121 seconds elapsed
-- 0.000473196 seconds elapsed
-- 0.000128321 seconds elapsed
-- 0.000051321 seconds elapsed
-- 0.000481465 seconds elapsed
-- 0.000135272 seconds elapsed
-- 0.00005085 seconds elapsed
-- 0.000516325 seconds elapsed
-- 0.000128361 seconds elapsed
-- 0.000053261 seconds elapsed
-- 0.000736737 seconds elapsed
-- 0.000216742 seconds elapsed
-- 0.00005052 seconds elapsed
-- 0.000719297 seconds elapsed
-- 0.000226573 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
|