Sam Blake comments

Results 16 comments of


                                            Sam Blake

Incorrect evaluation of definite integral

I suggest we remove definite integral capability. Albert has implemented Newton-Leibniz without checking for continuity Int[u_, {x_Symbol, a_, b_}] := With[{result = Int[u, x]}, Limit[result, x -> b] - Limit[result,...

Incorrect evaluation of definite integral

Added a (hopefully temporary) patch for definite integration: Int::definite = "Rubi does not check that the domain of integration is continuous."; Int[u_, {x_Symbol, a_, b_}] := With[{result = Int[u, x]},...

Issue in Hard Integral

This is a good integral for the rational part of Bronstein's algorithm. -- Rubi does not have a rule for this type of integral. -- Mathematica does not implement Bronstein's...

Questions on some rules (which came up in preparation of a Maxima port)

Hi Michael, It's great to hear that someone is taking up the challenge of compiling Rubi's rules into a decision tree! Regarding \[Star] - I believe it was Albert's way...

Questions on some rules (which came up in preparation of a Maxima port)

Here's an interesting use of GPT4o parsing a Rubi rule into Maple syntax. (I do not have Maple so I cannot test the resulting code... ) *Prompt: * *Can you...

Questions on some rules (which came up in preparation of a Maxima port)

It looks dubious to me, but I don't have Maple any more. The online documentation says about the op() function .... *If the first argument to the op function is...

Questions on some rules (which came up in preparation of a Maxima port)

Has anyone here looked at this? https://github.com/axkr/symja_android_library/wiki/Porting-Rubi-Integration-rules-to-Symja (It was just pointed out on the Maxima discussion list. Some of Mathematica is implemented.. This page gets you a web interface https://matheclipse.org/...