isCommutative -- whether a ring is commutative

• Usage:

  isCommutative R

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

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