newsAxiom Computer Algebra System - News: May 2009 release

 
 
Latest News
May 2009 release posted by axiom, Sun 31 May 2009 09:13:22 PM UTC - 0 replies
Axiom November 2008 Release posted by axiom, Tue 25 Nov 2008 02:56:12 AM UTC - 0 replies
Additional Axiom web sites posted by billpage1, Wed 08 Sep 2004 02:57:46 AM UTC - 0 replies
Axiom Sources Available posted by axiom, Fri 29 Aug 2003 03:34:20 PM UTC - 0 replies
Homepage updated posted by axiom, Tue 03 Dec 2002 04:46:17 AM UTC - 0 replies
[Submit News]
[8 news in archive]

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

Comments:

No messages in May 2009 release

 

Back to the top


Powered by Savane 3.1-cleanup