def leading_term(self):
        p = self.ring.zero
        expv = self.leading_expv()
        if expv:
            p[expv] = self[expv]
        return p
Leading term as a polynomial element.
dataset/ETHPy150Open sympy/sympy/sympy/polys/rings.py/PolyElement.leading_term