def dmp_sub_ground():
f = ZZ.map([[1], [2], [3], [4]])
g = ZZ.map([[1], [2], [3], []])
assert dmp_sub_ground(f, ZZ(4), 1, ZZ) == g
def sub_ground(f, c):
"""Subtract an element of the ground domain from ``f``. """
return f.per(dmp_sub_ground(f.rep, f.dom.convert(c), f.lev, f.dom))
def sub_ground(f, c):
"""Subtract an element of the ground domain from ``f``. """
return f.per(dmp_sub_ground(f.rep, f.dom.convert(c), f.lev, f.dom))
