kdrag.theories.real.sympy.summation

kdrag.theories.real.sympy.summation(e, *args)

Sum a z3 expression. >>> x,n = smt.Reals(“x n”) >>> summation(x**2, (x, 0, 10)) 385 >>> summation(x, (x, 0, n)) n**2*1/2 + n*1/2