Axiom Computer Algebra System

The Scientific Computation System

### August, 2014 Release Notes

Jump to next older release

    August 2014 release notes

    This release moves Axiom to the latest GCL version.
    All unused prior versions were removed.

    Most of the work involved in this release has involved CATS,
    working with Albert Rich to develop Axiom tests.

    Noweb was removed. Axiom now uses its own literate tools.

    The databases are no longer compressed.

    Volume 13: Proving Axiom Correct was started

    Makefile.pamphlet
       VERSION = August 2014
       TESTSET defaults to regresstests
       fix missing dvipdfm
       remove noweb

    book/
       new directory containing axiom-developer emails
       reduce and categorize emails for history
       create timeline of people joining/leaving

    books/
       axiom.sty
          document
          remove all other sources
          add additional macros
       axbook.tgz
          fix sinCosExpandRules
       dvipdfm.def
          added
       tanglec.c
          new C function to handle chunks
       tangle.lisp
          add fastxhtml extraction from bookvol11
       extract (rename from document)
          support new chunk syntax
       ps/
          move .ps to .eps
          add new images

    books/Makefile
       handle bookheader.tex
       fix broken sed regular expression
       add bookvol13 (Proving Axiom Correct)

    books/bookheader.tex
       user underline, colored links
       standardize headers, table of contents

    books/bookvol0 (Jenks)
       add condata for MAGCDOC
       add graphics, fix typos, add text

    books/bookvol1 (tutorial)
       use bookheader.tex
       fix typos

    books/bookvol2 (users guide)
       use bookheader.tex
       add category theory chapter
       remove noweb

    books/bookvol3 (programmers guide)
       use bookheader.tex
       remove noweb

    books/bookvol4 (developers guide)
       use bookheader.tex
       section on changing GCL versions
       document makeHelpFiles
       remove autoload files
       remove noweb
       add HACKPI section

    books/bookvol5 (interpreter)
       use bookheader.tex
       fix GETL for GCL
       add Attributes as Categories
       add Comparable
       add LeftOreRing
       add U32Matrix support macros
       add bc-matrix code
       add support code for U8Vector
       add support code for U32Vector
       add support code for U8Matrix
       add support code for U16Matrix
       add U32VectorPolyunomialOperations
       expose FiniteFieldFactorization
       expose MAGCDOC
       expose MatrixManipulation
       rename functionp to canFuncall?
       incremental rewrite of br-con.lisp
       merge ht-util.lisp

    books/bookvol6 (commands)
       use bookheader.tex

    books/bookvol7 (hyperdoc)
       apply Camm's patches
       remove bibliography
       standardize the table of contents
       update credits
       use bookheader.tex

    books/bookvol7.1 (hyperdoc pages)
       standardize the table of contents
       update What's New Page
       update credits
       use bookheader.tex

    books/bookvol8 (graphics)
       apply Camm's patches
       convert bookvol8 from noweb to chunks
       remove crc test cases
       standardize the table of contents
       update credits
       use bookheader.tex
       remove noweb

    books/bookvol8.1 (graphics gallery)
       add CRC standard test cases, section 2.3-2.9

    books/bookvol9 (compiler)
       use bookheader.tex
       functionp -> canFuncall?

    books/bookvol10 (algebra implementation)
       absorb src/algebra/Makefile
       use bookheader.tex

    books/bookvol10.1 (algebra theory)
       add interval arithmetic
       add section on interpolation formulas
       use bookheader.tex

    books/bookvol10.2 (categories)
       AGG bug fixed 40355
       CLAGG bug fixed 40021
       MONAD bug fix 40350, add 7236
       ORDSET bug fix 40346
       PTRANFN bug fixed 40357
       REAL bug fix 40345
       add Attributes as Categories
       add Comparable
       add LeftOreRing
       add MAGCDOC
       add enumerate to FINITE
       add matrix initializer function
       fix failing test cases
       fix help documentation and regression tests
       use bookheader.tex
       write help documentation for all categories
       FiniteSetAggregate subset? fixed
       BinaryTreeCategory remove finiteAggregate, bug fix 7255

    books/bookvol10.3 (domains)
       AFFSP bug fix 30230, 20495; introduce 60076
       BLAS1 bug fixed 40304
       CHAR bug fix 40022
       DFLOAT bug fix 20073, add 20570
       DFLOAT bug fixed 40019
       FPS bug fixed 40013
       INBFF bug fixed 20465, add 20571
       INTRVL bug fix 20480, 30143
       ITAYLOR bug fix 20542 pretend
       LIST bug fix 20063, add, add 20569
       MLIFT bug fix 20001, add 20568
       OPTPROB bug fix 40347
       RNUMP removed bug fix 30047
       SINT bug fix 20057 pretend
       SMTS bug fix 20383, 50005, add 20567
       SYMBOL bug fix 20056 pretend
       add U16Matrix
       add U16Vector
       add U32Matrix
       add U8Matrix
       add U8Vector
       add information to SingleInteger
       SEXOF bug fix 20501
       fix failing test cases
       fix help documentation and regression tests
       move EFULS EFUPXS from package to domain
       update U32Vector domain
       use bookheader.tex
       write help documentation for all domains

    books/bookvol10.4 (packages)
       ATTREG bug fix 40362
       ELTAB bug fix 40360
       FSPECF bug fix 7235, 40077
       GRAY bug fixed 20467
       MAPPKG1 bug fix 40351
       MSYSCMD bug fix 40359
       SOLVERAD bug fix 40043
       SREGSET bug fix 50001
       add FiniteFieldFactorization
       add MatrixManipulation, add Raoul Bourquin
       add U32VectorPolynomialOperations
       apply Waldek's changes to imposelc in PGCD
       comment out bad code in GUESS
       document htrigs function in TRMANIP
       expand hyperbolic identities
       bug fix "bad reduction" in multivariate poly gcd
       bug fix ++X function example in gcd
       bug fix OUT.spad warning (bug 329)
       bug fix failing test cases
       bug fix help documentation and regression tests
       move EFULS EFUPXS from package to domain
       use bookheader.tex
       write help documentation
       add reportInstantiations to API package

    books/bookvol10.5 (numerics)
       add netlib cephes function covers
       use bookheader.tex

    books/bookvol11 (browser)
       use bookheader.tex
       remove noweb

    books/bookvol12 (crystal)
       remove noweb

    books/bookvol13 (proving axiom correct)
       created

    books/bookvolbib (bibliography)
       add references and abstracts
       add subsection Ore Rings
       add subsection Partial Fraction Decomposition
       add subsection Integration
       add subsection Expression Simplification
       add subsection Differential Equations
       add subsection Advanced Documentation
       add subsection Numerics
       add subsection Interval Arithmetic
       add subsection Proving Axiom Correct
       add subsection Category Theory
       add subsection Polynomial GCD
       add subsection Exponenetial Integral
       add subsection Special Functions
       add subsection Numerical Algorithms
       add subsection Solving Systems of Equations

    buglist
       MLIFT fix 20001, add 20568
       AGG fixed 40355
       ATTREG fix 40362
       BLAS1 fixed 40304
       CHAR fix 40022
       CLAGG fixed 40021
       DFLOAT fix 20073, add 20570
       DFLOAT fixed 40019
       ELTAB fix 40360
       FPS fixed 40013
       FSPECF fix 7235, 40077
       GRAY fixed 20467
       INBFF fixed 20465, add 20571
       INTRVL fix 20480, 30143
       ITAYLOR fix 20542 pretend
       LIST fix 20063, add, add 20569
       MAPPKG1 fix 40351
       MONAD fix 40350, add 7236
       MSYSCMD fix 40359
       OPTPROB fix 40347
       ORDSET fix 40346
       PTRANFN fixed 40357
       REAL fix 40345
       SINT fix 20057 pretend
       SMTS fix 20383, 50005, add 20567
       SOLVERAD fix 40043
       SREGSET fix 50001
       SYMBOL fix 20056 pretend
       fix bug 7072/19 D(0^z, z) closed
       fix bug 7248: differentiation fix bug in D(1,z)
       fix bug 7249: radicalSolve(z^7=1, z)
       fix bug 7249: radicalSolve(z^7=1, z) update
       fix bug 7251: integrate(1/(1+z^4), z=0..1) :: Complex Float
       fix bug 7252: argument(-%i)
       fix bug 7253: There are no library operations named 'when'
       fix bug 7254: f==n+->sum(sum(1/i,i=1..j),j=1..n) complains
       fix bug 7256: acot(-1) values differ
       fix bug 7257: normalize(subst(asin(z),z=-1)) division by zero
       fix bug 7258: acosh(0.0) invalid argument to acosh
       fix bug 20501, SEXOF pretend, 30047 RNUMP
       fix bug 30230, 20495; introduce 60076
       fix bug 7236
       fix bug 329, add todo 330
       remove dead items
       remove error message for deleted files
       add 7142 exp^log(x) Cannot take first of an empty list update
       add 7233: fill! operation from U8Vector does not show up
       add 7242/7243
       add 7244, 7245
       add bug 7241, fix the integration routines
       add bugs found in tests
       add kamke4, kamke6 missing bug
       add todo 335: add packages to )d op gcd
       add 7232
       wish 1011: sum(1/(k+a), k=1..n) by Gosper's method

    Wikipedia
       en.wikipedia.org/wiki/Axiom_(computer_algebra_system) update date
       en.wikipedia.org/wiki/List_of_computer_algebra_systems update date

    faq
       remove noweb
       fix mailing list links

    readme
       add Edi Meier
       add Edi Meier
       add Jia Zhao Cong
       add Raoul Bourquin
       update credits

    src/Makefile
       clean up src/algebra properly
       convert bookvol8 from noweb to chunks
       fix {OUT} bug
       handle special case files for bookvol11
       rename tangle.c to tanglec.c
       pamphlet extract src using chunk syntax
       pamphlet modified, noweb removed

    src/algebra/Makefile
       add Comparable
       add FINITE-
       add LeftOreRing
       add MatrixManipulation
       add U16Matrix
       add U32Matrix
       add U32VectorPolynomialOperations
       add U8Matrix
       add fastxhtml extraction call
       add machinearithmetic.input
       compile FiniteFieldFactorization
       compile MAGCDOC
       fix failing test cases
       set up regression tests
       update graph info for OUT
       modified, noweb removed

    src/algebra/libdb.text
       add Attributes as Categories

    src/axiom-website/
       AxiomConference.pdf added
       axiom.sty
       CATS/
          charlwood.input added
          rich* added
          kamke*.txt added
       books/
          add 8.1, 10.5, bibliography
          add bookvol13
       community/
          fix mailing list links
       documentation.html
          add AxiomConference.pdf
          add Bottorff quote
          add Knuth quote, cleanup
          add Lamport quote
          add McNamara quote
          add Stroustrop quote
          add W.T. Gowers quote
       download.html
          add binaries
          add texlive-fonts-extra
       patches.html
          add patches
       releasenotes.html
           update for August 2014

    src/booklets
       Makefile cleanup

    src/clef
       Makefile rename tangle to tanglec
       edible.c modified, noweb removed

    src/doc
       export endpaper as pdf
       remove axiom.bib
       rename tangle to tanglec
       use books/axiom.sty
       remove noweb
       booklet.c fix mailing list, remove noweb
       msgs/
          s2-us.msgs remove .as extension from compiler msg

    src/etc
       Makefile remove noweb
       asq.c remove noweb

    src/input/
       Makefile add input tests for
          charlwood, cherry, functioncode, machinarithmetic,
          pgcd, polygamma, rich*, romanpolynomials, rsa, segletes
          exptest, subset, tree, trigtests
       Makefile remove noweb
       add many tests

    src/interp
       Makefile
          remove noweb
          remove autoload of ht-util
          remove bc-matrix
        bc-matrix.lisp removed
        br-con.lisp move to bookvol5
        debugsys cleanup
        g-timer.lisp RNUMP removed
        g-util.lisp functionp -> canFuncall?
        g-util.lisp remove functions
        ht-util.lisp deleted, merged with bookvol5
        i-coerce.lisp functionp -> canFuncall?
        i-funsel.lisp remove functions
        i-spec2.lisp. functionp -> canFuncall?
        interp-proclaims.lisp functionp -> canFuncall?
        regress.lisp improve diff output
        sys-pkg.lisp RNUMP removed
        temp.text deleted
        util.lisp functionp -> canFuncall?
        util.lisp remove autoload of ht-util
        util.lisp remove autoload trigger functions
        util.lisp remove bc-matrix autoload triggers
        util.lisp remove compression
        vmlisp.lisp RNUMP removed

    src/scripts
       Makefile remove noweb
       boxhead removed
       boxtail removed
       boxup removed
       document -> books/extract
       showdvi removed
       tex/
          axiom.sty removed

    src/share
       Makefile remove noweb
       algebra/compress removed
       algebra/browse, category, dependents, interp, operations, users
          add Attributes as Categories
          add LeftOreRing
          enumerate to FINITE
          no compression
          updated
       doc/
          hypertex/pages/util.ht deleted, unused

    src/sman
       Makefile cleanup

    zips/
       axiom.vim.tgz vim syntax file added
       gcl-cgywin.tgz added
       noweb-2.10a.tgz deleted, noweb removed
       noweb.* deleted, noweb removed
       all unused patches and versions of gcl deleted

### May, 2012 Release Notes

Jump to next older release
Jump to newer release

    May 2012 release notes

    The primary work of this release is developing the BLAS1 domain.
    This is a subtask of developing native BLAS and LAPACK support.
    These are all checked and tested against the original fortran code.

    Makefile.pamphlet
       VERSION = March 2012
       add <> to all stanzas
       add ubuntu64 with 64 bit patch
       move to GCL Version gcl-2.6.8pre7

    books/bookvol10.3
       change HASHEQ to SXHASH

    books/bookvol10.4
       add Frederick H. Pitts to credits
       add LAPACK contributors

    books/bookvol10.5
       BLAS1 daxpy dcopy ddot dnrm2 drot drotg dscal dswap dzasum dznrm2
             icamax idamax isamax izamax zaxpy
       add LAPACK reference code
       add missing lapack routines

    books/bookvol5
       add Frederick H. Pitts to credits
       add LAPACK contributors
       fix parsing for 64 bit systems
       reset si::*system-directory* to the null string

    books/bookvol7.1
       update What's New Page

    books/bookvolbib
       BLAS1 drotg references
       add paper references
       fix typo
       update references

    books/bookvolbib.bib
       BLAS1 drotg references
       add LAPACK bibtex reference
       update references

    books/ps/
       v71mar2012.eps added
       v71releasenotes.eps add release notes

    faq
       add FAQ 53: Axiom won't build on Fedora
       fix FAQ 22: How do I check out the latest source?

    lsp/Makefile.pamphlet
       move to GCL Version gcl-2.6.8pre7

    readme
       Frederick H. Pitts
       add LAPACK contributors

    src/algebra/Makefile
       fix MYUP, etc

    src/axiom-website/download.html
       add debian binary
       add ubuntu
       update download list
       update download table

    src/axiom-website
       releasenotes.html

    src/input/Makefile
       add cohen.input
       add example of spad code
       add simplify.input

    src/input
       clements.input add example of spad code
       cohen.input Joel Cohen algebra example
       simplify.input added from sci.math.symbolic

    src/interp
       buildom.lisp: change HASHEQ to SXHASH
       sys-pkg.lisp: remove HASHEQ

    zips/
       gcl-2.6.8pre7.h.linux.defs.patch port to pre7
       gcl-2.6.8pre7.o.read.d.patch port to pre7
       gcl-2.6.8pre7.tgz lisp fixes from Camm Maquire
       gcl-2.6.8pre7.unixport.init_gcl.lsp.in.patch port to pre7
       gcl-2.6.8pre7.unixport.makefile.patch port patch to pre7

