Hello, I would like to perform some formal computations with non-commutative

variables in maple (Lie-bracket and further) in order to define Lie algebras structures;

any idea about how I could "detype" the commutativity assumed upon the variables?

Thank you for your help!