Jenn Ma

I am trying to run REDUCE (Free PSL Version, revision 4859) on my mac (with the terminal) When I try to use it to run DAISY, and run IN "xxxxxx/Ex1.txt"$, the terminal returned sorry, but at present the Heap can not be extended. Please start Reduce again with a larger heap (-td parameter) and rerun. also, it shows module nullsp of package matrix cannot be loaded also, error in loading package solve or package not found. The files I have been using are based on https://daisy.dei.unipd.it/ Documentation...