Revision history [back]

The issue is that x, y still refer to the old variables in the polynomial ring with four variables. It works when adding the lines

x, y, s = R1.gens()

and

x, y = R2.gens()

respectively.

For debugging MPolynomial_elements, the underlying .dict() field is helpful.