maxima

Update: by redirecting stderr from php exec, I can now see that running maxima produces a segmentation fault, increasing the likelihood that this is in fact a bug. Important note: this used to work perfectly on older versions of PHP/Ubuntu.…