SkewCommutative

SkewCommutative -- name for an optional argument for monoids that specifies that monoid rings created from them will be skewcommutative.

The default value is false.

i1 : R = ZZ[x,y,SkewCommutative=>true]

o1 = R

o1 : PolynomialRing
i2 : x*y

o2 = x*y

o2 : R
i3 : y*x

o3 = -(x*y)

o3 : R

topindexpreviousupnext