def leading_monom(self):
        p = self.ring.zero
        expv = self.leading_expv()
        if expv:
            p[expv] = self.ring.domain.one
        return p
Go through all the repositories defined in the config file and search
dataset/ETHPy150Open sympy/sympy/sympy/polys/rings.py/PolyElement.leading_monom--crossover with--dataset/ETHPy150Open ceph/ceph-deploy/ceph_deploy/conf/cephdeploy.py/Conf.get_default_repo