use lazy q-commuting formal power series ? about msinvar HOT 2 OPEN

This structure is indeed very similar to the quantum torus implemented in TMPolynomialRing, but most of the methods will have to be rewritten, so I am not sure about any advantage of using it.

from msinvar.

There may be an advantage in terms of speed and code concision. There is also an interest in leaving to sagemath developers the burden to maintain the code in a working state. This also applies for instance to your poset code, that may be integrated inside sage without too much effort.

from msinvar.