### March, 2012 Release Notes

patch list
Jump to next older release
Jump to newer release

    March 2012 Release

    A new volume, Volume 8.1, the Axiom Gallery shows examples of Axiom
    graphics. These are test cases being collected to show capabilities
    of the graphics subsystems.

    One of the outstanding graphics bugs was 7217 which gave odd values
    for graphics labels. This was fixed by picking up Waldek's patch for
    coercion to InputForm. This had the unfortunate side effect that a
    large number of Axiom's 35,000 test cases needed to be updated.

    A particularly interesting article on Literate Programming and
    Reproducible Research was published in the Journal of Statistical
    Software and was added to the documentation page.
    (http://www.jstatsoft.org/v46/i03/paper)

    There are two new commands, )tangle and )regress.

    A new function, getAncestors was added to the API domain.

    The buglist was published and several bugs were added.

    New references to Axiom were added to the bibliography, including
    Dav12, Jen79, Dav80

    Several people contributed to this release, including James Davenport,
    Mark Clements, George Legendre, and Waldek Hebisch

    bookvol5.pamphlet
       add )tangle and )regress commands

    bookvol10.4.pamphlet
       add Mark Clements, George Legendre
       fix 7217 bugs

    books/bookvol5
       add Mark Clements, George Legendre
       fix 7217 bugs

    books/bookvol8.1
       A new volume, the Axiom Gallery, showing example graphics

    books/bookvolbib
       add additional Axiom literature references

    books/ps/
       add v81* for graphics gallery

    readme
       add Mark Clements, George Legendre

    src/algebra
       Makefile fix GUESS, clique1, and clique2 handling

    src/axiom-website/
       add jstat article

    src/input/
       add testpackage.input
       update pasta.input graphics test cases
       fix 7216 bugs

### January 27, 2012 Release Notes

patch list
Jump to next older release
Jump to newer release

    January 2012 Release

    The Jenks book was updated by adding appendix E, and the
    graphics images from the center of the book.

    These people were added to the credits list:
       Guilherme Reis, Michael Albaugh, Roger House to credits

    Literate documentation was added to the book 9, the compiler
    The axiomgraphs were created for the compile command and the parser.

    The website was updated with several changes including a global
    rewrite of the color and fixes for broken links.

    Treeshaking of the compiler and interpreter code continues.

    Work was done but not completed to move to GCL-2.6.8pre6

    bookvol0.pamphlet
       add Appendix E
       add graphics images from middle of book

    bookvol10.4.pamphlet
       add Guilherme Reis, Michael Albaugh, Roger House

    books/bookvol5
       localize function names
       treeshake interpreter
       add Guilherme Reis, Michael Albaugh, Roger House

    books/bookvol9
       add comment graphs
       code cleanup
       localize function names
       treeshake and document compiler

    books/bookvolbib
       add additional Axiom literature references

    books/ps/
       add v0hroot.eps, v0hyper.eps, v0page1.eps, v0page2.eps, v0page3.eps
       add v0page4.eps, v0page5.eps, v0page6.eps, v0page7.eps, v0page8.eps
       v9CommentRecording.eps comment recording chapter
       v9CommentSyntaxChecking.eps comment syntax chapter
       v9comdefine.eps document compiler
       v9compiler.eps document compiler

    readme
       add Guilherme Reis, Michael Albaugh, Roger House

    src/algebra
       Makefile fix autoload

    src/axiom-website/
       global background color change to ECEA81
       axiom.png make background transparent
       books.html fix broken links
       litprog.html fix argument count
       litprog.html note HTML escape code flaw

      /axiomgraph/
         axiomgraph.tex literate form of js
         index.html add graphs

      /axiomgraph/js
         arbor.js add graphs
         axiomcode.js add graphs, parse tree, default compiler
         jquery-1.7.1.js add graphs

      /axiomgraph/maps/
         algebra.json add graphs
         comment.json update comment
         add compile.json for the compile command
         add compiler.json for the compiler
         add dstruct.json for data structures
         add funsel.json for function selection
         nine.json for global compiler
         parse.json for parser

      /axiomgraph/style/
         axiomgraph.css change background
         axiomicon.png add icon

      /hyperdoc
         change page background color

    src/doc/
       axiom.sty fix comments

    src/input/
       Makefile add i2e.input
       i2e.input demo InputForm to Expression(Integer)
       pasta.input graphics test cases

    src/interp
       br-con.lisp localize function names, treeshake compiler
       cattable.lisp treeshake compiler
       ht-util.lisp localize function names
       i-funsel.lisp treeshake compiler
       parsing.lisp localize function names, treeshake compiler
       patches.lisp localize function names
       util.lisp treeshake compiler
       vmlisp.lisp localize function names, treeshake compiler

    src/scripts/tex/
       axiom.sty fix comments

### November 30, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    November 2011 Release

    Treeshaking the interpreter and compiler continues and a few more files
    were merged and removed.

    Several books and Makefiles were converted to use lisp tangle rather
    than noweb. This is part of the general process to remove noweb.

    Global function rewrites continue, including removing GETREFV and makeprop.

    Work was done to improve OpenMath support. The OpenMath semantics CDs were
    added and the OpenMath parser was enhanced.

    More effort was put into literate work. In particular, an example of a
    literate program using HTML was created and presented at the Clojure/Conj
    conference.

    books/Makefile
       removed noweb, move to lisp tangle
       fix missing index files on PDfs

    books/tangle.lisp
       fix .input file algebra extraction

    books/bookvol10.2
       missing/unused function cleanup
       remove makeprop
       remove noweb, move to lisp tangle

    books/bookvol10.3
       remove GETREFV
       remove makeprop
       remove noweb, move to lisp tangle

    books/bookvol10.4
       remove noweb, move to lisp tangle

    books/bookvol10.5
       remove noweb, move to lisp tangle

    books/bookvol4
       missing/unused function cleanup
       remove makeprop

    books/bookvol5
       OpenMath support
       add OpenMath stubs
       missing/unused function cleanup
       remove makeprop
       remove noweb, move to lisp tangle
       treeshake interpreter

    books/bookvol7.1
       fix documentation
       update What's New Page

    books/bookvol9
       missing/unused function cleanup
       remove makeprop
       treeshake and merge c-doc.lisp

    books/bookvolbib
       Axiom OpenMath references
       add additional references
       add references

    books/ps/
       v71releasenotes.eps add release notes
       v71sept2011.eps added

    src/algebra/Makefile
       fix .input file algebra extraction
       remove noweb, move to lisp tangle

    src/axiom-website/documentation.html
       add Alexander quote
       add Knuth quote
       add litprog.html
       add quote

    src/axiom-website/download.html
       update to latest release

    src/axiom-website/litprog.html
       added
       add quote
       literate program example update

    src/interp/Makefile
       remove apply.lisp
       remove c-doc.lisp
       remove noweb, move to lisp tangle
       remove nruntime.lisp

    src/interp
       apply.lisp removed, merged with bookvol9
       buildom.lisp remove GETREFV
       c-doc.lisp removed
       c-util.lisp missing/unused function cleanup
       category.lisp remove GETREFV
       functor.lisp missing/unused function cleanup, remove GETREFV
       g-util.lisp missing/unused function cleanup
       i-eval.lisp remove nruntime.lisp
       i-spec1.lisp treeshake interpreter
       i-spec2.lisp fix AN has sqrt: % -> %
       i-spec2.lisp remove makeprop
       nruncomp.lisp remove GETREFV, treeshake compiler
       nrungo.lisp remove nruntime.lisp, treeshake interpreter, remove GETREFV
       nruntime.lisp removed
       parsing.lisp remove makeprop
       sys-pkg.lisp missing/unused function cleanup, remove GETREFV, makeprop
       template.lisp remove GETREFV
       vmlisp.lisp missing/unused function cleanup, remove GETREFV, makeprop

    zips
       add cds.tar.gz OpenMath support. add OpenMath CDs

### September 29, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    September 2011 Release

    This release continues the task of treeshaking the compiler and
    interpreter. Nine files were merged and removed. In addition,
    several passes were made for code cleanup.

    The Symbolic Ito Calculus package is being added, starting with the
    BasicStochasticDifferential and  StochasticDifferential domains.
    More work remains to be done.

    The GUESS package is being upgraded.

    James Cloos and Wilfrid Kendall were added to the credits.

    books/bookvol10.3
      add BasicStochasticDifferential and  StochasticDifferential
      remove pairp
      start upgrade of GUESS package

    books/bookvol10.4
      remove packageTran

    books/bookvol10.5
      add StochasticDifferential

    books/bookvol5
      add BasicStochasticDifferential domain
      merge nocompil.lisp, as.lisp, nci.lisp
      treeshake interpreter
      remove pairp, ncParseAndInterpretString, packageTran
      use qc(ad)r forms

    books/bookvol7
      merge nocompil.lisp

    books/bookvol7.1
      update What's New Page

    books/bookvol9
      remove pairp, isPackageFunction
      treeshake compiler
      use qc(ad)r forms

    books/bookvolbib
       add Kendall Ken99a, Ken99b literature references to Axiom

    books/ps/
      v103basicstochasticdifferential.ps added
      v103stochasticdifferential.ps added
      v71july2011.eps
      v71releasenotes.eps add release notes

    src/algebra/Makefile
      BasicStochasticDifferential domain
      add StochasticDifferential
      remove upper GUESS package code

    src/axiom-website/download.html add Gentoo notes by James Cloos
    src/axiom-website/download.html add ubuntu

    src/axiom-website/releasenotes.html

    src/doc/axiom.sty
      fix defplist

    src/input/Makefile
      document finite field bug
      respect the BUILD=fast variable value

    src/input/
      fix broken tests in axiom, cmds, setcmd, unittest1, unittest2
      ffieldbug.input: added

    src/interp/Makefile
      remove as.lisp, compiler.lisp, database.lisp, define.lisp, foam_l
      remove g-opt.lisp, nci.lisp, package.lisp, ax.lisp

### July 28, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    July 2011 Release

    The prior release had a bug that caused it to remember the build location.
    This was a change introduced by the underlying lisp. This was fixed.

    This release continues treeshaking the compiler.
    The modemap.lisp file has been merged and no longer exists.

    This release continues to treeshake the interpreter.
    The axext_l.lisp file has been removed.

    Makefile.pamphlet
      add BUILD=full / BUILD=fast switch

    Book Volume 5 (Interpreter)
      treeshake interpreter

    Book Volume 9 (Compiler)
      treeshake compiler

    Book Volume 10.3 (Domains)
      help and unit tests for RewriteRule

    axiom.sty
      add /refsdollar and /defsdollar for better cross references

    src/interp/Makefile
      add (si::reset-sys-paths) per Camm
      remove axext_l aldor support file
      remove modemap.lisp

### May 27, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    May 2011 Release

    This release involved more work treeshaking of the compiler and
    interpreter. Argument naming conventions were normalized to improve
    the documentation and clarity.

    Time was spent proofreading the books and reducing or eliminating
    latex warnings. Missing index files were fixed and errors in the Jenks
    book were fixed.

    The website has been updated to make Arthur Ralf's book available
    from every page. The website is being rewritten to be IPv6 enabled.

    Doug Telford was added to the credits.

    Book Volume 0 (Jenks book)
      proofread to chapter 1 (pdf page 86)
      replace "operator over" by "operate over"
      set textlength 400
      port changes to Arthur Ralfs HTML version

    Book Volume 1 (Tutorial)
      proofread and copyedit
      set textlength 400
      update HTML image

    Book Volume 2
      set textlength 400

    Book Volume 3
      set textlength 400

    Book Volume 4
      set textlength 400

    Book Volume 5 (Interpreter)
      add Doug Telford to credits
      set textlength 400
      treeshake interpreter

    Book Volume 6
      set textlength 400

    Book Volume 7 (Hyperdoc)
      set textlength 400

    Book Volume 7.1 (Hyperdoc pages)
      set textlength 400
      update What's New Page
      ps/v71mar2011.eps
      ps/v71releasenotes.eps add release notes

    Book Volume 8
      set textlength 400

    Book Volume 9 (Compiler)
      normalize argument names to top level functions
      treeshake compiler

    Book Volume 10
      set textlength 400

    Book Volume 10.1
      set textlength 400

    Book Volume 10.2 (Categories)
      set textlength 400

    Book Volume 10.3 (Domains)
      set textlength 400

    Book Volume 10.4 (Packages)
      set textlength 400

    Book Volume 10.5 (Numerics)
      set textlength 400

    Book Volume 11
      set textlength 400

    Book Volume 12
      set textlength 400

    Biblography
      add several references
      set textlength 400

    readme
      add Doug Telford to credits

    website
      set up IPv6 address range
      download.html add binaries
      bugreport.html add bug reporting instructions

      The website now has an online version of the Jenks book which is a
      link to Arthur Ralf's HTML version. This has been updated with the
      proofreading changes for the latex version.

         *.html add online book link to Arthur Ralfs HTML version
         hyperdoc/axbook/ps/h-root.png port changes
         hyperdoc/axbook/section-0.1.xhtml, section-0.6.xhtml, section-0.7.xhtml

    Makefiles
      books/Makefile fix missing index
      books/Makefile set textlength 400

    Testing
      Makefile add davis.input
      Makefile add erf.input
      Makefile bug report regression test
      davis.input
      erf.input add examples of erf integration
      telford.input bug report regression test

    src/interp/
      define.lisp treeshake compiler
      parsing.lisp treeshake compiler
      vmlisp.lisp treeshake compiler

