(f, p)
return f.per(dmp_ground_trunc(f.rep, f.dom.convert(p), f.lev, f.dom))
Reduce ``f`` modulo a constant ``p``.
Reduce ``f`` modulo a constant ``p``.
Reduce f modulo a constant p .
def trunc(f, p):
        """Reduce ``f`` modulo a constant ``p``. """
        return f.per(dmp_ground_trunc(f.rep, f.dom.convert(p), f.lev, f.dom))
def trunc ( f , p ) : return f . per ( dmp_ground_trunc ( f . rep , f . dom . convert ( p ) , f . lev , f . dom ) )