An algebraic front-end for the production and use of numeric programs

ABSTRACT

We describe a programming environment which combines the Macsyma algebraic manipulation system with convenient and direct access to numeric Fortran run-time libraries. With this system it is also convenient to generate, compile, load, and invoke totally new Fortran programs which may have been produced by combining algebraically derived formulas and program “templates”. These facilities, available on VAX-11 computers, provide an environment for the generation and testing of advanced scientific software. Enhancements of Fortran for high-precision calculations, interval arithmetic, and other purposes are also supported.

REFERENCES

• 1: Richard Brent, "A Fortran Multiple-Precision Arithmetic Package". Computer Centre, Australian National University, Canberra, Australia, May 1976.
• 2: Richard P. Brent, "MP User's Guide (Third Edition)", Department of Computer Science, Australian National University, Canberra, Australia, December 1979.
• 3: Richard P. Brent , Judith A. Hooper , J. Michael Yohe, An AUGMENT Interface for Brent's Multiple Precision Arithmetic Package, ACM Transactions on Mathematical Software (TOMS), v.6 n.2, p.146-149, June 1980 [doi>10.1145/355887.355889]
• 4: F.D. Crary, "The Augment Precompiler: I. User's Manual" Mathematics Research Center, University of Wisconsin, Report #1469, December 1974.
• 5: F.D. Crary, "The Augment Precompiler: II. Technical Documentation", Mathematics Research Center, University of Wisconsin, October 1975.
• 6: D.H. Lanam, "A Package for Generating and Executing Fortran Programs with Macsyma", Master's Project Report, U.C. Berkeley, December 1980.
• 7: Mathlab Group, "Macsyma Users' Manual", Laboratory for Computer Science, M.I.T., Version 9, December 1977.
• 8: Henry Rabinowitz, "Implementation of a More Complete Interval Arithmetic", Computer Science Division, E.E.C.S. Department, University of California, Berkeley, 1979.
• 9: David Stevenson, "A Proposed Standard for Floating-Point Arithmetic", Computer Magazine, Vol. 14, No. 3, March 1981.
• 10: Michael Clarence Wirth, On the automation of computational physics, 1980

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.3 Languages and Systems

          Nouns: MACSYMA

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: FORTRAN

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.0 General

General Terms:
Algorithms, Theory