Axiom Computer Algebra System - News
May 2009 release
Item posted by Tim Daly <axiom> on Sun 31 May 2009 09:13:22 PM UTC.
Axiom now supports latex chunk syntax in pamphlets, thus
Axiom pamphlets can now be pure latex.
Axiom can now read pamphlet files and extract latex chunks directly.
All input files were converted to the new format.
This change has several long term implications. Once all of the
pamphlet files are pure latex we no longer need the NOWEAVE function.
Once Axiom can read all of its input formats, that is, )read and )compile
work directly on their pamphlet forms we will no longer need NOTANGLE.
At that point, we no longer need noweb.
This release sees the introduction of new domains and packages
as well as more documentation. The original Jenks books has been
modified to include new documentation, more help files were added,
and the )d op function documentation was expanded.
More effort has been applied to collecting interpreter and compiler
code into literate form in book volume 5.
A new effort to collect the compiler code into book volume 9 started.
The compiler was modified (by Waldek) to allow +-> in place of #1 syntax.
This conversion is nearly complete, with only a few packages remaining
to be converted. Lisp code to regression check the algebra changes was
written so the generated algebra is parsed and highlighted.
A method for running Axiom on Windows was developed and documented
on the home page of the website.
Unit testing of interpreter and compiler changes was added to the
regression testing. This will expand in future versions as changes
are made so ensure that things continue to function.
Volume 0: Axiom Jenks and Sutor
Richard Jenks bio was added
Section 9: Examples of Domains and Packages expanded
ApplicationProgramInterface (API)
Dequeue (DEQUEUE)
EuclideanGroebnerBasisPackage
GeneralDistributedMultivariatePolynomial
GroebnerPackage
HomogeneousDistributedMultivariatePolynomial
NottinghamGroup
Permutation
RealSolvePackage
TwoDimensionalViewport
Cross references were fixed
More spelling typo fixes
Volume 4: Axiom Developers Guide
A section was added explaining how to find anonymous function signatures
Volume 5: Axiom Interpreter
Michael Becker was added to the credit list
)set debug is now a new top level command to collect all of
the developer-level commands to enable/disable internal messages
and tracing functions.
\defunsec macro was added to handle section titles with docstrings
More interpreter code was moved from other files into this book
All regression test numbering was fixed to conform to the new,
stronger regression test. Thus --S requires the "of NN" phrase
or a FAILED message will be raised.
The compiler root was moved to volume 9: Axiom Compiler
Volume 7: Axiom Hyperdoc
Fixup verbatim breakage
Volume 7.1: Axiom Hyperdoc Pages
Update What's New for March 2009
Volume 9: Axiom Compiler
The compiler code is being collected from other parts of the
system into this book. In particular,
The root functions for the compiler were added
The top level loop code of the compiler was added
The next layer of compiler code was added
Volume 10.2: Axiom Algebra Categories
There was a general change to allow +-> syntax in algebra and
this was made to all existing categories
MatrixCategory now has regression test cases, a help page,
and )d op function examples
Document binomial category
Volume 10.3: Axiom Algebra Domains
There was a general change to allow +-> syntax in algebra and
this was made to all existing domains
SparseMultivariateTaylorSeries now has regression test cases, a help page,
and )d op function examples
Permutation now has regression test cases, a help page,
and )d op function examples
The regression tests now conform to the new, stronger
regression test requirements
Volume 10.4: Axiom Algebra Packages
There was a general change to allow +-> syntax in algebra and
this was made to some existing packages. There is more to be done.
Bezier package was added, including regression test cases, a help page,
and )d op function examples
CombiniatorialFunction now has regression test cases, a help page,
and )d op function examples
ElementaryFunction now has regression test cases, a help page,
and )d op function examples
IntegerCombinatoricFunctions now has regression test cases, a help page,
and )d op function examples
LazardSetSolvingPackage now has regression test cases, a help page,
and )d op function examples
The regression tests now conform to the new, stronger
regression test requirements
Volume 12: Axiom Crystal
Add Gelernter's observations on Layout and Linking
Bug fixes
7191: set system-directory dynamically (20090413.03.tpd.patch)
7192: )edit now works because SPADEDIT added (20090414.02.tpd.patch)
7197: fix hyperdoc/graphics failure (20090530.01.tpd.patch)
Makefile changes
Top Level Makfile
The BOOKS environment shell variable was added to ENV
Makefile.slackware chunk exists
Makefile reports regression failures after builds
lsp/Makefile
Build tangle into the lisp image
src/Makefile
Copy bookvol9, the compiler, to src/interp at build time
src/algebra/Makefile
Add Bezier package
Add LazardSetSolvingPackage.help
Add MatrixCategory.input, .help
Add help, regress for ElementaryFunction
Add input, help, examples for SparseMultivariateTaylorSeries
Fix LazardSetSolvingPackage typo
Move egrep to grep -E since egrep might not be installed
Move help to bookvol5
src/doc/Makefile
Move help to bookvol5
src/input/Makefile
Add FRAC regression test
Add unittest* files for regression testing non-algebra changes
Change input files to latex tangle
Fix regress format to conform to the new, improved regression testing
src/interp/Makefile
Build bookvol9, the compiler from book sources
The old gclweb code was rewritten into tangle.lisp, gclweb was removed
Move help to bookvol5
More interpreter code was moved to bookvol5, the interpreter
Debugsys has been updated to stop loading deleted files
Several files were merged, rewritten, and removed:
apply.boot, bootlex.lisp, comp.lisp, compiler.boot, cstream.boot,
def.lisp, i-util.boot, incl.boot, int-top.boot, metalex.lisp,
nci.lisp, parse.boot, parsing.lisp, postpar.boot, preparse.lisp,
server.boot, setq.lisp, sockio.lisp, spad.lisp, spaderror.lisp,
util.lisp, vmlisp.lisp
faq
faq 50: Cannot find libXpm.a
readme
Add Michael Becker to credit list
books/
tangle.lisp lisp version of tangle command
ps/v71mar2009.ps hypertex march 2009 release notes pic
ps/v71releasenotes.ps hypertex what's new page pic
src/interp
Rewrite apply.boot to apply.lisp
Regression tests, regress.lisp, now checks for the "of NN" phrase
src/algebra
Add Bezier package to exposed.lsp
src/axiom-website
Add March 2009 column
Add slackware column
Axiom on Windows as html instructions
Add March release notes
Add binaries
src/doc/
Add chunk environment to axiom.sty
Old book sources were removed
The spadhelp file was removed and added to the interpreter book
src/input/
All of the .input files were modified to use latex tangle
src/scripts/tex/
axiom.sty contains new latex macros
zips
Old GCL versions were removed
gcl-2.6.8pre.tgz removed
gcl-2.6.7.tgz removed
Powered by Savane 3.14-6db8.
Corresponding source code