i3 : getMons(R, I, MaxDegree=>15)
Ideal is not finite over the base (quotient ring has infinitely many monomials)
Monomials up to degree 15 given
2 2 3 4 3 4 5 6 5 6 7 8
o3 = {1, x, y, y , x*y, x*y , y , y , x*y , x*y , y , y , x*y , x*y , y , y ,
------------------------------------------------------------------------
7 8 9 10 9 10 11 12 11 12 13 14
x*y , x*y , y , y , x*y , x*y , y , y , x*y , x*y , y , y ,
------------------------------------------------------------------------
13 14 15
x*y , x*y , y }
o3 : List
|