isCommutative -- whether a ring is commutative

Synopsis

• Usage:

  isCommutative R

• Inputs:

  • R, a ring
• Outputs:

  • a Boolean value, true if the ring R is commutative and false otherwise

Description

i1 : isCommutative(QQ[x,y])

o1 = true

i2 : isCommutative(QQ[x,y, SkewCommutative => true])

o2 = false

i3 : isCommutative(QQ[x,dx, WeylAlgebra => {x => dx}])

o3 = false

See also

• WeylAlgebra -- make or retrieve a monoid
• SkewCommutative -- make or retrieve a monoid