Hi,
This is a benchmark about the Cartan identity (the exterior and the Lie
derivatives are commutative) for Maxima 5.9.3.1cvs.
rgds,
Valery
Time_ev means "Evaluation took ..." Time_el - ellapsed ..
I have tried two possibility for GCL one is default (no tuning) another one is
a tuned one which was done via maxima-init.lisp options. I put this file in
archive that can be found at the link:
http://www.iszf.irk.ru/~pip/maxima/bench-max.tar.bz2
There you can find the code and output from console as well.
Sign (!) means that the system was freezed during computations due to the
heavy SWAP use. Sign -/- that system was freezed forever the only
possibility was the hardware restart. Hardware : CPU -Athlon XP1800+
RAM 256Mb
the forth order Cartan identity:
SBCL 0.9.10 default GCL2.6.7 tuned GCL2.6.7
Time_ev 2.04 0.89 1.09
Time_el 2.06 0.94 1.22
Memory(mb) 107.8
SWAP
fifth order:
SBCL 0.9.10 default GCL2.6.7 tuned GCL2.6.7
Time_ev 16.72 7.20 7.92
Time_el 16.87 8.55 8.07
Memory(mb) 828.4
six order:
SBCL 0.9.10 default GCL2.6.7 tuned GCL2.6.7
Time_ev 164.48 70.61 80.30
Time_el 167.13 616.13 (!) 84.12
Memory(mb) 7503.57
seven order:
SBCL 0.9.10 default GCL2.6.7 tuned GCL2.6.7
Time_ev 1883.10 -\- -\-
Time_el 1994.62 -\- -\-
Memory(mb) 76085.2