Some updates to PSL build scripts: simplify and add riscv64 (just to be prepared)
r6873 and r6874 compilation of CSL-Reduce fails on macOS
Remove extra closing paren in lisp code
Bug fix for camal package: incorrect definition of simpfs procedure
Sorry for the delay in responding. I think that the equality test should work even when exp is off. We're looking at the problem, but it will take a bit of time to find a satisfactory solution. Regarding allfac, please note that this switch influences only the output of expressions, therefore it doesn't affect the examples when exp is off. You're comments are appreciated; I will update the manual soon. Rainer
Dear Tilda, PSL Reduce is not supported on Apple Silicon. Loading packages doesn't work at all. For the near future I will make sure that it doesn't start at all until it can be made working (if ever). Regards, Rainer
debianbuild: create only the reduce-complete package
Update of regression test file: a couple of more tests