Hi,
> 1- is it desirable for quo_remo and _floordiv_ to be equivalent for
> all of R1, R2, R3 and R4?
> 2- what is the most reasonable behavior?
I wouldn't expect those rings to behave the same. Defining the
multivariate ring in steps indirectly gives a position-over-term
ordering in the quo
Hello,
We have isomorphism between the following rings
R1 = QQ['a']['b']['c']
R2 = QQ['a','b']['c']
R3 = QQ['a']['b','c']
R4 = QQ['a','b','c']
However, sage treats them differently.
sage: R1('a').quo_rem(R1('b'))
Traceback (most recent call last):
...
ArithmeticError: Division non exact (consi
