REDUCE

REDUCE on yleiskäyttöinen symbolisen laskennan ohjelmisto, joka on alun perin kirjoitettu fysiikan sovellutuksia varten.

Ohjelmiston kehityksen käynnisti Anthony C. Hearn 1960-luvulla. Myöhemmin ohjelmiston kehitystä ovat jatkaneet Hearnin johdolla lukuisat tutkijat eri puolilla maailmaa.

REDUCE on kirjoitettu kokonaan omalla LISP-ohjelmointikielellään, jota kutsutaan nimellä Standard LISP. REDUCEn ALGOL-tyyppistä syntaksia kutsutaan nimellä RLISP. RLISP muodostaa siis REDUCEn käyttäjätason ohjelmointikielen.

REDUCEn Portable Standard LISPiin tai Codemist Standard LISPiin perustuvia implementaatioita on saatavilla useimpiin Unix-, Linux-, Microsoft Windows- ja Apple Macintosh-käyttöjärjestelmäversioihin.

REDUCEn lähdekoodi vapautettiin joulukuussa 2008 avoimen lähdekoodin lisenssin alaisuuteen. Se on nykyisin ilmaiseksi saatavilla modifioidulla BSD-lisenssillä SourceForgessa.

Ohjelmiston ominaisuudet muokkaa

laskut polynomeilla ja rationaalifunktioilla
sijoitukset ja hahmontunnistukset lausekkeilla
automaattinen ja käyttäjän kontrolloima lausekkeiden sievennys
laskut symbolisilla matriiseilla
mielivaltaisen tarkkuuden kokonaisluku- ja liukulukuaritmetiikka
uusien funktioiden määrittelymahdollisuus
analyyttinen derivointi ja integrointi
polynomien tekijöihinjako
algebrallisten yhtälöiden monipuolinen ratkaiseminen
lausekkeiden tulostaminen lukuisissa eri formaateissa
optimoidun koodin tulostaminen numeerista laskentaa suorittavia ohjelmia varten
laaja valikoima valmiiksi ohjelmoituja erikoisfunktioita
laskut Diracin matriiseilla korkean energian fysiikassa

Aiheesta muualla muokkaa

Reduce SourceForge projektisivu.
Reducen webbisaitti SourceForgessa.
Reduce wiki SourceForgessa.
Anthony C. Hearnin Reduce-webbisivut.
Anthony C. Hearn, Reduce User's Manual Version 3.8, February 2004. manuaali HTML-formaatissa.
Anthony C. Hearn, "Reduce: The First Forty Years", kutsuttu esitelmä konferenssissa "the A3L Conference in Honor of the 60th Birthday of Volker Weispfenning", Toukokuu 2005.