Searched refs:limitinf (Results 1 – 5 of 5) sorted by path
/dports/math/maxima/maxima-5.43.2/src/ |
H A D | limit.lisp | 3145 ((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 D | gruntz.py | 95 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 D | limits.py | 5 from .gruntz import limitinf 202 r = limitinf(newe, newz)
|
/dports/math/py-sympy/sympy-1.9/doc/src/modules/series/ |
H A D | series.rst | 110 .. autofunction:: sympy.series.gruntz::limitinf
|
/dports/math/py-sympy/sympy-1.9/sympy/series/ |
H A D | gruntz.py | 144 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)
|