Option variable
dot1simp
Default value: true
true
When dot1simp is true, a non-commutative product of one and another term is simplified to a commutative product.