REDUCE Meets CAMAL

J P Fitch

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module is created for REDUCE, and it is tested on some small and mediumsized problems taken from the CAMAL test suite. The largest calculation is the determination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern haxdware.
Original languageEnglish
Title of host publicationDesign and Implementation of Symbolic Computation Systems
EditorsJ P Fitch
Place of PublicationHeidelberg, Germany
PublisherSpringer
Pages104-115
Number of pages12
Volume721
DOIs
Publication statusPublished - Sep 1993
EventDesign and Implementation of Symbolic Computation Systems -
Duration: 1 Sep 1993 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Conference

ConferenceDesign and Implementation of Symbolic Computation Systems
Period1/09/93 → …

Fingerprint

disturbing functions
algebra
prototypes

Cite this

Fitch, J. P. (1993). REDUCE Meets CAMAL. In J. P. Fitch (Ed.), Design and Implementation of Symbolic Computation Systems (Vol. 721, pp. 104-115). (Lecture Notes in Computer Science). Heidelberg, Germany: Springer. https://doi.org/10.1007/3-540-57272-4

REDUCE Meets CAMAL. / Fitch, J P.

Design and Implementation of Symbolic Computation Systems. ed. / J P Fitch. Vol. 721 Heidelberg, Germany : Springer, 1993. p. 104-115 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Fitch, JP 1993, REDUCE Meets CAMAL. in JP Fitch (ed.), Design and Implementation of Symbolic Computation Systems. vol. 721, Lecture Notes in Computer Science, Springer, Heidelberg, Germany, pp. 104-115, Design and Implementation of Symbolic Computation Systems, 1/09/93. https://doi.org/10.1007/3-540-57272-4
Fitch JP. REDUCE Meets CAMAL. In Fitch JP, editor, Design and Implementation of Symbolic Computation Systems. Vol. 721. Heidelberg, Germany: Springer. 1993. p. 104-115. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-57272-4
Fitch, J P. / REDUCE Meets CAMAL. Design and Implementation of Symbolic Computation Systems. editor / J P Fitch. Vol. 721 Heidelberg, Germany : Springer, 1993. pp. 104-115 (Lecture Notes in Computer Science).
@inbook{b563361f23be4ad2ad46e1946ec03f94,
title = "REDUCE Meets CAMAL",
abstract = "It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module is created for REDUCE, and it is tested on some small and mediumsized problems taken from the CAMAL test suite. The largest calculation is the determination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern haxdware.",
author = "Fitch, {J P}",
year = "1993",
month = "9",
doi = "10.1007/3-540-57272-4",
language = "English",
volume = "721",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "104--115",
editor = "Fitch, {J P}",
booktitle = "Design and Implementation of Symbolic Computation Systems",

}

TY - CHAP

T1 - REDUCE Meets CAMAL

AU - Fitch, J P

PY - 1993/9

Y1 - 1993/9

N2 - It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module is created for REDUCE, and it is tested on some small and mediumsized problems taken from the CAMAL test suite. The largest calculation is the determination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern haxdware.

AB - It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has been performed to see if using the ideas of the special purpose algebra system CAMAL(F) it is possible to make the general purpose system REDUCE perform calculations in celestial mechanics as efficiently as CAMAL did twenty years ago. To this end a prototype Fourier module is created for REDUCE, and it is tested on some small and mediumsized problems taken from the CAMAL test suite. The largest calculation is the determination of the Lunar Disturbing Function to the sixth order. An assessment is made as to the progress, or lack of it, which computer algebra has made, and how efficiently we are using modern haxdware.

UR - http://dx.doi.org/10.1007/3-540-57272-4

U2 - 10.1007/3-540-57272-4

DO - 10.1007/3-540-57272-4

M3 - Chapter

VL - 721

T3 - Lecture Notes in Computer Science

SP - 104

EP - 115

BT - Design and Implementation of Symbolic Computation Systems

A2 - Fitch, J P

PB - Springer

CY - Heidelberg, Germany

ER -