### March 28, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    March 2011 Release

    This release involved more work treeshaking the compiler.

    Book Volume 5 (Interpreter)
       add trapNumericErrors
       fixup seebook xrefs
       move numericFailure code for plot3d
       treeshake compiler
       treeshake compiler

    Book Volume 9 (Compiler)
       add seebook changes
       fix special declaration for lines in preparse1
       fixup seebook xrefs
       treeshake compiler

    Book Volume 10.3 (Domains)
       fix algebra ++ to --

    Biblography
       add Davenport [Dav10], [DSTxx]
       add Fateman [Fat05]

    tangle.lisp
       fix help file extraction

    src/scripts/tex/axiom.sty
       add \seebook

    src/interp/
     Makefile
        preload bookvol9
     g-util.lisp
        treeshake compiler
     parsing.lisp
        treeshake compiler
     util.lisp
        treeshake compiler
     vmlisp.lisp
        move numericFailure code for plot3d
        remove extra end{chunk}
        treeshake compiler

### January 30, 2011 Release Notes

patch list
Jump to next older release
Jump to newer release

    January 2011 Release

    This release involved more work treeshaking the compiler.
    There is a move to using lisp tangle rather than noweb notangle.
    Many of the latex error messages were fixed.

    books/Makefile
       move bookvol9 to lisp tangle
       move to lisp tangle
       reduce the noise during make

    books/bookvol5
       cleaning vmlisp
       convert to lisp tangle
       move to lisp tangle
       sort monitor results

    books/bookvol6
       move to lisp tangle

    books/bookvol7
       move to lisp tangle

    books/bookvol7.1
       move to lisp tangle
       update What's New page

    books/bookvol9
       cleaning vmlisp
       merge and remove newaux.lisp
       merge and remove postprop.lisp
       move to lisp tangle
       treeshake compiler

    books/bookvol10.3
       cleaning vmlisp

    books/bookvol10.4
       fixup IntersectionDivisorPackage chunk

    books/bookvol12
       add discussion of GTFL

    books/bookvolbib
       [Loe09], [Mar07], [Wei03], [Wei06], [Flo63], [Pra73]

    books/ps/v71nov2010.eps
       update What's New page

    books/ps/v71releasenotes.eps
       update What's New page

    src/Makefile
       move to lisp tangle

    src/axiom-website/download.html
       add ubuntu

    src/axiom-website/releasenotes.html
       add release notes

    src/input/Makefile
       clean up failing tests

    src/input/
       *.input add \setlength{\textwidth}{400pt}
       fix overfull boxes
       clean up failing tests
       fix long lines
       series.input -- add series to polynomial example
       unit-i-funsel.input -- removed

    src/interp
       Makefile convert bookvol5 to lisp tangle
       Makefile merge and remove newaux.lisp
       Makefile move to lisp tangle
       Makefile remove postprop.lisp
       src/interp/br-con.lisp cleaning vmlisp
       src/interp/compiler.lisp treeshake compiler
       src/interp/newaux.lisp remove newaux.lisp
       src/interp/postprop.lisp merged with bookvol9, removed.
       src/interp/regress.lisp handle "ok" on --S
       src/interp/vmlisp.lisp cleaning

### November 30, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    November 2010 Release

    This release concentrated on treeshaking the compiler code into book volume 9.
    Due to the complexity of this task it will take several releases to complete.

    Makefile
       automate making help files

    books/bookvol4
       documented debugging technique

    books/bookvol5
       document compiler related routines
       cleanup latex

    books/bookvol6
       added section on research ideas

    books/bookvol9
       treeshake compiler code
       document compiler code
       fix |special| bug
       merge and remove fnewmeta
       move meta code into bookvol9 from parsing.lisp

    books/bookvolbib
       Chee Keng Yap [Yap00], Chudnovsky and Jenks [CJ86], Eric Weisstein [Wein],
       David and Gregory Chudnovsky [Chu89], Jenks, [Jen69], Kaufmann [KMJ00],
       Linger [LMW79], Wester [Wes99]

    src/algebra/Makefile automate making input files

    src/doc
       axiom.sty collect all script commands in one place
       axiom.sty consolidate latex macros

    src/input
       setcmd.input clean up broken tests

    src/interp
       Makefile merge and remove fnewmeta

       apply, br-con, define, info, category, modemap, postprop  fix |special| bug
       vmlisp   fix |special| bug

       compiler, define, fnewmeta, g-boot, interp-proclaims, iterator, modemap,
       parsing, postprop vmlisp treeshake compiler

       fnewmeta.lisp removed

       i-output.lisp remove droptrailingblanks

       parsing.lisp cleanup and reformat

       vmlisp.lisp comment out plist assignments
       vmlisp.lisp remove droptrailingblanks
       vmlisp.lisp rename some fnewmeta variables
       vmlisp.lisp rename variables to remove underscores

    src/scripts/tex
       axiom.sty add defplist, usesstruct

    src/doc
       axiom.sty add defplist, usesstruct

    src/axiom-website/
       documentation.html add literate thinking quote

### September 25, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    September 2010 Release

    This release concentrated on treeshaking the compiler code into book volume 9.
    Due to the complexity of this task it will take several releases to complete.

    Additional global changes included collecting all of the Axiom-related
    latex macros into axiom.sty and removing references to Aldor.

    Makefile
      always run help extractions in parallel
      build src/input quietly

    books/bookvol0
       remove references to aldor

    books/bookvol1
       remove references to aldor

    books/bookvol5
       expose StreamTensor, U32Vector, U32VectorPolynomialOperations
       mark pure common lisp routines
       merge ptrop, varini
       move latex macros to axiom.sty
       remove POLYVEC
       remove compile, duplicated in vol9
       remove memq
       remove references to aldor
       treeshake
       remove $useNewParser

    books/bookvol7.1
       move latex macros to axiom.sty
       remove references to aldor
       rewrite \pagehead to \pagetitle

    books/bookvol9
       cross-reference functions and variables
       move latex macros to axiom.sty
       remove memq
       treeshake the compiler code
       remove $useNewParser

    books/bookvol10
       move latex macros to axiom.sty
       move GOPT0 from bookvol10.3

    books/bookvol10.1
       move latex macros to axiom.sty

    books/bookvol10.2
       move latex macros to axiom.sty

    books/bookvol10.3
       add U32Vector, move GOPT0 from bookvol10.4
       move latex macros to axiom.sty

    books/bookvol10.4
       add StreamTensor, U32VectorPolynomialOperations
       fix ScriptTensor regression test
       move latex macros to axiom.sty
       remove POLYVEC
       update Chinese Remainder documentation

    books/bookvol10.5
       move latex macros to axiom.sty

    books/bookvolbib
       Parnas & Madey [PM95], Parnas & Jin [PJ10], GCL92, AS64, NIST10, RF94,
       Hamdy [Ham04], Steele [Ste90], Tim Lahey's Sage Integration Test Suite

    books/ps/
       v103guessoptionfunctions0, v103u32vector, v104streamtensor,
       v104u32vectorpolynomialoperations, v104u32vectorpolynomialoperations

    src/algebra
       Makefile help and test for StreamTensor
       Makefile help and test for U32Vector
       Makefile remove references to aldor
       Makefile test and help for POLYVEC
       Makefile remove POLYVEC
       Makefile add help and test for new algebra
       Makefile handle case-insensitive MAC filesystem
       Makefile remove new algebra scaffolding code

    src/doc
       axiom.sty collect all script commands in one place
       axiom.sty consolidate latex macros

    src/input
       Makefile add guess.input, manuel.input, risch.input
       guess.input test examples of the GUESS package
       kamke3.input clean up broken tests
       manuel.input add Manuel's integral to test suite
       richlog300-391.input clean up broken tests
       richtrig800-899.input clean up broken tests
       risch.input illustrate the Risch algorithm
       setcmd.input clean up broken tests
       test.input clean up broken tests

    src/interp
       Makefile merge varini
       Makefile remove nspadaux, mark, pspad1, pspad2, ptrop, wi1, wi2
       *.lisp remove memq
       treeshake compiler -- br-con, cattable, compiler
       remove nspadaux.lisp, mark.lisp, pspad1.lisp, pspad2.lisp,
       remove ptrop.lisp, wi1.lisp, wi2.lisp
       add HTMLFormat code i-output.lisp, vmlisp.lisp

    src/scripts/tex
       axiom.sty collect all script commands
       axiom.sty consolidate latex macros

    src/axiom-website/
       documentation.html add Knuth quote per W. Sit
       download.html add debian, fedora, mandriva, opensuse, slackware, vector
       download.html update ubuntu yum advice

### July 24, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    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.

### May 29, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    May 29, 2010 release notes

    This release concentrated on adding new algebra.
    A new package was added for factoring over finite fields.
    A new volume Axiom Numerics was added, including BLAS and LAPACK in lisp.
    A new volume Axiom Bibliography was added for literature citations.
    GCL was upgraded, thanks to Camm Maquire.

    These people were added to the credits list:

      Nelson H. F. Beebe, Gaetan Hache, Bill Hart, Kaj Laurson,
      Patrice Naudin, Claude Quitte, Steve Toleque

    readme
      update credits list

    Makefile
      GCLVERSION gcl-2.6.8pre4 change
      clean books from src/algebra
      merge all fedoraN stanzas into fedora

    books/Makefile
      add Axiom Bibliography book
      add bookvol10.5 add Axiom Algebra Numerics

    books/bookvol4 Axiom Developers Guide
      document how to make graphs in algebra books
      document process to add new algebra
      document steps for adding algebra

    books/bookvol5 Axiom Interpreter
      add Naudin, Laurson, Hache to credits
      change .spad.pamphlet to just .pamphlet
      Add new algebra to exposure list
      fix )describe to accept abbreviations

    books/bookvol7.1 Axiom Hyperdoc Pages
      add mar2010 what's new page

    books/bookvol10.2 Axiom Categories
      add AFSPCAT  AffineSpaceCategory
      add BLMETCT  BlowUpMethodCategory
      add DIVCAT   DivisorCategory
      add DSTRCAT  DesingTreeCategory
      add INFCLCT  InfinitlyClosePointCategory
      add LOCPOWC  LocalPowerSeriesCategory
      add PACEXTC  PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory
      add PACFFC   PseudoAlgebraicClosureOfFiniteFieldCategory
      add PACPERC  PseudoAlgebraicClosureOfPerfectFieldCategory
      add PACRATC  PseudoAlgebraicClosureOfRationalNumberCategory
      add PLACESC  PlacesCategory
      add PRSPCAT  ProjectiveSpaceCategory
      add SETCATD  SetCategoryWithDegree

    books/bookvol10.3 Axiom Domains
      add AFFPL    AffinePlane
      add AFFPLPS  AffinePlaneOverPseudoAlgebraicClosureOfFiniteField
      add AFFSP    AffineSpace
      add BLHN     BlowUpWithHamburgerNoether
      add BLQT     BlowUpWithQuadTrans
      add DIV      Divisor
      add DSTREE   DesingTree
      add ICP      InfClsPt
      add INFCLSPS InfinitlyClosePointOverPseudoAlgebraicClosureOfFiniteField
      add INFCLSPT InfinitlyClosePoint
      add NSDPS    NeitherSparseOrDensePowerSeries
      add PACEXT   PseudoAlgebraicClosureOfAlgExtOfRationalNumber
      add PACOFF   PseudoAlgebraicClosureOfFiniteField
      add PACRAT   PseudoAlgebraicClosureOfRationalNumber
      add PLACES   Places
      add PLACESPS PlacesOverPseudoAlgebraicClosureOfFiniteField
      add PLCS     Plcs
      add PROJPL   ProjectivePlane
      add PROJPLPS ProjectivePlaneOverPseudoAlgebraicClosureOfFiniteField
      add PROJSP   ProjectiveSpace
      add UTSZ     UnivariateTaylorSeriesCZero
      document and test Interval

    books/bookvol10.4 Axiom Packages
      add AFALGGRO AffineAlgebraicSetComputeWithGroebnerBasis
      add AFALGRES AffineAlgebraicSetComputeWithResultant
      add BLUPPACK BlowUpPackage
      add DTP      DesingTreePackage
      add FACTEXT  FactorisationOverPseudoAlgebraicClosureOfAlgExtOfRationalNumber
      add FACTRN   FactorisationOverPseudoAlgebraicClosureOfRationalNumber
      add FFFACTSE FiniteFieldFactorizationWithSizeParseBySideEffect
      add FFSQFR   FiniteFieldSquareFreeDecomposition
      add GPAFF    GeneralPackageForAlgebraicFunctionField
      add INTDIVP  IntersectionDivisorPackage
      add INTERGB  InterfaceGroebnerPackage
      add INTFRSP  InterpolateFormsPackage
      add LISYSER  LinearSystemFromPowerSeriesPackage
      add LOP      LinesOpPack
      add LPARSPT  LocalParametrizationOfSimplePointPackage
      add NPOLYGON NewtonPolygon
      add PAFF     PackageForAlgebraicFunctionField
      add PAFFFF   PackageForAlgebraicFunctionFieldOverFiniteField
      add PARAMP   ParametrizationPackage
      add PFORP    PackageForPoly
      add PLPKCRV  PolynomialPackageForCurve
      add PRJALGPK ProjectiveAlgebraicSetPackage
      add RFP      RootsFindingPackage

    books/bookvol10.5 Axiom Numerics
      BLAS1 regress, help, and function documentation
      add BLAS1 dasum function
      add BLAS1 daxpy
      add BLAS1 dcopy

    books/bookvolbib Axiom Bibliography
      Buh05 DLMF Mah05 Sei95 Seixx Sch92 SCC92 WJST90
      Du95, Ga95, Ha95, Ha96, HI96, HL95, LR88, St93
      add Assia Mahboubi [Mah05]
      add Soren L. Buhl [Buh05]
      add citation SDJ07
      rename and align biblio with bookvol10.1

    faq
      FAQ 52: Who was User?

    lsp/Makefile.pamphlet
      GCLVERSION gcl-2.6.8pre4

    src/Makefile
      add Volume 10.5 Axiom Numerics
      change .spad.pamphlet to .pamphlet

    src/algebra/Makefile
      help and test files for all new algebra
      remove unused .as.pamphlet files
        axtimer.as, ffrac.as, herm.as, interval.as, invnode.as,
        invrender.as, invtypes.as, invutils.as, iviews.as,
        mlift.spad.jhd, ndftip.as, nepip.as, noptip.as, nqip.as,
        nrc.as, nsfip.as removed

    src/input/Makefile
      remove duplicate curl.input invocation
      add curry.input, davenport.input, liska.input, paff.input, zimmer.input
      fix biquat.input, chtheorem.input, chtheorem.input, cmds.input,
          complexfactor.input,dfloat.input, dftrig.input, dop.input,
          e1.input, ei.input, en.input, gamma.input, grpthry.input,
          gstbl.input, ico.input, numericgamma.input, test.input,
          unit-i-funsel.input, unittest1.input, unittest1.input,
          unittest2.input, unittest2.input

    src/interp/Makefile
      add Volume 10.5 Axiom Numerics

    src/share/algebra
      update browse.daase, category.daase, compress.daase, users.daase,
             dependents.daase, interp.daase, libdb.text, operation.daase

    zips
      gcl-2.6.8pre4.tgz added, fix for ubuntu 9.10
      gcl-2.6.8pre4.h.linux.defs.patch added
      gcl-2.6.8pre4.o.read.d.patch added
      gcl-2.6.8pre4.unixport.init_gcl.lsp.in.patch
      gcl-2.6.8pre4.unixport.makefile.patch

    src/axiom-website/documentation.html
      add Axiom Algebra Numerics
      literate programming quotes

    src/axiom-website/download.html
      add march 2010 ubuntu
      update available binary list

