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

i1 : R = ZZ/101[a,b,c_1,c_2];

i2 : R

o2 = R

o2 : PolynomialRing

i3 : describe R

      ZZ
o3 = ---[a..b, c , c , Degrees => {4:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1]
     101        1   2                                                  {GRevLex => {4:1}  }
                                                                       {Position => Up    }

i4 : toString describe R

o4 =  ZZ
     ---[a..b, c , c , Degrees => {4:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1]
     101        1   2                                                  {GRevLex => {4:1}  }
                                                                       {Position => Up    }

i5 : toExternalString R

o5 = (ZZ/101)[a..b, c_1, c_2, Degrees => {4:1}, Heft => {1}, MonomialOrder =>
     VerticalList{MonomialSize => 32, GRevLex => {4:1}, Position => Up},
     DegreeRank => 1]

i6 : QQ[x,d,WeylAlgebra=>{x=>d}]

o6 = QQ[x, d]

o6 : PolynomialRing

i7 : describe oo

o7 = QQ[x, d, Degrees => {2:1}, Heft => {1}, MonomialOrder =>
                                                             
                                                             
     ------------------------------------------------------------------------
     {MonomialSize => 32}, DegreeRank => 1, WeylAlgebra => {x => d}]
     {GRevLex => {2:1}  }
     {Position => Up    }

i8 :