I don't understand why solveradcan:true returns implicit solutions. This isn't mentioned in the manual. Given the effect of solverradcan:true the effect of solveexplicit:true inhibiting implicit solutions is as documented, Maxima 5.47.0 https://maxima.sourceforge.io using Lisp CLISP 2.49+ (2010-07-17) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) display2d:false$ (%i2)...
Update solution for ODE Murphy 1.34
Fixed with commit [1be377]
Add assumptions for tests Kamke 2.3 and 2.4
Maxima can't differentiate beta function
Fixed with commit [1be3779a]
Bug #4325: Maxima can't differentiate beta function
The following works. I am not familiar with MQAPPLY and would welcome guidance on style. ;; Derivative of beta function ;; https://functions.wolfram.com/GammaBetaErf/Beta/ ;; https://en.wikipedia.org/wiki/Beta_function (defprop %beta ((a b) ; derivative wrt a ((mtimes) (($beta) a b) ((mplus) ((mqapply) (($psi array) 0) a) ((mtimes) -1 ((mqapply) (($psi array) 0) ((mplus) a b))))) ; derivative wrt b ((mtimes) (($beta) a b) ((mplus) ((mqapply) (($psi) 0) b) ((mtimes) -1 ((mqapply) (($psi array) 0)...