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.000098655 seconds elapsed
-- 0.00112408 seconds elapsed
-- 0.000277919 seconds elapsed
-- 0.000092613 seconds elapsed
-- 0.000962107 seconds elapsed
-- 0.000249016 seconds elapsed
-- 0.000082154 seconds elapsed
-- 0.000073847 seconds elapsed
-- 0.000206816 seconds elapsed
-- 0.000089668 seconds elapsed
-- 0.000894661 seconds elapsed
-- 0.000226462 seconds elapsed
-- 0.000086511 seconds elapsed
-- 0.000858112 seconds elapsed
-- 0.000220281 seconds elapsed
-- 0.000086842 seconds elapsed
-- 0.000797891 seconds elapsed
-- 0.000229218 seconds elapsed
-- 0.000087283 seconds elapsed
-- 0.000929827 seconds elapsed
-- 0.000245618 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.000084558 seconds elapsed
-- 0.00101406 seconds elapsed
-- 0.000220452 seconds elapsed
-- 0.000092522 seconds elapsed
-- 0.000856379 seconds elapsed
-- 0.000216965 seconds elapsed
-- 0.000083105 seconds elapsed
-- 0.000793212 seconds elapsed
-- 0.000211354 seconds elapsed
-- 0.000096671 seconds elapsed
-- 0.000826823 seconds elapsed
-- 0.000211536 seconds elapsed
-- 0.000084067 seconds elapsed
-- 0.000814191 seconds elapsed
-- 0.000203501 seconds elapsed
-- 0.000100828 seconds elapsed
-- 0.000862741 seconds elapsed
-- 0.000213098 seconds elapsed
-- 0.000094948 seconds elapsed
-- 0.00102403 seconds elapsed
-- 0.000223347 seconds elapsed
-- 0.000103243 seconds elapsed
-- 0.000826364 seconds elapsed
-- 0.000223258 seconds elapsed
-- 0.000084599 seconds elapsed
-- 0.000789414 seconds elapsed
-- 0.00022446 seconds elapsed
-- 0.00008527 seconds elapsed
-- 0.00078154 seconds elapsed
-- 0.000209722 seconds elapsed
-- 0.000080029 seconds elapsed
-- 0.000764528 seconds elapsed
-- 0.000243525 seconds elapsed
-- 0.000082934 seconds elapsed
-- 0.000818659 seconds elapsed
-- 0.000218137 seconds elapsed
-- 0.00008556 seconds elapsed
-- 0.00120533 seconds elapsed
-- 0.00037403 seconds elapsed
-- 0.000082193 seconds elapsed
-- 0.00115773 seconds elapsed
-- 0.000366324 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
|