### March 29, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    March 29, 2010 release notes

    This release concentrated on treeshaking more code into the Interpreter
    volume. Support for )set break quit was added. Additional documentation
    was added for branch cuts and clifford algebras. The first draft of a
    new volume (10.5) on Numerics was added. An example of unicode was tested
    to fulfill the long-term goal of unicode I/O support.

    This release is an interim step in the process of merging the interpreter
    source code into a single volume. Due to the size and complexity of the
    task it will take several releases.

    Three people were added to the credits list:
       John P. Fletcher
       Nathaniel Daly

    The Axiom website was completely rewritten based on a new style css
    provided by Nate. This change was also made to axiom-developer.com.

    There is a new set option "set break quit" per Ralf Hemmecke.
    This will cause the interpreter to quit on failure. Documentation
    was added to the books.

    books/bookvol4 Axiom Developers Guide
       add )set break quit

    books/bookvol5 Axiom Interpreter
       add )set break quit
       add support for IndexedBits
       begin documentation of macex
       merge and remove lisp files from src/interp
       remove non-common lisp macros
       rewrite to common lisp functions

    books/bookvol7.1 Axiom Hyperdoc Pages
       add jan2010 what's new page
       books/ps/v71jan2010.eps added
       books/ps/v71releasenotes.eps updated for January 2010

    books/bookvol8 Axiom Graphics
       redefine R1 in view3D for ARM processor

    books/bookvol10 Axiom Algebra Implementation
       A new section on Elementary Functions branch cuts based on the
       Numerical Mathematics Consortium was added.

    books/bookvol10.1 Axiom Algebra Theory
       A new chapter on the Clifford algebra was added.
       A quote on quaternions from Altman was added

    books/bookvol10.3 Axiom Domains
       defstream function and KAFILE test bug fixed
       fix IndexedBits range error
       remove non-common lisp macros
       rewrite to common lisp functions

    books/bookvol10.4 Axiom Packages
       add Ted Kosan to credits
       fix broken credit test

    books/bookvol10.5 Axiom Numerics
       first draft of numerics volume

    faq
       FAQ 51: How can I do unicode in xterm?

    src/algebra/Makefile
       unit test IndexedBits

    src/input/Makefile
       add monitortest
       remove redundant kafile.input

    src/input/
       cachedf.input     fix tests for )set break quit
       kafile.input      redundant with KAFILE test, removed
       monitortest.input unit test monitor code
       pmint.input       add comments
       pmint.input       update pmint with code
       setcmd.input      add )set break quit
       textfile.input    --I out failing test
       unittest2.input   add Nate Daly to credits
       wester.input      reformat into regression test file

    src/interp
        remove compat.lisp, cparse.lisp, intint.lisp, macex.lisp,
               monitor.lisp, pf2sex.lisp, ptrees.lisp, serror.lisp

        remove MAKESTRING macro from all files

        remove non common lisp macros

        remove unused functions

        g-error.lisp add )set break quit
        htcheck.lisp add READLINE from compat.lisp
        nci.lisp pick up functions from intint
        patches.lisp move global variables to bookvol5
        posit.lisp move position functions to bookvol5
        util.lisp move global variables to bookvol5
        varini.lisp pick up functions from intint
        vmlisp.lisp add )set break quit
        vmlisp.lisp fix )set break resume bug
        vmlisp.lisp remove some define-functions

    zips
       utf-8-demo.txt added to demo utf-8 I/O

### January 23, 2010 Release Notes

patch list
Jump to next older release
Jump to newer release

    This release concentrated on treeshaking more code into the Interpreter
    volume. Ten files have been merged and removed. Call graphs were generated
    for all C code and added to the documentation. Several new functions were
    added, including flush, machineFraction, and integerDecode.

    This release is an interim step in the process of merging the interpreter
    source code into a single volume. Due to the size and complexity of the
    task it will take several releases.

    Volume 0: Jenks
      Lee Duhum fix typos

    Volume 1: Tutorial
      Lee Duham fix typos

    Volume 5: Interpreter
       )describe no longer needs cat, dom, pkg arg
       add Lee Duham to credits list
       add banner and cleanup globals
       add DoubleFloat trig macros
       support DFLOAT machineFraction, integerDecode
       do not set si::*system-directory* in restart
       fix )display all output bug
       merge fname.lisp, alql.lisp, i-syscmd, i-toplev, pathname.lisp
       merge daase.lisp, exposed.lsp

    Volume 7: Hyperdoc
       add call graph for ex2ht, htadd, hthits, hypertex, spadbuf

    Volume 8: Graphics
       add call graph for view2d, view3d, viewalone,  viewman

    Volume 10.2 Categories
      latex cleanup
      FileCategory add flush

    Volume 10.3 Domains
      DoubleFloat add dfloat machineFraction, integerDecode
      DoubleFloat rewrite doublefloat to use typed macros
      File add flush

    Volume 10.4 Packages
      document RepeatedSquaring
      fix API regression

    lsp/Makefile add compiler::link per Camm Maguire

    src/algebra
       remove exposed.lsp

    src/axiom-website
       add fedora 10 nov2009 build
       add nov2009 builds
       move CVS instruction to git
       axbook add Stack and Queue
       axbook fix typos

    src/input
       add ackerman to test function caching
       add dftrig to test DoubleFloat trig changes
       rewrite dfloat, dop, e1, ei, en, numericgamma using machineFraction
       r20bugs, setcmd, unittest1, unitest2 fix broken tests
       zimmbron fix typo in bibliography

    src/interp
       remove alql, cformat, daase, fname, i-sysmcd, i-toplev, intfile,
              pathname, packtran

    other src files
       add call graph information edible.c, asq.c
       src/doc/msgs/s2-us.msgs remove S2IZ0049D
       src/share/doc/msgs/s2-us.msgs removed

### November 24, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    The major changes are:
       A new )describe command, boot language removal, and more motion
       toward a fully literate system.

    The )describe command was added.

       The )describe function was added to Volume 5 (Interpreter)
       The )describe function was documented in Volume 2 (Users Guide)
       The Description field for the Categories, Domains, and Packages
       were cleanup up and reformatted in Volumes 10.2 (Categories)
       10.3 (Domains) and 10.4 (Packages)

    Boot Language removal

        All of the boot-converted lisp files were reformatted from their
        compiler generated output. These files are being merged into
        Volume 5 (Interpreter) and Volume 9 (Compiler) as appropriate.
        This work will continue for the next few releases.

        All or portions of the following files were merged into
        Volume 5 (Interpreter):
          astr, cstream.lisp, dq, incl, int-top, i-syscmd, msg, nci,
          obey, osyscmd, parini, patches, pile, scan

        The src/boot subdirectory is gone, including the files:
          Makefile, boot-proclaims, boothdr, bootload, btincl2, btpile2,
          btscan2, ccl-bootsys, ccl-depsys.lsp, exports.lisp, npextras, ptyout,
          tyextra, typars, typrops, tytree1, sys-pkg, vmlisp, ptrees, wi2

        The bootsys image is no longer part of the build process

    Patch ports from Fricas and Open-Axiom

        The Tuples patch was picked up and applied.

        The SXHASH function is the hash default in SetCategory

        The function ListOfTerms was renamed to listOfTerms

    Input file changes

        New input files have been added to show how to compute
        results using Axiom or to create regression tests for fixes:
          complexfactor, rubey, zimmbron, branchcut, cachedf, finitegraph,
          newtonlisp, nonlinhomodiffeq, distexpr, numericgamma, donsimple
          solveperf, tuplebug, unit-macro, testprob, unittest2

        lexp was removed and moved to the LEXP algebra file

        dop and gstbl had minor fixes

    New Help files and Function examples were added

        There are new help files:
          describe, AlgebraicallyClosedField, RationalFunctionSum,
          RadicalSolvePackage, PartialFractionPackage, Product,
          OrderedFreeMonoid

    Website update:

      The developer.html page was rewritten. An old Scratchpad group
      photo was added to the site.

      Work continues on re-hosting the axiom-developer.org domain.

      We now own axiom-developer.com and axiom-developer.net which will
      be retargetted to the new host as soon as it is available

    Interpreter changes:

        Axiom will sit in a single package in the near future.
        The VMLISP package was partially removed from the system.
        Work continues on this path.

        The util.ht file is created earlier in the parallel build
        so there are fewer compiler messages about documentation.

    Research:

        A Cohen algebra domain is being developed to enable symbolic
        manipulation of expressions with explanations and controlled
        simplification.

### September 26, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    A major project milestone has been achieved with this release.
    Axiom is implemented in lisp, removing all code in Boot.

    The major effort in this release has been the boot to lisp rewrite.
    There are several follow-on phases which are "in-process" but only
    partially complete with this release. These include:
      source cleanup -
        generating warning-free compiles which involves cleaning up the
        boot-to-lisp artifacts
      generating unit tests
        unit tests are being developed for each of the translated files to
        ensure that the rewrite does not introduce bugs
      file merge
        the individual files are being prepared to merge into the interpreter
        and compiler volumes.
      global variable handling
        the system uses many globals which are being either explained or
        rewritten to reduce coupling
      data structure extraction
        the various data structures used by the compiler and interpreter
        are being identified and explained
      API vs implementation
        the functions used externally vs the functions used internally are
        being identified
      code refactoring
        the generated lisp code is being rewritten into human form without
        changing the behavior

    The target goal is to have the code cleanly merged into the interpreter
    and compiler volumes in a logical way that form chapters related to function.

    Additional changes in this release include:

      Add Steven Segletes to credits. He was the author of the paper that
      supplied the coefficients for computing E1. He has contributed a later,
      unpublished paper which has more accurate coefficients. This is in-plan
      to implement.

      Barry Trager contributed an example of computing Shannon Matrices.
      This has been added to the input/regression suite.

      The .dvi files for the interpreter are no longer being built. The
      individual pamphlets will shortly disappear.

      Debugsys is no longer built. I am the only user of it and I can build
      it when needed.

      Bootsys is no longer built. It is no longer needed.

      The Makefiles now use the := rather than = assignment limiting re-evals

      Parallel Make is now the default since the documentation build is now
      independent of the interpreter build

### July 26, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    The syntactic conversion from the prior #1 form to the +-> form
    is complete except for the GUESS package. Both forms still work
    but the #1 form is discouraged.

    All algebra files from src/algebra are now in books.

    Work has concentrated on the hyperdoc browser.
      * The browser files which get autoloaded into the interpreter were
        merged and removed in preparation for being rewritten into book form.
      * Glossary files were missing from the build and were added.

    Work has started on a new CATS collection of verified algebraic identities,
    the tpiezas set. See http://sites.google.com/site/tpiezas

    Volume 5: Axiom Interpreter
      * set message autoload now defaults to off

    Volume 7 Axiom Hyperdoc
      * htsearch moved to $AXIOM/bin

    Volume 10.1 Axiom Algebra Theory
      * add chapter on quaternions

    Volume 10.3 Domains
      * Any now has regression and help files
      * MathMLFormat domain moved from Volume 10.4
      * TexFormat has regression and help files
      * TexFormat fix for horizontal fractions
      * Quaternion was added from src/algebra

    Volume 10.4 Packages
       * IntegerNumberTheoryFunctions fix divisors regression
       * Waldek's QUATCT2 algebra was added, including a help file,
         regression tests and command examples.

    Makefile
      * make help files in parallel
      * make xhtml pages in parallel
      * make books documentation in parallel

    interpreter
      * src/interp/i-output.boot fix horizontal fractions

    axiom-website
      * download.html add mandriva
      * download.html add may2009 binaries

    input files
      * ffdemo.input fix steps 27, 57 due to divisors change
      * numbers.input fix random zero failure
      * spline.input explain how to compute 2D splines
      * tpiezas001.input CATS tests of algebraic identities
      * tpiezas002.input CATS tests of algebraic identities

### May 30, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    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

