Revision history [back]

When the ratio of two elements is known to belong to the base ring (QQ in your example), it can be computed as the ratio of the underlying polynomials (obtained via .lift() method) or just of their leading coefficients (via .lc() method, as suggested by @FrédéricC).