IsCommutative(R: RING): BOOL
/**/ IsCommutative(ZZ); true /**/ IsCommutative(NewWeylAlgebra(ZZ,"x,y")); false