### March 24, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    There were two major changes in this release.

    First is the completion of the first phase of Book Volume 10.4: Axiom
    Packages, which collects all of the packages into one document. The
    side effect is to remove almost all of the remaining algebra files
    leaving src/algebra nearly empty.

    Second is the start of Book Volume 5: Axiom Interpreter which will
    consolidate all of the interpreter functions and document them in
    book form. A side effect of this consolidation will be the ultimate
    removal of all boot code, with the further side effect of removing
    bootsys from the build step and boot translation time.

    While consolidating the interpreter code a parallel effort will be
    ongoing to build Book Volume 9: Axiom Compiler. The idea is to split
    the compiler code from the interpreter code so the compiler can be
    documented and upgraded.

    Book Volume 0: Axiom Jenks book
      Add )include documentation

        The original book did not document the )include command. This is
        now documented.

      Add UnivariateSkewPolynomial

        This domain was added to the domain examples

    Book Volume 4: Axiom Developers Guide
      Hyperdoc

        A Hyperdoc tutorial on making new pages was written

        A tutorial on spadhelp was added

    Book Volume 5: Axiom Interpreter
      Command Handling

        The top level commands that start with open parenthesis are all
        kept in the $setOptions data structure. This structure was documented.
        Each command has a handler routine which was integrated with the
        structure in the proper place.

      New latex macros

        The \defun and \defmacro macros were added to ensure that
        there is a uniform handling of subsections and cross references
        for all functions and macros.

        The \defdollar macro was added to handle $foo variables in
        both index and cross reference.

        The \cmdhead macro was added to provide uniform handling of
        each of the top level commands in the $setOptions data structure

      Unit testing

        To ensure that changes did not break behavior two new regression
        test routines were added, unittest1 and setcmd. These test the
        top level command behavior.

      Trace functions added

        The trace.boot code was added.

    Book Volume 7: Axiom Hyperdoc
      Documentation

        Add Scott Morrison's original hypertex plan notes

    Book Volume 10.1: Axiom Algebra Theory
      Documentation

        Add tutorial chapter on Singular Value Decomposition

    Book Volume 10.3 Axiom Domains
      Algebra fixes

        Johannes Grabmeier fixed the outputFixed behavior in Float.

        A regression test chunk was added to the Float domain.

        UnivariateSkewPolynomial was documented. A regression test,
        help file, and examples were added.

        Heap was documented. A regression test, help file, and
        examples were added.

        Dequeue was documented. A regression test, help file, and
        examples were added.

        Queue was documented. A regression test, help file, and
        examples were added.

        ArrayStack was documented. A regression test, help file, and
        examples were added.

        Stack was documented. A regression test, help file, and
        examples were added.

        NottinghamGroup was added, including regression and help files.
        Originally written by Martin Rubey.

      Regression tests

        The )sys rm now uses the -f flag to force deletion on all
        regression test files

    Book Volume 10.4 Axiom Packages
      New Algebra

        All packages were moved into this volume. Almost all of the
        remaining algebra files were deleted.

        ApplicationProgramInterface (API) was added. It exposes the
        Axiom internal functions at the algebra level.

        UnivariateSkewPolynomial now has help, input, and examples

      Documentation

        The nag man pages were added to the related domain documentation

        Export lists were added for all packages.

      Regression tests

        The )sys rm now uses the -f flag to force deletion on all regression
        test files.

    Boot to Lisp rewrite
      Deleted boot files

        setvars.boot is gone. The code has been rewritten and added to
        book volume 5. The code was rewritten and/or reformatted. All
        compile-time warnings were eliminated.

        setvart.boot is gone. The code has been rewritten and added to
        book volume 5. The code was rewritten and/or reformatted. All
        compile-time warnings were eliminated.

        trace.boot is gone. The code has been rewritten and added to
        book volume 5. The code was rewritten and/or reformatted. All
        compile-time warnings were eliminated.

    Regression test
      cleanup
        )set break resume

         A subtle bug in regression testing caused by early exit of a
         test left some of the regression tests reporting success when
         there should have been failure. This was fixed by adding a
         )set break resume command to allow Axiom to continue the testing
         in the presence of an internal fault.

      new

         setcmd.input was added to regression test changes to the )set
         top level command

         unittest1.input was added to regresstion test other top level
         commands

         dop.input was added to unit test )d op example output

         frame.input was added to unit test frame handling

      removed

         bags.input was distributed among the algebra regression test
         files and bags.input was removed.

    Bug fixes

      Bug 7183. The library handling code was repaired. Functions which do
      not exist were removed (e.g. input-libraries). The element values of
      the data structure are now pathnames.

      Bug 7182. )set mes auto did not indicate the current value.

      Bug 7180: )set compiler input add foo triggers a call to open-library
      which was a CCL function and no longer implemented. The elements of
      the data structure were changed.

      Bug 7179. Suprious sensitivity to )abb in documentation caused
      breakage because this was assumed to be an )abbreviation command.

      Bug 7178. Missing function inspect in ArrayStack

      Bug 7177. Missing function map! in ArrayStack

      Bug 7176. Missing function parts in ArrayStack

      Bug 7175. Missing function map in ArrayStack

      Bug 7174. Missing function map! in Stack

      Bug 7173. Missing function parts in Stack

      Bug 7172. map was missing from Stack(Integer)

      Bug 7170: )d op output failure due to X in algebra comments. The X
      symbol is now a marker for )d op examples and the use of X in comments
      is ambiguous.

      Bug 7141: )cd relative does not work

    Interpreter (src/interp)
      Documentation

        document mmCost calculation

    Help files
      Documentation

        The help file list is now dynamically generated from the algebra
        books.

    readme
      Quote

        Add Doron Zeilberger quote about builders of CA systems.

    Website
      Download

        Add fedora10 as a supported platform

        Add vector as a supported platform

    Lisp
      New patch

        read-char-no-hang was changed by Camm to ignore newlines but
        Axiom's browser needs them to be recognized. A patch was added
        to back out Camm's change.

### January 22, 2009 Release Notes

patch list
Jump to next older release
Jump to newer release

    One major theme of this release was restructuring the system
    to move all domains to literate form in book volume 10.3

    A second major theme was the first Axiom youtube tutorial video.

    Book Volume 0: Axiom Reference

      Remove obsolete references to SmallFloat

    Book Volume 1: Axiom Tutorial

      Remove obsolete references to SmallFloat

    Book Volume 4: Axiom Developers Guide

      Add section on generating graphviz graphs

    Book Volume 7.1: Axiom Hyperdoc

      Give a complete path to htadd

    Book Volume 10.3 Axiom Domains

      All domains have been removed from the algebra subdirectory
      and are now in literate form in book volume 10.3. Some
      domains include a help file, a regression test suite, and
      --X function examples for the )display command. Future work
      will extend this set.

      Each domain has a fully indexed list of functions exported.
      This allows hyperlinked access to functions.

      Each domain includes a graph segment that shows the list of
      categories, domains, and packages that provide immediate
      support in the prior build layer.

      Each domain includes a dotabb chunk which contains the
      source code necessary to recreate the graph.

      Domains which were associated with other domains in the same
      original spad file have hyperlinks to connect them.

    Book Volume 11: Axiom Browser

      Lighten Bayou theme background image

    Axiom Website (src/axiom-website)

      The axiom website is now under git control.
      The source tree is in src/axiom-website in the distribution.

      The build order graph exists. It contains a graph of all the
      constraints for each level. A line in the graph connects each
      category, domain, and package to every category, domain, and
      package in the prior layer that is required for the build.
      Multilayer constraints are not shown (although the data is
      in src/algebra/Makefile chunks) because the graph would be
      too complex.
        http://axiom-developer.org/axiom-website/hp.svg

      The Computer Algebra Test Suite (CATS) has a new test suite
      for ordinary differential equations (kamke*)
        http://axiom-developer.org/axiom-website/CATS

      The Ubuntu download now advises XTerm*metaSendsEscape: true
      due to misconfiguration of the meta key in emacs.
        http://axiom-developer.org/axiom-website/documentation.html

      A new binary for vector linux was added
        http://axiom-developer.org/axiom-website/download.html

      A new binary for doyen thumbdrive was added
      (work by Jose Alfredo Portes)
        http://axiom-developer.org/axiom-website/download.html

      The screenshots were recreated so the sources would be available.
      for matrixinmatrix.jpg, heatequation.jpg, axiomfirefox.jpg
        http://axiom-developer.org/axiom-website/screenshots.html

      The Axiom Information Sources video page was added, including
      a link to the youtube video, a local copy, and the supporting PDF.
        http://axiom-developer.org/axiom-website/videos.html

      A broken link to Book Volume 0: Axiom Reference was fixed.

    Algebra (src/algebra)

      All domains were removed from spad files and moved to
      Book Volume 10.3 Axiom Domains

      The Makefile now contains the information necessary to
      construct the build order graph as literate chunks.

      The layers were restructured. Files were moved to ensure
      that each file was at its lowest possible layer.

      The Guess package was added. However, due to nonstandard
      package files the guess function does not yet work properly.
      These packages are being rewritten.

      The Guess package has circular references. A new clique
      mechanism was added to the Makefile to handle this.

      Automatic regression test files associated with the algebra
      sources were reviewed for conforming to regression standards.

      integer.spad was reverted to remove an algebra change that
      causes a regression (cherry picked from Fricas in 2007)

    Interpreter (src/interp)

      Tim Lahey added to )credits
      Karl Hegbloom added to )credits

      htcheck.boot moves util.ht to the mnt/doc directory

      setq.lisp no longer had redundant release data information

      nrunfast.boot Float has exp : Float -> Float now works
      This change was cherry-picked from Fricas.

    Testing (src/input)

      All regression test files were reviewed and cleaned to
      conform to a standard setup.

      A parallel build race condition was fixed in the Makefile

      xpbwpoly.input was removed as it is now associated with
      its source domain and automatically generated.

      hyperbolicrules.input was added

      Tim Lahey submitted a fix for bugs in schaum17.input

      A cherry-picked patch from Fricas in 2007 was removed
      because it causes an algebra regression. The regression
      test file was corrected.

      fixed.input was converted to a regression test file

    Build process

      The lsp/Makefile was updated for GCL pre3 patches

      An ubuntu64 chunk was added as a system target

      src/Makefile outputs util.ht before compiles (bug 7146)

      books/Makefile uses bash SHELL to fix echo behavior.
      The standard sh echo behaves badly.

      books/Makefile now has amssymb in preamble for toc.tex

    GCL (zips)

      Axiom now includes GCL pre3, the latest snapshot of GCL.
      This can be chosen as an option for building in the top
      level Makefile.pamphlet

      The lsp/Makefile was updated for GCL pre3 patches

    faq

      FAQ 49: How do I get the lastest GCL?

    readme

      Tim Lahey added
      Karl Hegbloom added

      The date information for releases was removed as it is
      available elsewhere

      A John Gorka quote was added:
      "What matters the most is what you do for free" -- John Gorka

    Wikipedia

      http://en.wikipedia.org/wiki/Axiom_computer_algebra_system

      Add information about Documentation

      Add link to youtube video
        http://www.youtube.com/watch?v=CV8y3UrpadY

      New screenshots were added

    Youtube

      Axiom Information Sources video was created and uploaded
        http://www.youtube.com/watch?v=CV8y3UrpadY
      To date there have been 498 views

    Launchpad

      Gain administrative access to launchpad.net for Axiom (Page)
        https://launchpad.net/axiom

### November 23, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    Axiom website

      New patch tracking has been added:
         * Patches

      Volumes have been significantly updated:
         * Book Volume 10.2
         * Book Volume 10.3

    Book Volume 10.2 Axiom Categories completed

       The effort here is to create fully indexed, cross-referenced,
       graphical documentation for Axiom categories in a standalone
       form. This is a "live" literate document which contains the
       actual source code used to build the system.

       * Book Volume 10.2

    Book Volume 10.3 Axiom Domains started

       This volume will contain the Axiom domains.

       * Book Volume 10.3

    Rosetta documentation

      * Fix the Magnus URL

    Input Files

      * New input files (Jakubi, Maltey, Rubey, Page, Daly}
         dhmatrix, reclos2
      * Changed input files (Hebisch, Daly)
         sae, r20bugs

    Build changes

      * Testing is now run in parallel which will significantly
        speed up the final test phase

### September 23, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    Axiom website
       The effort here is to improve the support for offline literate
       documentation. The primary changes are the inclusion of graphs
       and additional book volumes.

    *
      Contains the new algebra volumes and subvolumes.
    *
      Contains a "clickable" graph that indexes into the algebra.

    Graphviz, PDF, and HTML integration
       The effort here is to unify these three technologies in a way
       that simplifies the user interface and improves documentation

    * Graphviz is used if available but not required
    * Algebra graphs are automatically generated at build time
      from algebra source files
    * Graphviz graphs now properly hyperlink into PDF files allowing
      any node in a graph to link to any document page

    Book volume 0 (Jenks and Sutor)

    *
    * replace \over with \frac

    Book volume 7.1 (Hyperdoc pages)
       The effort here is to create a literate document that contains
       all of the "live" pages used in hyperdoc. The PDF is being
       constructed so that a user can effectively "browse" the static
       hyperdoc pages, which are included, without a running Axiom.

    *
    * The source for all of the pages is now contained in this book.
    * Hyperdoc now fetches the pages directly from the book.
    * The hyper page directory and all files are gone.
    * Some of the static page images are now inside the PDF
    * Pages have href links allowing "in-pdf" navigation of pages

    Book volume 10 (Algebra)
       The effort here is to create a way to describe and deeply
       document the algebra. This volume was split to better handle
       the structure of Axiom's information.

    * Split into 5 volumes
       - 10   Implementation
       - 10.1 Theory
       - 10.2 Categories
       - 10.3 Domains
       - 10.4 Packages

    Book volume 10.2 (Algebra Categories)
       The effort here is to create fully indexed, cross-referenced,
       graphical documentation for Axiom categories in a standalone
       form. This is a "live" literate document which contains the
       actual source code used to build the system.

    *
    * Contains 60 categories so far
    * Has partial graphs for each category
    * Has list of exported functions
    * Has information about source of functions
    * Has index cross reference by function and category
    * Has PDF href links so that URLs work:

    * Has forward/backward links between categories
    * Automatically generates "clickable" graphs:

    * Graph clicking automatically opens to the proper source code

    New algebra examples (Daly, Tsikas)
       The effort here is to create "real time" documentation that
       gives the end user an example of how to construct the proper
       arguments and call a function. This puts examples into the
       system so users don't need to consult other documents.

    * )d op someop shows examples of function usage
    * about 100 new function examples were added
    * new comment syntax added to allow automatic API testing

    Input Files
       There is a new effort to automatically extract the algebra
       examples in order to regression test the user API to the
       algebra. In addition there is ongoing test work.

    * New input files (Hemmecke, Stumbo, Cyganski, Daly)
         bini, biquat, ifthenelse, liu, overload, sqrt3, typetower
    * Changed input files (Hemmecke, Stumbo, Cyganski, Daly)
         bern, function, linalg, regset, test, tutchap2

    Build changes

    * graphics does not depend on compress, done at build time
    * firefox html pages are now built before tests are run

    Algebra changes

    * FLAGG (FiniteLinearAggregate) -- removed a duplicate function

    Interpreter changes (Page)

    * add cost function to bottomUp output

