Anutosh Bhat

The latest commit fixes some import errors and any issues with the code and now we can get results for our simplified gruntz algorithm through sympy. I've added a test...

The recent commits simplifies the previous version of gruntz by quite a bit. For our use case i.e. `sin(x)/x` 1) We don't have to worry about ideas related to **tractable/intractable**...

Also talking about the `rewrite` function. The `rewrite` functions is cruicial and can't be simplified any further but it's actual requirements comes into picture when we have `exp-log` functions. For...

For the `signinf` function, we would need the mathematical function `sign` ``` def signinf(e, x): r""" Determine sign of the expression at the infinity. Returns ======= {1, 0, -1} One...

The `limitinf` function would require support for the `subs` function ``` def gruntz(e, z, z0, dir="+"): if str(dir) == "-": e0 = e.subs(z, z0 - 1/z) elif str(dir) == "+":...

Listing all blockers below.

1) is_integer check needs to be supported 2) Symbolic comparison between numbers (is_positive/ is_negative) etc checks should be supported.

I tried approach 1 & 2 as mentioned here (https://github.com/lcompilers/lpython/issues/2614#issuecomment-2009981787) but haven't been able to address the example in consideration fully. cc @Thirumalai-Shaktivel could you try helping me out here...

Yeah I had given a thought on this, some days back and I think we could surely address this. The way to do it would be very similar to how...

So basically I see 2-3 conditional statements and we can address all except one