Home
last modified time | relevance | path

Searched refs:limitinf (Results 1 – 5 of 5) sorted by path

/dports/math/maxima/maxima-5.43.2/src/
H A Dlimit.lisp3145 ((member (limitinf (logred exp) var) '($inf $minf) :test #'eq)
3180 (let ((c (limitinf (m// `((%log) ,a) `((%log) ,b)) var)))
3318 (mrv-sign (limitinf exp var) var))
3322 (defun limitinf (exp var) function
3338 (return (limitinf c0 var)))))))
3385 (limitinf exp newvar)))
/dports/math/py-Diofant/Diofant-0.13.0/diofant/series/
H A Dgruntz.py95 c = limitinf(la/lb, x)
127 elif any(a.is_infinite for a in Mul.make_args(limitinf(e.exp, x))):
188 def limitinf(e, x):
208 s = sign(limitinf(f.args[0], x))
230 return limitinf(c0, x)
336 c = limitinf(a.exp/g.exp, x)
H A Dlimits.py5 from .gruntz import limitinf
202 r = limitinf(newe, newz)
/dports/math/py-sympy/sympy-1.9/doc/src/modules/series/
H A Dseries.rst110 .. autofunction:: sympy.series.gruntz::limitinf
/dports/math/py-sympy/sympy-1.9/sympy/series/
H A Dgruntz.py144 c = limitinf(la/lb, x)
275 base_lim = limitinf(b1, x)
293 li = limitinf(e.exp, x)
425 def limitinf(e, x, leadsimp=False): function
465 return limitinf(c0, x, leadsimp) # e0=0: lim f = lim c0
627 c = limitinf(f.exp/g.exp, x)
699 r = limitinf(e0, z)
701 r = limitinf(e0, z, leadsimp=True)