For now the monomial order on R is always Lex, with variables ordered from the last block to the first, with larger indices before smaller indices. For blocks with multiple indices the first index is most significant, followed by the second, etc.
i1 : R = buildERing({symbol y, symbol x}, {2,1}, QQ, 2) o1 = R o1 : PolynomialRing |
i2 : vars R o2 = | y_(1,1) y_(1,0) y_(0,1) y_(0,0) x_1 x_0 | 1 6 o2 : Matrix R <--- R |
i3 : coefficientRing R o3 = QQ o3 : Ring |