Command-line reduction

There is a command-line interface with similar abilities to XREDUCE if you do not have access to an X display (or prefer a command-line anyway) it is started using the command:

% reduce

REDUCE it isn't quite as capable as XREDUCE so you'll have to work a bit harder. Consult the description in the appendix for a little more about this routine, but it's probably worth trying it out and failing first.