kdrag.theories.real.sympy.series

kdrag.theories.real.sympy.series(e, x=None, x0=0, n=6, dir='+')

Compute the series expansion of a z3 expression. >>> x = smt.Real(“x”) >>> series(real.sin(x), x, n=2) x + Order(x**2)