Как добавить предположение (о коммутативности) в алгебру выражений Sympy? ⇐ Python

[Anonymous]

Предположим, я определяю Sympy.Symbol следующим образом

Код: Выделить всё

import sympy as sy
A = sy.Symbol('A',commutative=False)
B = sy.Symbol('B',commutative=False)

и объединить их в

Код: Выделить всё

sy.simplify(AB-BA)

Код: Выделить всё

sympy

правильно не сводит это значение к нулю, поскольку A и B были определены как некоммутативные. Пока все хорошо.
Но теперь я хочу заявить, что отдельные символы

Код: Выделить всё

U = sy.Symbol('U',commutative=False)
V = sy.Symbol('V',commutative=False)

хотя он некоммутативен с любым другим коммутирующим символом, т.е. UV-VU = 0. Как я могу сказать Sympy, что при любом упрощении он может/должен предположить это?