Oh sorry, it should just be a tuple, since each item is a polynomial, not a rational function. But please keep it as a Poly. You can use `(u1*p1 - a*z2*p2).to_field().mul_ground(1/denom)` to divide by a constant (@mattpap is that correct?).