[Axiom-developer] Axiom July 2010 release

[Tim Daly]

July 2010 Release

This release concentrated on the work of Albert Rich and his Rubi pattern
matching machinery. All of his integrals from his test suite were converted
to a regression test suite. This will form a baseline for the pattern work
in future releases. David Parnas has a table-based method of specifying
programs. Axiom is trying to synthesize this work with the pattern match
work to create pattern specifications using tables. Martin Baker added
HTML output to the system. Waldek Hebisch implemented the DoubleFloat
representation routines. Martin Rubey implemented Dirichlet.

The symbolic version of the fresnel integrals was added as well as a
numeric implementation of the fresnelC and fresnelS functions. The
output of these numeric functions were validated against Pearcy's tables,
with the comparison as part of the regression tests. Further work on
numeric approximation is ongoing and expected in the next release.

These people were added to the credits list:

 Albert D. Rich, David Parnas, Martin Baker

readme
 update credits list

Makefile
 add Mandriva
 fix environment variables
 segment test set choice from command line

books/axbook.tgz
 rewrite section 8.3.2 for current output

books/bookvol0
 rewrite section 8.3.2 for current output

books/bookvol10.2
 add fresnelS, fresnelC to LFCAT
 add test and help files for all categories

books/bookvol10.3
 add CDFMAT ComplexDoubleFloatMatrix
 add CDFVEC ComplexDoubleFloatVector
 add DIR Dirichlet
 add DFMAT DoubleFloatMatrix
 add DFVEC DoubleFloatVector
 add HTMLFORM HTMLFormat
 add fresnelS, fresnelC to EXPR

books/bookvol10.4
 add EXP3D Export3D
 add GDRAW  GnuDraw
 add fresnelC, fresnelS numeric computation to DFSFUN
 add fresnelS, fresnelC symbolics to LF, COMMONOP, LIMITPS

books/bookvol10.5
 start of numeric analysis of BLAS/LAPACK
 tighten array type declarations in BLAS
 use simple-array, not simple-vector type in BLAS

books/bookvol4
 document the Makefile build process

books/bookvol5
 change )version to include *build-version* info
 add macros to support algebra
 add Albert D. Rich, David Parnas, Martin Baker to credits

books/bookvol6
 fix deleted variable from axiom script
 remove AXIOMXLROOT reference

books/bookvol7.1
 document HTMLFormat

books/bookvol8
 add 3D graphic file format table

books/bookvolbib
 Adams [AL94], Brunelli [Bru09], Burcin [ES10], Dewar [Dew94], Golub 
[GL89],
 Higham [Hig02], Householder [Hou81], Jenks [JT18], [JT18a], [JT18b], 
[JWS87],
 Lecerf [Le96], Losch [Los60], Luke [Luk169], [Luk269], Pearcey [Pea56],
 Press [PTVF95], Taivalsaari [Tai96]

src/algebra/Makefile
 add help and test for new algebra
 handle case-insensitive MAC filesystem
 remove new algebra scaffolding code

src/doc/Makefile
 cleanly latex pure latex files

src/input/Makefile add TESTSET=notests
 add derivefail, exampleagcode, hyperell, paffexample,
 rule-based algebraic integration, rule-based rational integration,
 rule-based exponential integration, rule-based hyper integration,
 rule-based inverse hyperbolic integration, rule-based log integration,
 rule-based inverse trig integration, rule-based trig integration

zips
 remove aldor.20070901.tgz

src/input
 derivefail, examplegcode, hyperell, monitortest, paffexample,
 richalgebraic000-099, richalgebraic100-199, richalgebraic200-299,
 richalgebraic300-399, richalgebraic400-461, richerror000-078,
 richexponential, richhyper000-099, richhyper100-199, richhyper100-199,
 richhyper1000-1098, richhyper200-299, richhyper300-399,
 richhyper400-499, richhyper500-599, richhyper600-699, richhyper700-799,
 richhyper800-899, richhyper900-999, richintfunc000-032,
 richinvhyper000-099, richinvhyper100-199, richinvhyper200-296,
 richinvtrig000-092, richlog000-099, richlog100-199, richlog200-299,
 richlog300-391, richrational.input, richspecfunc000-022,
 richtrig000-099, richtrig100-199, richtrig200-299, richtrig300-399,
 richtrig400-499, richtrig500-599, richtrig600-699, richtrig700-799,
 richtrig800-899, richtrig900-920

src/interp
 i-output.lisp, vmlisp.lisp HTMLFormat support code

src/share/algebra/
 browse, category, compress, interp, operation, users daase updated
 remove libaldor.al

GCL was upgraded, thanks to Camm Maquire.