[Axiom-developer] Axiom January 2008 release

[daly]

Summary: January 2008 release

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

The first concentration was on the new Firefox Hyperdoc and the
second concentration was the verification of Axiom against
publish 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 publish 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
  20080125.01.tpd.patch
  20080125.02.tpd.patch