Reduce (Computeralgebrasystem)

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Reduce
Basisdaten

Entwickler Anthony C. Hearn
Betriebssystem Plattformunabhängig
Programmier­sprache Lisp
Kategorie Computeralgebrasystem
Lizenz BSD-Lizenz
http://reduce-algebra.sourceforge.net//

Reduce ist ein Computeralgebrasystem, das sich als Allzwecksystem eignet und besonders mit Hinblick auf physikalische Anwendungen entwickelt wurde.[1]

Historisches Listing einer Berechnung zur Vandermonde-Matrix, ausgeführt 1978 mit dem Computeralgebrasystem Reduce 2 im ZfK Rossendorf[2]

Reduce nimmt einen wichtigen Platz in der Geschichte der Computeralgebrasysteme ein. Es war eines der ersten. Die erste Version von Reduce wurde in den 1960er Jahren von Anthony C. Hearn geschrieben. Seitdem haben zahlreiche Wissenschaftler aus aller Welt zu seiner Weiterentwicklung beigetragen. Ausgangspunkt war Hearns Suche, Berechnungen zu Feynman-Diagrammen zu automatisieren. John McCarthy, Professor an der Stanford University, schlug ihm die Programmiersprache Lisp als Grundlage für nichtnumerisches Rechnen in der Physik vor, was Hearn aufgriff. Die erste Veröffentlichung dazu erschien 1966.[3]

Bekannt wurde das Programm in den 1970er Jahren und musste zunächst käuflich erworben werden.[4] Seit 2008 ist Reduce als Open-Source-Projekt freigegeben und unter einer modifizierten BSD-Lizenz bei SourceForge kostenlos erhältlich.

Ab der Version 4.2 bietet die Dynamische-Geometrie-Software (DGS) GeoGebra über ein separates Konsoleninterface den Zugriff auf MPReduce als internes Computeralgebrasystem. In der Version 4.4 wurde Reduce jedoch durch Giac ersetzt.

Leistungsumfang

[Bearbeiten | Quelltext bearbeiten]

Reduce ist in einem eigenen Lisp-Dialekt (Standard LISP) implementiert.[5] Die Anwendersprache ist RLISP, die eine ALGOL-ähnliche Syntax hat. Besonderes Gewicht wurde auf Portierbarkeit gelegt. Es existieren Versionen für die meisten Unix-Varianten, Linux, MS Windows und Apple Macintosh.

Als Merkmale sind hervorzuheben:

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Anthony C. Hearn: Applications of Symbol Manipulation in Theoretical Physics. In: Commun. ACM. 14. Jahrgang, Nr. 8, 1971, ISSN 0001-0782, S. 511–516, doi:10.1145/362637.362641 (englisch).
  2. Gerd Grundmann, Reinhard Koch: Auswertung einer ersten Anwendung des algebraischen Programmsystems REDUCE 2 (= RPT-4/78). Zentralinstitut für Kernforschung Rossendorf, Bereich Reaktorphysik, Rossendorf Juli 1978 (30 S. + 40 S. Listings).
  3. Anthony C. Hearn: Applications of Symbol Manipulation in Theoretical Physics. In: Communications of the ACM. 9. Jahrgang, Nr. 8, 1966, ISSN 0001-0782, S. 573–577, doi:10.1145/365758.365766 (englisch).
  4. Anthony C. Hearn: Reduce 2 User's Manual. Computer Science Dep. Univ, Stanford 1970 (100 S.).
  5. Anthony C. Hearn: Standard LISP. University, Stanford, Calif. 1969 (23, 11 S.).
  6. J. A Campbell, Anthony C Hearn: Symbolic analysis of Feynman diagrams by computer. In: Journal of Computational Physics. 5. Jahrgang, Nr. 2, 1. April 1970, S. 280–327, doi:10.1016/0021-9991(70)90064-1, bibcode:1970JCoPh...5..280C (englisch).