Reduce (Computeralgebrasystem)

{{#if: Reduce \| Reduce \| {{#invoke:WLink\|getArticleBase}} }} {{#if: \|
	colspan="2" class="notheme" style="text-align:center; background:#Vorlage:Standardfarbe; color:#202122;" \| \| {{#if: {{#invoke:Wikidata\|claim\|P154}} \|
	[[Datei:{{#invoke:Wikidata\|claim\|P154}}\|150px]] }} }}{{#if: \|
	{{#if: \| ; }}\| }}
Basisdaten {{#if: \|
Hauptentwickler	{{#if: {{#invoke:Wikidata\|claim\|P126}} \|
Maintainer	claim\|P126\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
Entwickler	{{#if: {{#invoke:Wikidata\|claim\|P178}} \|
Entwickler	claim\|P178\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
Erscheinungsjahr	{{#if: {{#invoke:Wikidata\|claim\|P577}} \|
Erscheinungsjahr	claim\|P577\|references=ja\|list=, }} \| {{#if: {{#invoke:Wikidata\|claim\|P571}} \|
Erscheinungsjahr	claim\|P571\|references=ja\|list=, }} }} }} }}{{#ifeq: \| KEINE_ANGABE \|\| {{#if: \|
Aktuelle Version	claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|references=ja}} {{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|qualifier=P577}} \| ; ({{#invoke:Wikidata\|claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|qualifier=P577}}) }}}}}} }}{{#ifeq: {{{AktuelleVorabVersion}}} \| KEINE_ANGABE \|\| {{#if: \|
Aktuelle Vorabversion	claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|references=ja}} {{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|qualifier=P577}} \| ; ({{#invoke:Wikidata\|claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|qualifier=P577}}) }}}}}} }}{{#if: \|
Ausführungsumgebung	{{#if: Plattformunabhängig \|
Betriebssystem	Plattformunabhängig \| {{#if: {{#invoke:Wikidata\|claim\|P306}} \|
Betriebssystem	claim\|P306\|parameter=link\|references=ja\|list=, }} }} }} }}{{#if: \|
Programmiersprache	{{#if: {{#invoke:Wikidata\|claim\|P277}} \|
Programmiersprache	claim\|P277\|parameter=link\|references=ja\|list=, }} }} }}{{#if: Computeralgebrasystem \|
Kategorie	Computeralgebrasystem }}{{#if: BSD-Lizenz \|
Lizenz	BSD-Lizenz \| {{#if: {{#invoke:Wikidata\|claim\|P275}} \|
Lizenz	claim\|P275\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
deutschsprachig	faculty\|}} \| ja \| nein }} }}{{#if: \|
Sonstiges	{{{Sonstiges}}} }}{{#if: http://reduce-algebra.sourceforge.net// \|
	http://reduce-algebra.sourceforge.net// \| {{#if: {{#invoke:Wikidata\|claim\|P856\|notdeprecated=1}} \|
	{{#invoke: WLink \| formatURL \| {{#invoke:Wikidata\|claim\|P856\|parameter=link\|notdeprecated=1}}}} }} }}{{#if: \|
Dateien	[[c:Category:Created with {{{Dateien}}}\|{{{Dateien}}}]] }}

Reduce ist ein Computeralgebrasystem, das sich als Allzwecksystem eignet und besonders mit Hinblick auf physikalische Anwendungen entwickelt wurde.<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = @@@
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Commun. ACM
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Hearn|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>

Geschichte

Datei:Reduce 2 Listing 1978 sepia RK01.jpg

f}}</ref>

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.<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = @@@
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Communications of the ACM
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Hearn|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>

Bekannt wurde das Programm in den 1970er Jahren und musste zunächst käuflich erworben werden.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> 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

Reduce ist in einem eigenen Lisp-Dialekt (Standard LISP) implementiert.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> 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:

Ganzzahl- und rationale Arithmetik in beliebiger Genauigkeit
Lösung einer Vielzahl algebraischer Gleichungen
Algorithmen für Polynome und rationale Funktionen
Automatische und benutzergesteuerte Vereinfachung mathematischer Ausdrücke
Substitutionen und Musterabgleich in vielfältiger Form
Analytische Differential- und Integralrechnung
Berechnungen mit einer Vielzahl spezieller mathematischer Funktionen
Berechnungen mit Dirac-Matrizen, die für Hochenergiephysiker von Interesse sind<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = @@@
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Journal of Computational Physics
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Campbell|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>

Entscheidungsfindung für interpretierende Logik erster Ordnung
Leistungsstarke intuitive Programmiersprache auf Benutzerebene

Weblinks

Reduce-Projektseite bei SourceForge
Reduce-Website bei SourceForge.
Web REDUCE eine Website, um REDUCE ohne lokale Installation mit einem Web-Browser kennenzulernen und zu benutzen.
Reduce Wiki bei SourceForge
Tony Hearns Website zu Reduce
Anthony C. Hearn, Reduce User's Manual Version 3.8 (PDF; 893 kB), Februar 2004. Im HTML-Format
Anthony C. Hearn, "Reduce: The First Forty Years" (PDF; 41 kB), Eine Zusammenfassung der Geschichte von Reduce (2005).

Einzelnachweise

{{#if: Reduce \| Reduce \| {{#invoke:WLink\|getArticleBase}} }} {{#if: \|
colspan="2" class="notheme" style="text-align:center; background:#Vorlage:Standardfarbe; color:#202122;" \| \| {{#if: {{#invoke:Wikidata\|claim\|P154}} \|
[[Datei:{{#invoke:Wikidata\|claim\|P154}}\|150px]] }} }}{{#if: \|
{{#if: \| }}\| }}
Basisdaten {{#if: \|
Hauptentwickler	{{#if: {{#invoke:Wikidata\|claim\|P126}} \|
Maintainer	claim\|P126\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
Entwickler	{{#if: {{#invoke:Wikidata\|claim\|P178}} \|
Entwickler	claim\|P178\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
Erscheinungsjahr	{{#if: {{#invoke:Wikidata\|claim\|P577}} \|
Erscheinungsjahr	claim\|P577\|references=ja\|list=, }} \| {{#if: {{#invoke:Wikidata\|claim\|P571}} \|
Erscheinungsjahr	claim\|P571\|references=ja\|list=, }} }} }} }}{{#ifeq: \| KEINE_ANGABE \|\| {{#if: \|
Aktuelle Version	({{#if: \| Vorlage:Datum – die Form mit drei unbenannten Parametern oder anderen einzelnen Zeiteinheiten ist veraltet und wird nicht mehr unterstützt. Bitte gib das Datum einfach im Klartext an.	format	7. Oktober 2010 \| {{#timefl:now\|date}}}}	{{{2}}} \| T._Monat JJJJ}}	lang= {{#switch:	-\|=de	#default=de-AT }} }} }}) }}	{{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813}} \|
Aktuelle Version	claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|references=ja}} {{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|qualifier=P577}} \| ({{#invoke:Wikidata\|claim\|P348\|P548\|!Q3295609,Q51930650,Q2122918,Q21727724,Q1072356,Q6736813\|qualifier=P577}}) }}}}}} }}{{#ifeq: {{{AktuelleVorabVersion}}} \| KEINE_ANGABE \|\| {{#if: \|
Aktuelle Vorabversion	({{#if: \| Vorlage:Datum – die Form mit drei unbenannten Parametern oder anderen einzelnen Zeiteinheiten ist veraltet und wird nicht mehr unterstützt. Bitte gib das Datum einfach im Klartext an.	format	{{{AktuelleVorabVersionFreigabeDatum}}} \| {{#timefl:now\|date}}}}	{{{2}}} \| T._Monat JJJJ}}	lang= {{#switch:	-\|=de	#default=de-AT }} }} }}) }}	{{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724}} \|
Aktuelle Vorabversion	claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|references=ja}} {{#if: {{#invoke:Wikidata\|claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|qualifier=P577}} \| ({{#invoke:Wikidata\|claim\|P348\|P548\|Q1072356,Q51930650,Q3295609,Q2122918,Q21727724\|qualifier=P577}}) }}}}}} }}{{#if: \|
Ausführungsumgebung	{{#if: Plattformunabhängig \|
Betriebssystem	Plattformunabhängig \| {{#if: {{#invoke:Wikidata\|claim\|P306}} \|
Betriebssystem	claim\|P306\|parameter=link\|references=ja\|list=, }} }} }} }}{{#if: \|
Programmiersprache	{{#if: {{#invoke:Wikidata\|claim\|P277}} \|
Programmiersprache	claim\|P277\|parameter=link\|references=ja\|list=, }} }} }}{{#if: Computeralgebrasystem \|
Kategorie	Computeralgebrasystem }}{{#if: BSD-Lizenz \|
Lizenz	BSD-Lizenz \| {{#if: {{#invoke:Wikidata\|claim\|P275}} \|
Lizenz	claim\|P275\|parameter=link\|references=ja\|list=, }} }} }}{{#if: \|
deutschsprachig	faculty\|}} \| ja \| nein }} }}{{#if: \|
Sonstiges	{{{Sonstiges}}} }}{{#if: http://reduce-algebra.sourceforge.net// \|
http://reduce-algebra.sourceforge.net// \| {{#if: {{#invoke:Wikidata\|claim\|P856\|notdeprecated=1}} \|
{{#invoke: WLink \| formatURL \| {{#invoke:Wikidata\|claim\|P856\|parameter=link\|notdeprecated=1}}}} }} }}{{#if: \|
Dateien	[[c:Category:Created with {{{Dateien}}}\|{{{Dateien}}}]] }}