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