RuleBasedIntegration / Rubi

Rubi for Mathematica
http://rulebasedintegration.org
MIT License
225 stars 22 forks source link

EqQ sometimes called with only one argument #28

Closed axkr closed 4 years ago

axkr commented 4 years ago

Found these lines, where EqQ is called with only one argument. But where seem to be no definition for only one argument.

EqQ[m + 1/2] in this line

EqQ[m - 2*n + 1] in these lines:

AlbertRich commented 4 years ago

Thanks axkr for reporting these deficiencies in Rubi 4.16.1. They were introduced when converting Rubi from using ZeroQ[u] to EqQ[u,0]. Turns out they are harmless, and so were not discovered by the integration test-suite. If you wish to fix them anyway:

Albert