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.00005463 seconds elapsed
-- 0.000641237 seconds elapsed
-- 0.000144782 seconds elapsed
-- 0.000055401 seconds elapsed
-- 0.000559056 seconds elapsed
-- 0.000136371 seconds elapsed
-- 0.000046021 seconds elapsed
-- 0.000047401 seconds elapsed
-- 0.000114291 seconds elapsed
-- 0.000054321 seconds elapsed
-- 0.000541886 seconds elapsed
-- 0.000129881 seconds elapsed
-- 0.000052531 seconds elapsed
-- 0.000486436 seconds elapsed
-- 0.000125192 seconds elapsed
-- 0.000050421 seconds elapsed
-- 0.000473005 seconds elapsed
-- 0.000127781 seconds elapsed
-- 0.000051941 seconds elapsed
-- 0.000526956 seconds elapsed
-- 0.000154512 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.000057071 seconds elapsed
-- 0.000614417 seconds elapsed
-- 0.000133082 seconds elapsed
-- 0.000054471 seconds elapsed
-- 0.000540526 seconds elapsed
-- 0.000195852 seconds elapsed
-- 0.000104442 seconds elapsed
-- 0.000756649 seconds elapsed
-- 0.000164482 seconds elapsed
-- 0.000054991 seconds elapsed
-- 0.000494896 seconds elapsed
-- 0.000128152 seconds elapsed
-- 0.00005355 seconds elapsed
-- 0.000472216 seconds elapsed
-- 0.000125562 seconds elapsed
-- 0.000057181 seconds elapsed
-- 0.000520376 seconds elapsed
-- 0.000129051 seconds elapsed
-- 0.000055121 seconds elapsed
-- 0.000626147 seconds elapsed
-- 0.000130801 seconds elapsed
-- 0.000053981 seconds elapsed
-- 0.000547626 seconds elapsed
-- 0.000129811 seconds elapsed
-- 0.00005537 seconds elapsed
-- 0.000506117 seconds elapsed
-- 0.000129351 seconds elapsed
-- 0.000052521 seconds elapsed
-- 0.000514906 seconds elapsed
-- 0.000129272 seconds elapsed
-- 0.00005217 seconds elapsed
-- 0.000504446 seconds elapsed
-- 0.000127591 seconds elapsed
-- 0.000054831 seconds elapsed
-- 0.000559787 seconds elapsed
-- 0.000130282 seconds elapsed
-- 0.000058631 seconds elapsed
-- 0.00077875 seconds elapsed
-- 0.000213383 seconds elapsed
-- 0.000050471 seconds elapsed
-- 0.000774829 seconds elapsed
-- 0.000226993 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
|