Abstract
We define a new concept for developing computer algebra software. The development system will integrate a documentation system, a programming language, algorithm libraries, and an interactive calculation facility. We exemplify the workability of this concept by applying it to the well known ALDES/SAC-2 system. The ALDES Translator is modified to help in converting ALDES/SAC-2 Code to Modula-2. The implementation and module setup of the SAC-2 BASIC SYSTEM, LIST PROCESSING SYSTEM and ARITHMETIC SYSTEM in Modula-2 are discussed. An example gives a first idea of the performance of the system. The WEB System of Structured Documentation is used to generate documentation with TEX.
ON LEAVE FROM: GSI DARMSTADT, PLANCKSTR. 1, FRG
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
IBM. ACRITH Reference Manual. IBM, Stuttgart, 1987.
D. S. Arnon. Report of the Workshop on Environments for Computational Mathematics. SIGSAM Bulletin Vol. 21, No. 4, pp 42–48, November 1987.
W. S. Brown. ALTRAN User's Manual. Bell Laboratories, Murray Hill, New Jersy, 1977.
J. Calmet, D. Lugiez, A Knowledge-Based System for Computer Algebra. SIGSAM Bulletin Vol. 21, No. 1, pp 7–13, February 1987.
B. W. Char, G. J. Fee, K. O. Geddes, G. H. Gonnet, M. B. Monagan. A Tutorial Introduction to Maple. J. Symbolic Computation 2, pp 179–200, 1986.
G. E. Collins & R. G. K. Loos. ALDES and SAC-2 now available. SIGSAM Bulletin Vol. 12, No. 2, p 19, 1980.
IBM. Engeneering Scientific Subroutine Library. IBM, Stuttgart, 1987.
M. E. Engeli. SYMBAL — Summary and Examples. FIDES Rechenzentrum, Zürich, Publication No. 22, 2nd edition, 1st Oktober 1970.
R. Gebauer, H. Kredel. Buchberger algorithm system. Technical Report, Institut für Angewandte Mathematik, Universität Heidelberg, 1983. (see also SIGSAM Bulletin Vol. 18, No. 1, p 19.)
A. C. Hearn. REDUCE 3 — Users Manual. The Rand Corporation, Santa Monica, 1987.
IMSL Incl. Mathematical Software Library. IMSL Incl. Houston, Texas, USA, 1987.
R. D. Jenks et al. SCRATCHPAD II, An Experimental Computer Algebra System, Abbreviated Primer and Examples. Mathematical Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, 1984.
D. E. Knuth. The Art of Computer Programming, Vol 2., 2-nd edition. A. Reading, Massachusetts: Addison Wesly 1983.
D. E. Knuth. The T E Xbook. A. Reading, Massachusetts: Addison Wesly 1983.
D. E. Knuth. Literate Programming. The Computer Journal, Vol. 27, No. 2, 1984.
D. E. Knuth. The WEB System of Structured Documentation. Computer Science Department, Stanford University, 1984.
L. Lamport. LATEX: A Document Preparation Systems. A. Reading, Massachusetts: Addison Wesly 1986.
L. Langemyr. Converting SAC-2 Code to Lisp. SIGSAM Bulletin Vol. 20, No. 4, pp 11–13, December 1986.
R. G. K. Loos. The Algorithm Description Language ALDES (Report) SIGSAM Bulletin Vol. 14, No. 1, pp 15–39, 1976.
J. B. Marti, A. C. Hearn, M. L. Griss, C. Griss. Standard Lisp Report. University of Utah, Salt Lake City, 1978.
Modula-2 Software Ltd. Modula-2/ST. Clifton, Bristol BS8, 1986.
R. Pavelle, P. R. Wang. MACSYMA From F to G. J. Symbolic Computation 1, pp 69–100, 1985.
G. Pomberger, E. Wallmüller. Ada und Modula-2 — ein Vergleich. Informatik-Spektrum 10, pp 181–191, 1987.
D. R. Stoutemyer. μ-MATH-83. The Soft Warehouse. Honolulu, Hawai, 1983.
E. W. Sewell. How to MANGLE Your Software: The WEB System for Modula-2. TUGboat. The TEX Users Group Newsletter. Providence, Rhode Island, Volume 8, No. 2, 1987.
H. Strubbe. Manual for SCHOONSHIP, A CDC 6000/7000 Program for Symbolic Evaluation of Algebraic Expressions. Computer Physics Communications 8, pp 1–30, 1974.
N. Wirth. Compilerbau. B. G. Teubner, Stuttgart, 1984.
N. Wirth. Programming in Modula-2. Springer, Berlin, Heidelberg, New York, 1985.
H. G. Zimmer. SIMATH, SInix MATHematik. Fachbereich 9 Mathematik, Universität des Saarlandes, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kredel, H. (1989). Software development for computer algebra or from ALDES/SAC-2 to WEB/Modula-2. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_42
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive