sympy.jlの右極限・左極限

dirオプションで漸近する方向を指定する

using SymPy

@syms x

# dir="-": -0に漸近
limit(tan(x), x=>PI/2, dir="-") # oo

# dir="+": +0に漸近
limit(tan(x), x=>PI/2, dir="+") # -oo

# dir="+-": 両側から漸近
limit(tan(x), x=>PI/2, dir="+-") # Error: tanは漸近する向きによって値が異なるため

参考

docs.sympy.org