### July 23, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    The July 2008 release marks the second large-scale change toward a
    literate Axiom distribution. The original change was to make every
    file into a pamphlet document. This second change draws Axiom into
    tighter collections, called books (for obvious reasons).

    There is a new "books" directory which contains 14 books, most of
    which are new:

     bookvol0:  The reconstructed Jenks and Sutor book
     bookvol1:  The published tutorial volume
     bookvol2:  Users Guide
     bookvol3:  Programmers Guide
     bookvol4:  Developers Guide
     bookvol5:  Interpreter
     bookvol6:  Command
     bookvol7:  Hyperdoc
     bookvol7.1 Hyperdoc Pages
     bookvol8:  Graphics
     bookvol9:  Compiler
     bookvol10: Algebra
     bookvol11: Browser
     bookvol12: Crystal

    All of these books now exist. Portions of the current system have
    been moved completely into book form (Graphics and Hyperdoc) so
    the old files have been removed from the src tree. Both Graphics
    and Hyperdoc are now built directly from their book. Work will
    follow on other parts of the system.

    These books are online at:

    There is an interesting side-effect of using literate technology.
    Once you combine C and .h files into a single document so that each
    file is a separate chunk it becomes obvious that there is no need for
    local include files. The lines that read:
       #include "foo.h"
    become
       <>
    and get expanded inline. Once you do this it also becomes obvious
    that many include files get included multiple times (a clear waste
    of disk I/O and preparser time). Further it becomes clear that there
    is no need for creating tiny .o files since all of the source can
    be combined into one C file using chunks.

    These approaches were used to reduce the compile-time overhead
    for both the graphics and the hyperdoc functions.

    In addition to consolidating the source files for Graphics into
    bookvol8 there were several other changes.

      * the functions for graphics, that is, viewman, view2d, view3d
        and viewalone are now built as single C files.
      * the graphics code was reorganized into chapters of related code
      * there is the beginnings of documentation
      * there is the beginnings of a test suite based on the
        CRC Handbook of Curves and Surfaces
      * the book is hyperlinked (Bill Page, Frederic Lehobey, Anatoly Raportirenko)
      * redundant code was eliminated
      * the code is fully indexed
      * the src/graph subdirectory is gone

    In addition to consolidating the source files for Hyperdoc into
    bookvol7 there were several other changes.

      * the functions for hyperdoc, that is, spadbuf, ex2ht, htadd, hthits
        and hypertex are now built as single C files
      * the hyperdoc code was reorganized into chapters of related code
      * there is the beginnngs of documentation
      * redundant code was eliminated
      * scroll wheel handling was added (Gregory Vanuxem)
      * the book is hyperlinked (Bill Page, Frederic Lehobey, Anatoly Raportirenko)
      * the code is fully indexed
      * )hd now works to start or restart Hyperdoc (Jose Alfredo Portes)
      * the src/hyper subdirectory is gone

    In addition to consolidating the hyperdoc pages into bookvol7.1
    there were several other changes:

      * the pages are hyperlinked
      * new latex macros were written to simplify page handling
      * images of hyperdoc pages were added
      * forward and backward hyperlinks between pages images works
        making it possible to "browse" the hyperdoc pages using only
        the single PDF file (Bill Page, Frederic Lehobey, Anatoly Raportirenko)
      * the pages are fully indexed
      * the src/hyper/pages subdirectory is gone

    A combined table of contents PDF is now automatically generated
    which covers all of the volumes. This makes it easier to find the
    topic of interest.

    In addition there were several other changes.

      * Some fixes were made for different platforms
           In particular, Fedora9 breaks the build and needs work

      * The configure script was replaced by instructions
           The standard (export AXIOM) works everywhere so the configure
           script is useless for guessing.

      * the FAQ was updated about git
           Since the May 2008 release the primary Gold source code platform
           is github. The FAQ was updated to reflect this.

      * the FAQ was updated about X11
           X11 has moved yet again so more notes are needed

      * move axbook to books
           The hyperlinked version of Jenks is now built from the books dir

      * add Ralf Hemmecke's documentation to ax.boot
      * add Monoid multiply to DirectProduct (Ralf Hemmecke)
      * add Monoid multiply regression test

### May 27, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    COMPUTER ALGEBRA TEST SUITE

    A large part of the effort for these two months has involved detailed
    test cases of Axiom's integration routines against Schaum's Handbook
    of Mathematical Formulas. Of the 619 integrals, the detailed results are:

    419 Schaums and Axiom agree
    137 No closed form solution
     60 Cannot simplify

      2 Typos found in Schaums
      1 Axiom bug

    The Axiom bug was in src/algebra/intef.spad.pamphlet. There was a
    fix applied to this code for a previously identified bug but the
    previous fix was incorrect.

    In addition, there were
     src/input/danzwill2.input.pamphlet added for the MIT Integration tests
     src/inputmapleok.input.pamphlet to fix typos
     src/input/kamke1.input.pamphlet had ode97 removed due to running time
     src/input/kamke2.input.pamphlet ode104, ode105 removed for running time

    DOCUMENTATION
    	Max Tegmark's 'toe' diagram, src/doc/toe.gif

    PORTING
            GCLOPTS-CUSTRELOC disable-locbfd for MACOSXPPC

### March 25, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    Axiom is now available at github, a git-based code repository.
    This site will have the Gold version of Axiom, that is, only
    code that changes at each two-month release. To get a clone type:

       git-clone git://github.com/daly/axiom.git

    USER VISIBLE CHANGES

      One primary focus of this release has been extending the Firefox
      toward being a full Axiom user interface (as opposed to a simple
      hyperdoc replacement). The Firefox console page has new, AJAX
      based, dropdown menus which are planned to be dynamically updated
      to display available functions for the last computed type. This
      should make it much easier to find the applicable functions by
      category and type. They are currently static in this release.

    * Firefox Pages

     o Dropdown menus were added to the Axiom console page
     o More hyperdoc pages were translated to Firefox/html
     o Bitmaps and graphics are now properly handled in pages
     o A minor mathml fix was applied (for invisible times)

    * Refcard

     o An Axiom reference card of Axiom commands was created (src/doc/refcard)

    * Examples

     o It is often difficult to figure the exact arguments required to call
       any given function in Axiom. The )display operation command used to
       only show the available modemaps. This command has now been changed.
        )display operation foo
       now shows examples of function calls for foo.

    * Help

     o The plot routines have new help files and documentation

    PORTING

     o Axiom was ported to MAC-OSX

     o The binary download page now has binaries for
       Ubuntu, OpenSUsE, Redhat9, Redhat72, Debian, MACOSX at

     o Binaries for the this release will be available shortly.

    INTERNALS

    * Compiler changes
     o  hashtables were used to speed up compiles

    * Algebra changes
     o  There are new special functions, Ei,En,Ei1,Ei2,Ei3,Ei4,Ei5,Ei6
     o  The prime and BasicSieve functions are faster
     o  The Brent/Pollard algorithm was documented
     o  Bad gcd reductions are checked (heugcd regression test file added)
     o  The plot routines have new help files and documentation

    * Makefile changes
     o  Bi-capital SVN copies are no longer made

    * Interpreter changes
     o  Book Volume 5 has new documentation on the display function
     o  The display function code has been translated and moved to book volume 5
     o  PI has a higher internal precision
     o  Mappings are now properly hashed for Aldor

    CATS (Computer Algebra Test Suite)

     o The differential equations regression tests are being checked against
       Mathematica, Maple, and Maxima. This has happended for the kamke2.input
       regression test file and will happen for the other regression tests.

    o  Complex Gamma, logGamma, and log(Gamma) have additional tests and
       documentation.

### January 25, 2008 Release Notes

patch list
Jump to next older release
Jump to newer release

    There have been two major concentrations of effort in this release.

    The first concentration is on the new Firefox Hyperdoc and the
    second concentration was the verification of Axiom against
    published standards.

    Firefox Hyperdoc

    The Firefox Hyperdoc has been integrated with the rest of the
    interpreter. The new )browse command causes Axiom to listen and
    serve hyperdoc pages on port 8085.

    The interpreter was changed to add the )browse command. As a
    side-effect new documentation was added to the interpreter
    volume (bookvol5) to explain top-level command handling. In
    addition, lisp and boot code was rewritten as part of the
    literate change.

    New sections were added to cover the beginning of the Computer
    Algebra Test Suite (CATS) subsection which brings a focus on
    compliance with published standards.

    Arthur Ralf's mathml-enabled version of the Jenks book is fully
    integrated into the Firefox Hyperdoc. Arthur also fixed some
    rendering and ambiguity issues.

      axbook.tgz              fix the user/group settings
      axserver.spad           fix lastType output re: errors
      bookvol5                browse and top-level command handling
      bookvol11               add standards compliance for gamma
      gammacomplexinverse.png added
      gammacomplex.png        added
      gammareal3.png          added
      loggamma.png            added
      mathml.spad             fix ambiguity bug in mathml output
      mathml.spad             fix hex(10) mathml rendering
      mathml.spad             fix F,3 mathml rendering
      mathml.spad             remove code to eat %%
      psi.png                 added

    Standards Verification

    The Computer Algebra Test Suite (CATS) effort checks the results
    that Axiom generates against published results. Axiom has an
    extensive set of regression tests (the KAMKE suite) for ordinary
    differential equations, for integration (the SCHAUM suite), and
    for numeric special functions (the ABRAMOWITZ suite). In addition,
    results have been checked against Mathematica, Maple, and Maxima.

      asinatan.input   regression for the functions asin and atan
      asinhatanh.input regression for the functions asinh and atanh
      besselk.input    regression for the function besselK
      e1.input         regression for the function E1
      en.input         regression for the function En
      exp.input        regression for the function exp
      gamma.input      regression for the function gamma
      log.input        regression for the functions log
      pfaffian.input   regression for the function pfaffian
      seccsc.input     regression for the functions sec and csc
      sincos.input     regression for the functions sin and cos
      sinhcosh.input   regression for the functions sinh and cosh
      tancot.input     regression for the functions tan and cot
      tanhcoth.input   regression for the functions tanh and coth

    New Functions Added

    Axiom is missing various special functions found in other computer
    algebra systems. This release adds two new ones, the Exponential
    Integral E1 and the higher order Exponential Integral En.  These have
    been tested against the published results.

      special.spad E1 added
      special.spad En added

    Bugs Fixed

    There are 15 bug fixes in this release:

      bug 7015: fix hex(10) mathml rendering
      bug 7016: remove code to eat %%
      bug 7019: fix F,3 mathml rendering
      bug 7023: discardGraph free corrected
      bug 7042: ignore regression test gensym
      bug 7045: wrong Makefile for Xpm fix
      bug 7052: spurious remake of axbook
      bug 7054: /home/silver path in bookvol11
      bug 7057: ambiguity in mathml
      bug 7089/343: FreeAbelianGroup order
      bug 7090/355 handle besselK
      bug 7093: Function name fix
      bug 7100/149: numlock in hyperdoc
      bug 7101/204: MoreSystemCommand unnecessary loading
      bug 7102/412: Equality testing in TableAggregate

    Regression test fixes

    As changes happen in the system the regression tests are updated
    to reflect the new conditions. Changing the category of PositiveInteger
    caused (a + -bi) to print as (a - bi). New builds raised gensym faults
    which were fixed. And new builds change random numbers so the tests
    that depend on them are marked "ok" despite failures due to randomness.
    The FreeAbelianGroup bug is tested.

      acplot.spad     fix output form of negative numbers
      calculus2.input fix function names
      classtalk.input ignore gensyms
      collect.input   fix function names
      dfloat.input    handle negative number output
      easter.input    fix function names
      elemnum.input   handle negative number output
      exlap.input     fix function names
      exsum.input     fix function names
      free.input      added to test bug
      grpthry.input   mark random generation failures ok
      grpthry.input   fix function names
      ico.input       mark random generation failures ok
      intg0.input     ignore gensyms
      is.input        type declare function
      kamke3.input    mark random generation failures ok
      knot2.input     fix function names
      lodo.spad       ignore regression test gensym
      mapleok.input   ignore gensyms
      mathml.input    handle new mathml sub/sup change
      ndftip.input    fix missing blank lines
      pmint.input     rewritten
      repa6.input     fix function names
      r20bugs.input   change spacing
      sf.spad         fix output form of negative numbers
      tbagg.input     regression for equality testing in TableAggregate

    Algebra file changes

    The fundamental change was a supposedly transparent move of
    the category for PositiveInteger. This had the effect of changing
    the output form and broke several regression tests. Some mathml
    issues were fixed. The new functions E1 and En were added. The
    FreeAbelianGroup bug was fixed.

      axserver.spad  fix lastType output re: errors
      acplot.spad    fix output form of negative numbers
      combfunc.spad  fix bold font handling
      integer.spad   category change for PositiveInteger
      sf.spad fix    output form of negative numbers
      sf.spad        handle besselK
      op.spad        handle besselK
      combfunc.spad  handle besselK
      free.spad      fix FreeAbelianGroup bug
      special.spad   add E1
      special.spad   add En
      mathml.spad    fix ambiguity bug in mathml output
      mathml.spad    fix hex(10) mathml rendering
      mathml.spad    fix F,3 mathml rendering
      mathml.spad    remove code to eat %%

    Interpreter changes

    The primary changes are the addition of bookvol11 for the Firefox
    Hyperdoc and the literate documentation of the top level command
    handling in bookvol5 (the interpreter) along with rewrites of the
    lisp/boot code.

      bootfuns.lisp move $systemCommands to bookvol5
      bookvol5      browse and top-level command handling
      bookvol11     added
      http.lisp     mathObject2String for hex(10)
      incl.boot     move incBiteOff to bookvol5
      intint.lisp   move setCurrentLine to bookvol5
      int-top.boot  move ncloopCommand, etc. to bookvol5
      i-syscmd.boot move $SYSCOMMANDS to bookvol5
      Makefile      wrong Makefile for Xpm fix
      makegraph.c   discardGraph free corrected
      nci.lisp      move ncloopInclude to bookvol5
      setq.lisp     move command initialization to bookvol5

    Documentation changes

      bookvol5      explain top level input handling (lisp/boot rewrite)
      combfunc.spad fix bold font handling
      axiom.sty     add binom

    Patches released

      20071129.01.tpd.patch
      20071129.02.tpd.patch
      20071205.01.tpd.patch
      20071206.01.tpd.patch
      20071208.01.tpd.patch
      20071215.01.tpd.patch
      20071215.02.tpd.patch
      20071215.03.gxv.patch
      20071216.01.tpd.patch
      20071216.02.tpd.patch
      20071216.03.acr.patch
      20071217.01.acr.patch
      20071217.02.tpd.patch
      20071218.01.acr.patch
      20071225.01.sxw.patch
      20071228.01.tpd.patch
      20071229.01.jap.patch
      20071230.01.acr.patch
      20071230.02.tpd.patch
      20071230.03.tpd.patch
      20080102.01.tpd.patch
      20080103.01.tpd.patch
      20080104.01.tpd.patch
      20080104.02.tpd.patch
      20080106.01.tpd.patch
      20080107.01.tpd.patch
      20080107.02.tpd.patch
      20080107.03.tpd.patch
      20080116.01.tpd.patch
      20080119.01.tpd.patch
      20080119.02.tpd.patch
      20080119.03.tpd.patch
      20080120.01.gxv.patch
      20080120.02.tpd.patch
      20080120.03.tpd.patch

### November 23, 2007 Release Notes

