Exemplo n.º 1
0
def dmp_add_ground():
    f = ZZ.map([[1], [2], [3], [4]])
    g = ZZ.map([[1], [2], [3], [8]])

    assert dmp_add_ground(f, ZZ(4), 1, ZZ) == g
Exemplo n.º 2
0
 def add_ground(f, c):
     """Add an element of the ground domain to ``f``. """
     return f.per(dmp_add_ground(f.rep, f.dom.convert(c), f.lev, f.dom))
Exemplo n.º 3
0
 def add_ground(f, c):
     """Add an element of the ground domain to ``f``. """
     return f.per(dmp_add_ground(f.rep, f.dom.convert(c), f.lev, f.dom))