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.000065167 seconds elapsed
-- 0.000631767 seconds elapsed
-- 0.000155441 seconds elapsed
-- 0.000059511 seconds elapsed
-- 0.000551515 seconds elapsed
-- 0.000146037 seconds elapsed
-- 0.000043773 seconds elapsed
-- 0.000040422 seconds elapsed
-- 0.000113231 seconds elapsed
-- 0.000060898 seconds elapsed
-- 0.000516301 seconds elapsed
-- 0.000139566 seconds elapsed
-- 0.00006032 seconds elapsed
-- 0.000498733 seconds elapsed
-- 0.000136786 seconds elapsed
-- 0.000060742 seconds elapsed
-- 0.000501567 seconds elapsed
-- 0.000141521 seconds elapsed
-- 0.000068374 seconds elapsed
-- 0.000538396 seconds elapsed
-- 0.000143996 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.000069344 seconds elapsed
-- 0.000603423 seconds elapsed
-- 0.000143771 seconds elapsed
-- 0.000057501 seconds elapsed
-- 0.000531018 seconds elapsed
-- 0.000135099 seconds elapsed
-- 0.000095431 seconds elapsed
-- 0.00053471 seconds elapsed
-- 0.000179799 seconds elapsed
-- 0.000066232 seconds elapsed
-- 0.000493972 seconds elapsed
-- 0.000138766 seconds elapsed
-- 0.000065573 seconds elapsed
-- 0.000488334 seconds elapsed
-- 0.000140598 seconds elapsed
-- 0.000059364 seconds elapsed
-- 0.000529059 seconds elapsed
-- 0.000144874 seconds elapsed
-- 0.000062976 seconds elapsed
-- 0.000593536 seconds elapsed
-- 0.000141761 seconds elapsed
-- 0.000059201 seconds elapsed
-- 0.000539969 seconds elapsed
-- 0.000144953 seconds elapsed
-- 0.000074617 seconds elapsed
-- 0.000526631 seconds elapsed
-- 0.0001502 seconds elapsed
-- 0.000061364 seconds elapsed
-- 0.000508228 seconds elapsed
-- 0.000140618 seconds elapsed
-- 0.000060325 seconds elapsed
-- 0.000541548 seconds elapsed
-- 0.000145714 seconds elapsed
-- 0.000058713 seconds elapsed
-- 0.000524299 seconds elapsed
-- 0.00014317 seconds elapsed
-- 0.00006309 seconds elapsed
-- 0.000754175 seconds elapsed
-- 0.00022076 seconds elapsed
-- 0.000060756 seconds elapsed
-- 0.000751435 seconds elapsed
-- 0.000231853 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
|