patch list
Jump to newer release

    All of the golden sources are up to date.
      savannah.nongnu.org/projects/axiom CVS
      sourceforge.net/projects/axiom CVS
      arch@axiom-developer.org ARCH (axiom--main--1--patch-54)
      git@axiom-developer.org GIT

    ADD NEW CREDITS
      New patches were posted by Arthur and Alfredo so their tlas were
      added to the changelog

    20071001 acr Arthur C. Ralfs
    20070914 jap Jose Alfredo Portes

    PORT TO DIFFERENT SYSTEMS
      As part of the new axiom website there is a binary release page.
      The stanzas for these supported systems were added.

    20071119 tpd Makefile.pamphlet add fedora6,7,8 stanzas

    NEW Axiom WEBSITE: http://axiom-developer.org STARTED.
      The new Axiom website (currently at axiom.axiom-developer.org)
      has been started. It will include the binary release page.

    REMOVE OLD REGRESSION SYSTEM
      The previous regression test system was removed. A new combined
      regression test and help documentation system was built to replace
      this mechanism.

    20070901 tpd src/input/Makefile remove ALGEBRA variable
    20070901 tpd src/algebra/perm.spad remove TEST mechanism
    20070901 tpd src/algebra/view2d.spad remove TEST mechanism
    20070901 tpd src/algebra/fr.spad remove TEST mechanism

    FIX BOOK DOCUMENTATION
      Minor typos have been discovered in the book during documentation.

    20070905 tpd src/doc/book remove duplicate upperCase, lowerCase typo
    20070903 tpd src/doc/bookvol4 fix typos
    20070902 tpd src/doc/book MultiSet -> Multiset
    20080829 tpd src/doc/book.pamphlet correct typo

    FIX BUGS
      Various bugs have been found and fixed.

    20071101 tpd src/interp/i-output.boot fix bugs 7010 (209), 7011
    20070920 tpd src/input/Makefile add bug101.input regression test
    20070920 tpd src/input/bug101.input test laplace(log(z),z,w) bug 101
    20070920 wxh src/algebra/laplace.spad fix laplace(log(z),z,w) bug 101
    20070916 tpd src/input/Makefile add bug103.input regression test
    20070916 tpd src/input/bug103.input test solve(z=z,z) bug fix
    20070916 tpd src/algebra/polycat.spad solve(z=z,z) bug fix
    20070916 tpd src/algebra/catdef.spad add zero? to exquo
    20070915 tpd merge bug100 branch
    20070915 tpd src/input/Makefile add bug100.input regression test
    20070915 tpd src/input/bug100.input test integrate((z^a+1)^b,z) infinite loop
    20070915 wxh src/algebra/intef.spad fix integrate((z^a+1)^b,z) infinite loop
    20070915 tpd src/algebra/carten minor edit for regression cleanup
    20070914 wxh src/hyper/hyper fix bad bracing of )hd change
    20070914 tpd src/algebra/fraction.spad remove double )spool command
    20070914 tpd src/algebra/kl.spad remove double )spool command
    20070914 tpd src/algebra/lindep.spad remove double )spool command
    20070914 tpd src/algebra/radix.spad remove double )spool command

    ENABLE DYNAMIC RESTART OF HYPERDOC
      Hyperdoc can now be started dynamically or restarted if killed.

    20070914 jap adapt changes for )hd restart to Axiom sources
    20070914 wxh src/sman/bookvol6 enable restart of hyperdoc with )hd
    20070914 wxh src/include/sman.h1 enable restart of hyperdoc with )hd
    20070914 wxh src/hyper/hyper enable restart of hyperdoc with )hd

    SET UP THE NEW FIREFOX BASED HYPERDOC
      Hyperdoc is going away. A new version of hyperdoc is being built
      which uses html/javascript/mathml. These files change the interpreter
      and algebra to support the new hyperdoc machinery.

    20071019 acr src/interp/http.lisp use new return values
    20071019 acr src/algebra/axserver.spad use new return values
    20071014 acr src/algebra/axserver.spad use getContentType(pathvar)
    20071013 acr license/license.ralfs license rewrite
    20071013 acr src/interp/http.lisp faster page service
    20071013 acr src/algebra/axserver.spad faster page service
    20071001 tpd src/algebra/exposed.lisp add (|AxiomServer| . AXSERV) to basic
    20071001 tpd src/algebra/Makefile add axserver.spad
    20071001 acr src/algebra/axserver.spad axserver socket connection code
    20071001 tpd src/interp/Makefile add http.lisp
    20071001 acr src/interp/http.lisp axserver socket connection code
    20071001 acr license/license.ralfs added

    REGRESSION TEST CALCULUS
      A new regression test suite for calculus is being built. The first
      of these files has been added to the system.

    20070913 tpd src/input/Makefile schaum1.input added
    20070913 tpd src/input/schaum1.input added

    REGRESSION TEST ORDINARY DIFFERENTIAL EQUATIONS
      A regression test suite for ordinary differential equations was built.

    20071005 tpd src/input/Makefile kamke7.input regression test added
    20071005 tpd src/input/kamke7.input ODE regression test added
    20071005 tpd src/input/Makefile kamke6.input regression test added
    20071005 tpd src/input/kamke6.input ODE regression test added
    20071005 tpd src/input/Makefile kamke5.input regression test added
    20071005 tpd src/input/kamke5.input ODE regression test added
    20071005 tpd src/input/Makefile kamke4.input regression test added
    20071005 tpd src/input/kamke4.input ODE regression test added
    20071005 tpd src/input/Makefile kamke3.input regression test added
    20071005 tpd src/input/kamke3.input ODE regression test added
    20071004 tpd src/input/Makefile kamke2.input regression test added
    20071004 tpd src/input/kamke2.input ODE regression test added
    20071004 tpd src/input/Makefile kamke1.input regression test added
    20071004 tpd src/input/kamke1.input ODE regression test added
    20071004 tpd src/input/Makefile kamke0.input regression test added
    20071004 tpd src/input/kamke0.input ODE regression test added

    REGRESSION TEST PFAFFIAN
      Martin added the pfaffian regression test. It was added and removed
      due to documentation license issues. New documentation is being written.

    20070929 tpd src/input/Makefile pfaffian regression test removed
    20070929 tpd src/input/pfaffian.input regression test removed
    20070927 tpd src/input/Makefile pfaffian regression test added
    20070927 mxr src/input/pfaffian.input regression test added

    ADD PORTIONS OF THE GUESS PACKAGE
      The newton.spad file is actually part of the fffg.spad file so it
      was removed. The very top level spad functions in GUESS still do
      not work properly.

    20070909 tpd src/algebra/newton.spad included in fffg.spad
    20070909 tpd src/algebra/Makefile remove newton.spad (duplicate)

    FIX BUILD PROCESS
      The build process was not properly suppressing output by default.

    20070907 tpd src/algebra/acplot.spad fix PlaneAlgebraicCurvePlot.help NOISE
    20070907 tpd src/algebra/Makefile make regression respect NOISE variable
    20070907 tpd src/input/Makefile make regression respect NOISE variable

    FIX INSTALL PROCESS
      The install process had a bug.

    20070906 tpd Makefile int/sman/axiom command to target command for install
    20070906 tpd src/sman/Makefile copy axiom command to int

    ADD ALDOR RELEASE
      The aldor release has been added to zips. It will soon be part of
      the build mechanism but separately maintained like GCL.

    20070901 tpd zips/aldor.20070901.tgz add pdf documentation
    20070901 tpd zips/aldor.20070901.tgz added

    ADD )HELP FACILITY
      The )help facility was recovered. The documentation is now integrated
      into the spad files and used both for help documentation and algebra
      regression testing.

    20070902 tpd src/doc/Makefile document how to add help files
    20070902 tpd src/algebra/Makefile document how to add help files
    20070906 tpd merge help files branch
    20070906 tpd src/doc/spadhelp add ZeroDimensionalSolvePackage
    20070906 tpd src/algebra/Makefile add ZeroDimensionalSolvePackage.help
    20070906 tpd src/algebra/zerodim.spad add ZeroDimensionalSolvePackage.help
    20070906 tpd src/algebra/zerodim.spad ZeroDimensionalSolvePackage.input
    20070906 tpd src/doc/spadhelp add XPolynomialRing
    20070906 tpd src/algebra/Makefile add XPolynomialRing.help
    20070906 tpd src/algebra/xpoly.spad add XPolynomialRing.help (XPR)
    20070906 tpd src/algebra/xpoly.spad XPolynomialRing.input
    20070906 tpd src/doc/spadhelp add XPolynomial
    20070906 tpd src/algebra/Makefile add XPolynomial.help
    20070906 tpd src/algebra/xpoly.spad add XPolynomial.help (XPOLY)
    20070906 tpd src/algebra/xpoly.spad XPolynomial.input
    20070906 tpd src/doc/spadhelp add XPBWPolynomial
    20070906 tpd src/algebra/Makefile add XPBWPolynomial.help
    20070906 tpd src/algebra/xlpoly.spad add XPBWPolynomial.help (XPBWPOLY)
    20070906 tpd src/algebra/xlpoly.spad XPBWPolynomial.input
    20070905 tpd src/doc/spadhelp add WuWenTsunTriangularSet
    20070905 tpd src/algebra/Makefile add WuWenTsunTriangularSet.help
    20070905 tpd src/algebra/triset.spad add WuWenTsunTriangularSet.help (WUTSET)
    20070905 tpd src/algebra/triset.spad WuWenTsunTriangularSet.input
    20070905 tpd src/doc/spadhelp add Void
    20070905 tpd src/algebra/Makefile add Void.help
    20070905 tpd src/algebra/void.spad add Void.help (VOID)
    20070905 tpd src/algebra/void.spad Void.input
    20070905 tpd src/doc/spadhelp add Vector
    20070905 tpd src/algebra/Makefile add Vector.help
    20070905 tpd src/algebra/vector.spad add Vector.help (Vector)
    20070905 tpd src/algebra/vector.spad Vector.input
    20070905 tpd src/doc/spadhelp add UniversalSegment
    20070905 tpd src/algebra/Makefile add UniversalSegment.help
    20070905 tpd src/algebra/seg.spad add UniversalSegment.help (UNISEG)
    20070905 tpd src/algebra/seg.spad UniversalSegment.input
    20070905 tpd src/doc/spadhelp add UnivariatePolynomial
    20070905 tpd src/algebra/Makefile add UnivariatePolynomial.help
    20070905 tpd src/algebra/poly.spad add UnivariatePolynomial.help (UP)
    20070905 tpd src/algebra/poly.spad UnivariatePolynomial.input
    20070905 tpd src/doc/spadhelp add TwoDimensionalArray
    20070905 tpd src/algebra/Makefile add TwoDimensionalArray.help
    20070905 tpd src/algebra/array2.spad add TwoDimensionalArray.help (ARRAY2)
    20070905 tpd src/algebra/array2.spad TwoDimensionalArray.input
    20070905 tpd src/doc/spadhelp add TextFile
    20070905 tpd src/algebra/Makefile add TextFile.help
    20070905 tpd src/algebra/files.spad add TextFile.help (TEXTFILE)
    20070905 tpd src/algebra/files.spad TextFile.input
    20070905 tpd src/doc/spadhelp add Table
    20070905 tpd src/algebra/Makefile add Table.help
    20070905 tpd src/algebra/table.spad add Table.help (TABLE)
    20070905 tpd src/algebra/table.spad Table.input
    20070905 tpd src/doc/spadhelp add StringTable
    20070905 tpd src/algebra/Makefile add StringTable.help
    20070905 tpd src/algebra/table.spad add StringTable.help (STRTBL)
    20070905 tpd src/algebra/table.spad StringTable.input
    20070905 tpd src/doc/spadhelp add String
    20070905 tpd src/algebra/Makefile add String.help
    20070905 tpd src/algebra/stream.spad add String.help (STRING)
    20070905 tpd src/algebra/stream.spad String.input
    20070905 tpd src/doc/spadhelp add Stream
    20070905 tpd src/algebra/Makefile add Stream.help
    20070905 tpd src/algebra/stream.spad add Stream.help (STREAM)
    20070905 tpd src/algebra/stream.spad Stream.input
    20070905 tpd src/doc/spadhelp add SquareFreeRegularTriangularSet
    20070905 tpd src/algebra/Makefile add SquareFreeRegularTriangularSet.help
    20070905 tpd src/algebra/sregset.spad add SquareFreeRegularTriangularSet.help
    20070905 tpd src/algebra/sregset.spad SquareFreeRegularTriangularSet.input
    20070905 tpd src/doc/spadhelp add SquareMatrix
    20070905 tpd src/algebra/Makefile add SquareMatrix.help
    20070905 tpd src/algebra/matrix.spad add SquareMatrix.help (SQMATRIX)
    20070905 tpd src/algebra/matrix.spad SquareMatrix.input
    20070905 tpd src/doc/spadhelp add SparseTable
    20070905 tpd src/algebra/Makefile add SparseTable.help
    20070905 tpd src/algebra/table.spad add SparseTable.help (STBL)
    20070905 tpd src/algebra/table.spad SparseTable.input
    20070905 tpd src/doc/spadhelp add SingleInteger
    20070905 tpd src/algebra/Makefile add SingleInteger.help
    20070905 tpd src/algebra/si.spad add SingleInteger.help (SINT)
    20070905 tpd src/algebra/si.spad SingleInteger.input
    20070905 tpd src/doc/spadhelp add Set
    20070905 tpd src/algebra/Makefile add Set.help
    20070905 tpd src/algebra/sets.spad add Set.help (SET)
    20070905 tpd src/algebra/sets.spad Set.input
    20070905 tpd src/doc/spadhelp add SegmentBinding
    20070905 tpd src/algebra/Makefile add SegmentBinding.help
    20070905 tpd src/algebra/seg.spad add SegmentBinding.help (SEGBIND)
    20070905 tpd src/algebra/seg.spad SegmentBinding.input
    20070905 tpd src/doc/spadhelp add Segment
    20070905 tpd src/algebra/Makefile add Segment.help
    20070905 tpd src/algebra/seg.spad add Segment.help (SEG)
    20070905 tpd src/algebra/seg.spad Segment.input
    20070905 tpd src/algebra/integer.spad update RomanNumeral.help (ROMAN)
    20070905 tpd src/algebra/integer.spad update RomanNumeral.input
    20070904 tpd src/doc/spadhelp add RegularTriangularSet
    20070904 tpd src/algebra/Makefile add RegularTriangularSet.help
    20070904 tpd src/algebra/regset.spad add RegularTriangularSet.help (REGSET)
    20070904 tpd src/algebra/regset.spad RegularTriangularSet.input
    20070904 tpd src/doc/spadhelp add RealClosure
    20070904 tpd src/algebra/Makefile add RealClosure.help
    20070904 tpd src/algebra/reclos.spad add RealClosure.help (RECLOS)
    20070904 tpd src/algebra/reclos.spad RealClosure.input
    20070904 tpd src/doc/spadhelp add RadixExpansion
    20070904 tpd src/algebra/Makefile add RadixExpansion.help
    20070904 tpd src/algebra/radix.spad add RadixExpansion.help (RADIX)
    20070904 tpd src/algebra/radix.spad RadixExpansion.input
    20070903 tpd src/doc/spadhelp add Polynomial
    20070903 tpd src/algebra/Makefile add Polynomial.help
    20070903 tpd src/algebra/multpoly.spad add Polynomial.help (POLY)
    20070903 tpd src/algebra/multpoly.spad Polynomial.input
    20070903 tpd src/doc/spadhelp add Permanent
    20070903 tpd src/algebra/Makefile add Permanent.help
    20070903 tpd src/algebra/perman.spad add Permanent.help (PERMAN)
    20070903 tpd src/algebra/perman.spad Permanent.input
    20070903 tpd src/doc/spadhelp add PartialFraction
    20070903 tpd src/algebra/Makefile add PartialFraction.help
    20070903 tpd src/algebra/pfr.spad add PartialFraction.help (PFR)
    20070903 tpd src/algebra/pfr.spad PartialFraction.input
    20070903 tpd src/doc/spadhelp add OrderlyDifferentialPolynomial
    20070903 tpd src/algebra/Makefile add OrderlyDifferentialPolynomial.help
    20070903 tpd src/algebra/dpolcat.spad add OrderlyDifferentialPolynomial (ODPOL)
    20070903 tpd src/algebra/dpolcat.spad OrderlyDifferentialPolynomial.input
    20070903 tpd src/doc/spadhelp add OrderedVariableList
    20070903 tpd src/algebra/Makefile add OrderedVariableList.help
    20070903 tpd src/algebra/variable.spad add OrderedVariableList.help (OVAR)
    20070903 tpd src/algebra/variable.spad OrderedVariableList.input
    20070903 tpd src/doc/spadhelp add Operator
    20070903 tpd src/algebra/Makefile add Operator.help
    20070903 tpd src/algebra/opalg.spad add Operator.help (OP)
    20070903 tpd src/algebra/opalg.spad Operator.input
    20070903 tpd src/algebra/radix.spad fix typos in help file
    20070903 tpd src/algebra/integer.spad fix typos in help file
    20070902 tpd src/doc/spadhelp add OneDimensionalArray
    20070902 tpd src/algebra/Makefile add OneDimensionalArray.help
    20070902 tpd src/algebra/array1.spad add OneDimensionalArray.help (ARRAY1)
    20070902 tpd src/algebra/array1.spad OneDimensionalArray.input
    20070902 tpd src/doc/spadhelp add Octonion
    20070902 tpd src/algebra/Makefile add Octonion.help
    20070902 tpd src/algebra/oct.spad add Octonion.help (OCT)
    20070902 tpd src/algebra/oct.spad Octonion.input
    20070902 tpd src/doc/spadhelp add None
    20070902 tpd src/algebra/Makefile add None.help
    20070902 tpd src/algebra/any.spad add None.help (NONE)
    20070902 tpd src/algebra/any.spad None.input
    20070902 tpd src/doc/spadhelp add MultivariatePolynomial
    20070902 tpd src/algebra/Makefile add MultivariatePolynomial.help
    20070902 tpd src/algebra/multpoly.spad add MultivariatePolynomial.help (MPOLY)
    20070902 tpd src/algebra/multpoly.spad MultivariatePolynomial.input
    20070902 tpd src/doc/spadhelp add Multiset
    20070902 tpd src/algebra/Makefile add Multiset.help
    20070902 tpd src/algebra/mset.spad add Multiset.help (MSET)
    20070902 tpd src/algebra/mset.spad Multiset.input
    20070902 tpd src/doc/spadhelp add Matrix
    20070902 tpd src/algebra/Makefile add Matrix.help
    20070902 tpd src/algebra/matrix.spad add Matrix.help (MATRIX)
    20070902 tpd src/algebra/matrix.spad Matrix.input
    20070902 tpd src/doc/spadhelp add MappingPackage3
    20070902 tpd src/algebra/Makefile add MappingPackage3.help
    20070902 tpd src/algebra/mappkg.spad add MappingPackage3.help (MAPPKG3)
    20070902 tpd src/algebra/mappkg.spad MappingPackage3.input
    20070902 tpd src/doc/spadhelp add MappingPackage2
    20070902 tpd src/algebra/Makefile add MappingPackage2.help
    20070902 tpd src/algebra/mappkg.spad add MappingPackage2.help (MAPPKG2)
    20070902 tpd src/algebra/mappkg.spad MappingPackage2.input
    20070902 tpd src/doc/spadhelp add MappingPackage1
    20070902 tpd src/algebra/Makefile add MappingPackage1.help
    20070902 tpd src/algebra/mappkg.spad add MappingPackage1.help (MAPPKG1)
    20070902 tpd src/algebra/mappkg.spad MappingPackage1.input
    20070902 tpd src/doc/spadhelp add MakeFunction
    20070902 tpd src/algebra/Makefile add MakeFunction.help
    20070902 tpd src/algebra/mkfunc.spad add MakeFunction.help (MKFUNC)
    20070902 tpd src/algebra/mkfunc.spad MakeFunction.input
    20070902 tpd src/algebra/view2d.spad fix typos in help file
    20070902 tpd src/algebra/files.spad fix typos in help file
    20070902 tpd src/algebra/acplot.spad fix typos in help file
    20070902 tpd src/doc/spadhelp add Magma
    20070902 tpd src/algebra/Makefile add Magma.help
    20070902 tpd src/algebra/xlpoly.spad add Magma.help (MAGMA)
    20070902 tpd src/algebra/xlpoly.spad Magma.input
    20070902 tpd src/doc/spadhelp add LyndonWord
    20070902 tpd src/algebra/Makefile add LyndonWord.help
    20070902 tpd src/algebra/xlpoly.spad add LyndonWord.help (LWORD)
    20070902 tpd src/algebra/xlpoly.spad LyndonWord.input
    20070902 tpd src/doc/spadhelp add List
    20070902 tpd src/algebra/Makefile add List.help
    20070902 tpd src/algebra/list.spad add List.help (LIST)
    20070902 tpd src/algebra/list.spad List.input
    20070901 tpd src/doc/spadhelp add Permutation
    20070901 tpd src/algebra/Makefile add Permutation.help
    20070901 tpd src/algebra/acplot.spad add Permutation.help (PERM)
    20070901 tpd src/algebra/acplot.spad Permutation.input
    20070901 tpd src/doc/spadhelp add TwoDimensionalViewport
    20070901 tpd src/algebra/Makefile add TwoDimensionalViewport.help
    20070901 tpd src/algebra/view2d.spad add TwoDimensionalViewport.help (VIEW2D)
    20070901 tpd src/doc/spadhelp add PlaneAlgebraicCurvePlot
    20070901 tpd src/algebra/Makefile add PlaneAlgebraicCurvePlot.help
    20070901 tpd src/algebra/acplot.spad add PlaneAlgebraicCurvePlot.help (ACPLOT)
    20070901 tpd src/algebra/acplot.spad PlaneAlgebraicCurvePlot.input
    20070901 tpd src/doc/spadhelp add RealSolvePackage
    20070901 tpd src/algebra/Makefile add RealSolvePackage.help
    20070901 tpd src/algebra/acplot.spad add RealSolvePackage.help (REALSOLV)
    20070901 tpd src/algebra/acplot.spad RealSolvePackage.input
    20070830 tpd src/doc/spadhelp add LinearOrdinaryDifferentialOperator2
    20070830 tpd src/algebra/Makefile add LinearOrdinaryDifferentialOperator2.help
    20070830 tpd src/algebra/lodo.spad add LinearOrdinaryDifferentialOperator2.help
    20070830 tpd src/algebra/lodo.spad LinearOrdinaryDifferentialOperator2.input
    20070830 tpd src/doc/spadhelp add LinearOrdinaryDifferentialOperator1
    20070830 tpd src/algebra/Makefile add LinearOrdinaryDifferentialOperator1.help
    20070830 tpd src/algebra/lodo.spad add LinearOrdinaryDifferentialOperator1.help
    20070830 tpd src/algebra/lodo.spad LinearOrdinaryDifferentialOperator1.input
    20070830 tpd src/doc/spadhelp add LinearOrdinaryDifferentialOperator
    20070830 tpd src/algebra/Makefile add LinearOrdinaryDifferentialOperator.help
    20070830 tpd src/algebra/lodo.spad add LinearOrdinaryDifferentialOperator.help
    20070830 tpd src/algebra/lodo.spad add LinearOrdinaryDifferentialOperator.input
    20070830 tpd src/doc/spadhelp add LiePolynomial
    20070830 tpd src/algebra/Makefile add LiePolynomial.help
    20070830 tpd src/algebra/xlpoly.spad add LiePolynomial.help (LPOLY)
    20070830 tpd src/algebra/xlpoly.spad add LiePolynomial.input
    20070830 tpd src/doc/spadhelp add LieExponentials
    20070830 tpd src/algebra/Makefile add LieExponentials.help
    20070830 tpd src/algebra/xlpoly.spad add LieExponentials.help (LEXP)
    20070830 tpd src/algebra/xlpoly.spad add LieExponentials.input
    20070830 tpd src/doc/spadhelp add Library
    20070830 tpd src/algebra/Makefile add Library.help
    20070830 tpd src/algebra/files.spad add Library.help (LIB)
    20070830 tpd src/algebra/files.spad add Library.input
    20070830 tpd src/doc/spadhelp add LexTriangularPackage
    20070830 tpd src/algebra/Makefile add LexTriangularPackage.help
    20070830 tpd src/algebra/zerodim.spad add LexTriangularPackage.help (LEXTRIPK)
    20070830 tpd src/algebra/zerodim.spad add LexTriangularPackage.input
    20070830 tpd src/doc/spadhelp add KeyedAccessFile
    20070830 tpd src/algebra/Makefile add KeyedAccessFile.help
    20070830 tpd src/algebra/numtheor.spad add KeyedAccessFile.help (KAFILE)
    20070830 tpd src/algebra/numtheor.spad add KeyedAccessFile.input
    20070830 tpd src/doc/spadhelp add Kernel
    20070830 tpd src/algebra/Makefile add Kernel.help
    20070830 tpd src/algebra/numtheor.spad add Kernel.help (KERNEL)
    20070830 tpd src/algebra/numtheor.spad add Kernel.input
    20070830 tpd src/doc/spadhelp add IntegerNumberTheoryFunctions
    20070830 tpd src/algebra/Makefile add IntegerNumberTheoryFunctions.help
    20070830 tpd src/algebra/numtheor.spad add IntegerNumberTheoryFunctions.help
    20070830 tpd src/algebra/numtheor.spad add IntegerNumberTheoryFunctions.input
    20070830 tpd src/doc/spadhelp add IntegerLinearDependence
    20070830 tpd src/algebra/Makefile add IntegerLinearDependence.help
    20070830 tpd src/algebra/lindep.spad add IntegerLinearDependence.help (ZLINDEP)
    20070830 tpd src/algebra/lindep.spad add IntegerLinearDependence.input
    20070830 tpd src/doc/spadhelp add RomanNumeral
    20070830 tpd src/algebra/Makefile add RomanNumeral.help
    20070830 tpd src/algebra/integer.spad add RomanNumeral.help (ROMAN)
    20070830 tpd src/algebra/integer.spad add RomanNumeral.input
    20070830 tpd src/doc/spadhelp add Integer
    20070830 tpd src/algebra/Makefile add Integer.help
    20070830 tpd src/algebra/integer.spad add Integer.help (INT)
    20070830 tpd src/algebra/integer.spad add Integer.input
    20070830 tpd src/doc/spadhelp add HexadecimalExpansion
    20070830 tpd src/algebra/Makefile add HexadecimalExpansion.help
    20070830 tpd src/algebra/radix.spad add HexadecimalExpansion.help (HEXADEC)
    20070830 tpd src/algebra/radix.spad add HexadecimalExpansion.input
    20070829 tpd src/doc/spadhelp add Heap
    20070829 tpd src/algebra/Makefile add Heap.help
    20070829 tpd src/algebra/bags.spad add Heap.help (FR)
    20070829 tpd src/algebra/bags.spad add Heap.input
    20070829 tpd src/doc/spadhelp add GroebnerFactorizationPackage
    20070829 tpd src/algebra/Makefile add GroebnerFactorizationPackage.help
    20070829 tpd src/algebra/fparfrac.spad add GroebnerFactorizationPackage.help
    20070829 tpd src/algebra/fparfrac.spad add GroebnerFactorizationPackage.input
    20070829 tpd src/doc/spadhelp add GeneralSparseTable
    20070829 tpd src/algebra/Makefile add GeneralSparseTable.help
    20070829 tpd src/algebra/table.spad add GeneralSparseTable.help (GSTBL)
    20070829 tpd src/algebra/table.spad add GeneralSparseTable.input
    20070829 tpd src/doc/spadhelp add FullPartialFractionExpansion
    20070829 tpd src/algebra/Makefile add FullPartialFractionExpansion.help
    20070829 tpd src/algebra/fparfrac.spad add FullPartialFractionExpansion.help
    20070829 tpd src/algebra/fparfrac.spad add FullPartialFractionExpansion.input
    20070829 tpd src/doc/spadhelp add Fraction
    20070829 tpd src/algebra/Makefile add Fraction.help
    20070829 tpd src/algebra/fraction.spad add Fraction.help (FR)
    20070829 tpd src/algebra/fraction.spad add Fraction.input
    20070829 tpd src/doc/spadhelp add Float
    20070829 tpd src/algebra/Makefile add Float.help
    20070829 tpd src/algebra/float.spad add Float.help (FLOAT)
    20070829 tpd src/algebra/float.spad add Float.input
    20070828 tpd src/doc/spadhelp add FlexibleArray
    20070828 tpd src/algebra/Makefile add FlexibleArray.help
    20070828 tpd src/algebra/array1.spad add FlexibleArray.help (FARRAY)
    20070828 tpd src/algebra/array1.spad add FlexibleArray.input
    20070827 tpd src/doc/spadhelp add FileName
    20070827 tpd src/algebra/Makefile add FileName.help
    20070827 tpd src/algebra/fname.spad add FileName.help (FNAME)
    20070827 tpd src/algebra/fname.spad add FileName.input
    20070827 tpd src/doc/spadhelp add File
    20070827 tpd src/algebra/Makefile add File.help
    20070827 tpd src/algebra/files.spad add File.help (FILE)
    20070827 tpd src/algebra/files.spad add File.input
    20070827 tpd src/doc/spadhelp add FactoredFunctions2
    20070827 tpd src/algebra/Makefile add FactoredFunctions2.help
    20070827 tpd src/algebra/fr.spad add FactoredFunctions2.help (FR2)
    20070827 tpd src/algebra/fr.spad add FactoredFunctions2.input
    20070827 tpd src/doc/spadhelp add Factored
    20070827 tpd src/algebra/Makefile add Factored.help
    20070827 tpd src/algebra/fr.spad add Factored.help (FR)
    20070827 tpd src/algebra/fr.spad add Factored.input