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.000054435 seconds elapsed
-- 0.000662272 seconds elapsed
-- 0.000149803 seconds elapsed
-- 0.000051867 seconds elapsed
-- 0.000510917 seconds elapsed
-- 0.000132961 seconds elapsed
-- 0.000049016 seconds elapsed
-- 0.000049925 seconds elapsed
-- 0.000114771 seconds elapsed
-- 0.000054385 seconds elapsed
-- 0.00113857 seconds elapsed
-- 0.000133822 seconds elapsed
-- 0.00005633 seconds elapsed
-- 0.000486591 seconds elapsed
-- 0.00012694 seconds elapsed
-- 0.000054428 seconds elapsed
-- 0.000469674 seconds elapsed
-- 0.000124442 seconds elapsed
-- 0.000053677 seconds elapsed
-- 0.000556127 seconds elapsed
-- 0.000130194 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.000052537 seconds elapsed
-- 0.000572691 seconds elapsed
-- 0.000127537 seconds elapsed
-- 0.000053875 seconds elapsed
-- 0.00052809 seconds elapsed
-- 0.000130789 seconds elapsed
-- 0.000061259 seconds elapsed
-- 0.000488187 seconds elapsed
-- 0.000134061 seconds elapsed
-- 0.000053829 seconds elapsed
-- 0.0004585 seconds elapsed
-- 0.00012291 seconds elapsed
-- 0.00005289 seconds elapsed
-- 0.000451512 seconds elapsed
-- 0.000123991 seconds elapsed
-- 0.000055174 seconds elapsed
-- 0.000494125 seconds elapsed
-- 0.000125862 seconds elapsed
-- 0.000053688 seconds elapsed
-- 0.000570379 seconds elapsed
-- 0.000128557 seconds elapsed
-- 0.000053229 seconds elapsed
-- 0.000510497 seconds elapsed
-- 0.000129575 seconds elapsed
-- 0.000055156 seconds elapsed
-- 0.000483189 seconds elapsed
-- 0.000130019 seconds elapsed
-- 0.000054651 seconds elapsed
-- 0.000466861 seconds elapsed
-- 0.000128887 seconds elapsed
-- 0.00005506 seconds elapsed
-- 0.000454143 seconds elapsed
-- 0.000129064 seconds elapsed
-- 0.00006006 seconds elapsed
-- 0.00050549 seconds elapsed
-- 0.000135259 seconds elapsed
-- 0.000054809 seconds elapsed
-- 0.000741157 seconds elapsed
-- 0.000206806 seconds elapsed
-- 0.000056349 seconds elapsed
-- 0.000734291 seconds elapsed
-- 0.000216727 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
|