SkewCommutative -- make a skewcommutative (alternating) ring
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 |
Functions with optional argument named SkewCommutative :