sylverster.py 文件源码

def truncd(d, v, Q):
    assert d <= Q.degree(v)
    from sympy import Poly
    cs = coefs(d+1, v, Q)
    cs.reverse()
    p = sum(c*v**k for k,c in enumerate(cs))
    return Poly(p) if p else Poly(p, v)