i1 : R = QQ[x,y];
|
i2 : S = subring {x*y, x^2*y, x^3*y};
|
i3 : gens S
o3 = | xy x2y x3y |
1 3
o3 : Matrix R <--- R
|
i4 : SB = sagbi(S, Limit => 3);
|
i5 : gens SB
o5 = | xy x2y |
1 2
o5 : Matrix R <--- R
|
i6 : isSAGBI S
-- 0.000131612 seconds elapsed
-- 0.00012957 seconds elapsed
-- 0.000108881 seconds elapsed
-- 0.000086851 seconds elapsed
-- 0.000165881 seconds elapsed
-- 0.000116711 seconds elapsed
-- 0.000086651 seconds elapsed
-- 0.000146281 seconds elapsed
-- 0.00011047 seconds elapsed
-- 0.00012795 seconds elapsed
-- 0.000126421 seconds elapsed
-- 0.000108369 seconds elapsed
-- 0.0000678 seconds elapsed
-- 0.00014006 seconds elapsed
-- 0.00010844 seconds elapsed
-- 0.00007704 seconds elapsed
-- 0.000163141 seconds elapsed
-- 0.000111841 seconds elapsed
-- 0.000100589 seconds elapsed
-- 0.000194301 seconds elapsed
-- 0.000206381 seconds elapsed
-- 0.00006584 seconds elapsed
-- 0.000177301 seconds elapsed
-- 0.00017383 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
o6 = true
|
i7 : isSAGBI SB
o7 = false
|