-- -*- M2-comint -*- {* hash: 1897820973 *}

i1 : R = QQ[x,y,MonomialOrder => Lex,Degrees=>{3,5}];

i2 : describe newRing(R,MonomialOrder => GRevLex)

o2 = QQ[x..y, Degrees => {3, 5}, Heft => {1}, MonomialOrder =>
                                                              
                                                              
     ------------------------------------------------------------------------
     {MonomialSize => 32}, DegreeRank => 1]
     {GRevLex => {3, 5} }
     {Position => Up    }

i3 : describe newRing(R,Variables=>4)

o3 = QQ[p , p , p , p , Degrees => {4:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1]
         0   1   2   3                                                  {Lex => 2          }
                                                                        {Position => Up    }
                                                                        {GRevLex => {2:1}  }

i4 : describe newRing(R,Heft=>{2})

o4 = QQ[x..y, Degrees => {3, 5}, Heft => {2}, MonomialOrder =>
                                                              
                                                              
     ------------------------------------------------------------------------
     {MonomialSize => 32}, DegreeRank => 1]
     {Lex => 2          }
     {Position => Up    }

i5 : S = R/(x^2+y^3);

i6 : describe newRing(R,Variables=>2)

o6 = QQ[p , p , Degrees => {3, 5}, Heft => {1}, MonomialOrder =>
         0   1                                                  
                                                                
     ------------------------------------------------------------------------
     {MonomialSize => 32}, DegreeRank => 1]
     {Lex => 2          }
     {Position => Up    }

i7 :