A TEX-REDUCED-Interface

ABSTRACT

REDUCE is a well known computer algebra system invented by Anthony C. Hearn. While every effort was made to improve the system's algebraic capabilities, the readability of the output remained poor by modern typesetting standards. 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. Our majors goals we pursue with TRI are:• We want to produce REDUCE-output in typesetting quality.• The interlnediate files (TEX-input files) should be easy to edit. The reason is that it is likely that the proposed line-breaks are sub-optilnal from the user's point of view.• We apply a TEX-like algorithm which "optimizes" the line-breaking over the whole expression. This differs fundamentally from the standard left-to-right, one-line look-ahead pretty-printers of REDUCE, LISP and the like.

REFERENCES

• 1: {Ant86} Antweiler, W.; Strotmann, A.; Pfenning, Th.; Winkelmann, V.: <i>Zwischenbericht &uuml;ber den Status der Arbeiten am REDUCE-TEX-Anschlu&szlig;.</i> Internal Paper, Rechenzentrum an der Universit&auml;t zu K&ouml;ln, November 1986.
• 2: Richard J. Fateman, TEX output from MACSYMA-like systems, ACM SIGSAM Bulletin, v.21 n.4, p.1-5, Nov. 1987 [doi>10.1145/36330.36331]
• 3: {Knu81} Knuth, Donald E.; Plass, Michael F.: <i>Breaking Paragraphs into Lines.</i> Software-Practice and Experience, Vol. 11, pp. 1119--1184, 1981.
• 4: Donald E. Knuth, The TEXbook, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 5: {Hea87} Hearn, Anthony C.: <i>REDUCE User's Manual, Version 3.3.</i> The RAND Corporation, Santa Monica, Ca., July 1987.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.3 COMPUTER GRAPHICS
      I.3.1 Hardware architecture
          Subjects: Raster display devices

Additional Classification:
  I. Computing Methodologies
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.1 Document and Text Editing

          Nouns: TeX

General Terms:
Algorithms, Design, Performance, Verification