Typesetting REDUCE output with TEX | A REDUCE-TEX-Interface

REDUCE is a well known computer algebra system invented by Anthony C. Hearn. Although a pretty-printer is already incorporated in REDUCE, the output is produced only in line-printer quality. The simple idea to produce high quality output from REDUCE is to link REDUCE with Donald E. Knuth’s famous TEX typesetting language. This draft reviews our efforts in this direction. We introduce a program written in REDUCE-Lisp which is able to typeset REDUCE formulas using TEX. Our REDUCETEX-Interface incorporates three levels of TEX output: without line breaking, with line breaking, and with line breaking plus indentation. This paper deals with some of the ideas we have put into LISP-code and it summarizes some of our experiments we have made with it yet. Furthermore, we compile a small user’s manual introducing to the use of our REDUCE-TEX-Interface.