Je ne peux rien pour votre compte. En revanche, ceci devrait vous éclairer :
sage: Ex = x > 3
sage: Ex.lhs()
x
sage: Ex.rhs()
3
sage: Ex.operator()
# Kekcékçà ?
sage: import_statements(Ex.operator())
from _operator import gt
# Et d'ailleurs :
sage: Ex.operands()
[x, 3]
À la vôtre !
Le lundi
That means that inversion in your ring has been implemented somewhere
between Sage 8.9 and Sage 9.4. The simplest and laziest solution is to
install 9.4 by compiling from source (not *that* hard). You may also try
the 9.2 version, available in Ubuntu 21.04, but I have no idea of the
