Ah. Then would this do good?? `Poly(eq, x, y).total_degree()`