Sam Blake

On Tue, Jun 25, 2024 at 11:41 AM David Stoutemyer ***@***.***> wrote: > Albert probably would probably have hated the inelegant hackery, but > perhaps another way to do that...

Subtle differences between Mathematica Rubi, Maxima Rubi, Reduce Rubi, etc are to be expected. Similar to the (usually not so) subtle differences in the Risch algorithm implementations in each CAS....

Pretty much a random stab at a ruleset, I notice that Mathematica can integrate 1/(a+b*x^2)^p wrt x, and its answer, x (a + b x^2)^-p (1 + (b x^2)/a)^p Hypergeometric2F1[1/2,...

Albert always wanted every special case to be returned in its best form. Thus, although the Hypergeometric function is "the correct answer" for all values of the parameter, and thus...

Another consolidation. As is well known from the fundamental theorem of algebra, an nth degree polynomial has n roots. Assume then that (polynomial-in-x)^p * (other-polynomials-in-x)^p2 .... is the form of...

Rubi really shouldn't be used for definite integration. I would be in favour of removing the definite integration feature/rule in Rubi.