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