
i18 : QQ[a,b,c,SkewCommutative =>true, Degrees=>{1,2,3}]

o18 = QQ[a, b, c]

o18 : PolynomialRing

i20 : b^2

o20 = 0					<<<<<< is this really what we intend ?

o20 : QQ[a, b, c]
