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 or section
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
T2 - Design and Implementation of Symbolic Computation Systems
Y2 - 1 September 1993
ER -