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.000070215 seconds elapsed
-- 0.000733775 seconds elapsed
-- 0.000185679 seconds elapsed
-- 0.000076748 seconds elapsed
-- 0.000662095 seconds elapsed
-- 0.000165824 seconds elapsed
-- 0.00005503 seconds elapsed
-- 0.000050712 seconds elapsed
-- 0.000132158 seconds elapsed
-- 0.00006711 seconds elapsed
-- 0.000615776 seconds elapsed
-- 0.000162286 seconds elapsed
-- 0.00006788 seconds elapsed
-- 0.000598223 seconds elapsed
-- 0.000165463 seconds elapsed
-- 0.000071567 seconds elapsed
-- 0.0005909 seconds elapsed
-- 0.000161932 seconds elapsed
-- 0.000067184 seconds elapsed
-- 0.000634618 seconds elapsed
-- 0.000168038 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.000068139 seconds elapsed
-- 0.000708695 seconds elapsed
-- 0.000166053 seconds elapsed
-- 0.000068249 seconds elapsed
-- 0.000644508 seconds elapsed
-- 0.000158804 seconds elapsed
-- 0.000089617 seconds elapsed
-- 0.000629145 seconds elapsed
-- 0.000177872 seconds elapsed
-- 0.000077455 seconds elapsed
-- 0.000614539 seconds elapsed
-- 0.000158974 seconds elapsed
-- 0.000069508 seconds elapsed
-- 0.000589676 seconds elapsed
-- 0.000169763 seconds elapsed
-- 0.000068779 seconds elapsed
-- 0.000632442 seconds elapsed
-- 0.00016247 seconds elapsed
-- 0.000071649 seconds elapsed
-- 0.000728604 seconds elapsed
-- 0.000173857 seconds elapsed
-- 0.00007096 seconds elapsed
-- 0.000656802 seconds elapsed
-- 0.000175975 seconds elapsed
-- 0.000073066 seconds elapsed
-- 0.000611276 seconds elapsed
-- 0.000171782 seconds elapsed
-- 0.000070041 seconds elapsed
-- 0.000611047 seconds elapsed
-- 0.00016293 seconds elapsed
-- 0.000072562 seconds elapsed
-- 0.000599943 seconds elapsed
-- 0.000163882 seconds elapsed
-- 0.000065344 seconds elapsed
-- 0.000635535 seconds elapsed
-- 0.000191431 seconds elapsed
-- 0.000071504 seconds elapsed
-- 0.000927778 seconds elapsed
-- 0.000264633 seconds elapsed
-- 0.000073626 seconds elapsed
-- 0.000957223 seconds elapsed
-- 0.000272258 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
|