I agree that such rewrites shouldn't happen by default. In this case,
the gamma expression isn't even simpler than the binomial. I would
expect combsimp(), for instance, to go from the gamma form to the
binomial (or beta()), not the other way around.
By the way, there's a related issue
I had a look on RunThis, but I see there are issues with it. It gives
"connection closed" error. I think working on it will help me to learn more
about the problem. I have made some changes in my proposal accordingly.
Please review it once. GSoC 2020 Application: Prashant Rawat SymPy Live and
Currently, binomial presents results in terms of gamma. And if they
evaluate you see a number or with Number real and/or imaginary parts. In
#18960 we are experimenting with changing this so the class remains
unevaluated unless it evaluates into an expression free of the writing
function,
I know it’s a lot to ask for at the last minute but any feedback or
suggestions?
On Tue, 31 Mar 2020 at 1:56 PM, manik taneja
wrote:
> Hello ,
> I have prepared a better approach to the GSOC application which is a
> complete change from the previous one. The primary issue of
>
> @Aaron Meurer
>
Sir, firstly thank you for the feedback.
Could you please explain a bit more about how you want to proceed in the
satask system? Any issues/PR which is relevant will also be great.
Also, Shubham Jha asked me to include SMT features like Linear Real
Arithmatic and Linear
I have made some changes based on your suggestions, mainly tailoring my
plan more toward the manualintegrate approach and more details about how
exactly this would go. Any comments are greatly appreciate. Still working
on that PR.
Thank you,
Jackson
On Monday, March 30, 2020 at 9:42:47 AM