---
- branch: MAIN
  date: Fri Mar 23 21:20:47 UTC 2012
  files:
  - new: '1.6'
    old: '1.5'
    path: pkgsrc/math/openaxiom/Makefile
    pathrev: pkgsrc/math/openaxiom/Makefile@1.6
    type: modified
  - new: '1.6'
    old: '1.5'
    path: pkgsrc/math/openaxiom/PLIST
    pathrev: pkgsrc/math/openaxiom/PLIST@1.6
    type: modified
  - new: '1.5'
    old: '1.4'
    path: pkgsrc/math/openaxiom/distinfo
    pathrev: pkgsrc/math/openaxiom/distinfo@1.5
    type: modified
  - new: '0'
    old: '1.1'
    path: pkgsrc/math/openaxiom/patches/patch-aa
    pathrev: pkgsrc/math/openaxiom/patches/patch-aa@0
    type: deleted
  - new: '0'
    old: '1.1'
    path: pkgsrc/math/openaxiom/patches/patch-src_lisp_core.lisp.in
    pathrev: pkgsrc/math/openaxiom/patches/patch-src_lisp_core.lisp.in@0
    type: deleted
  id: 20120323T212047Z.a3f0f63ea256d30a115aa39160665bbe5831a213
  log: |
    Update to OpenAxiom 1.4.1

    Changes in OpenAxiom-1.4.1

    Algebra

    The domain ScriptFormulaFormat and the package ScriptFormulaFormat1 have been removed.

    Changes in OpenAxiom-1.4.0

    This release introduces the following changes from the base document
    ("AXIOM: The Scientific Computation System" by Jenks and Sutor).

    Compiler

      * The compiler now accepts interpreter-style unnamed functions.
      * The compiler now generate far better (Lisp) codes for Spad libraries
        or scripts. The compiler now applies more aggressive (but sound)
        optimizations, including domain inlining, type propagations.
      * The compiler now accepts interpreter-style unnamed functions.
      * Parameterized macros are now supported by the compiler.
      * The compiler now support exception handling. In particular,
        the try/finally programming construct was added to support reliable
        resource management (e.g. opening/closing or creating/removing files.)

    Algebra

    In addition to novelties in OpenAxiom-1.3.0, the following types have been
    added to OpenAxiom-1.4.0:

      * The category BooleanLogic has been added.
        It is now extended by PropositionalLogic and BitAggregate.
        The domain SingleInteger now satisfies BooleanLogic.
      * It it now possible to obtain the string representation of a
        DoubleFloat value. The function

           string: DoubleFloat -> %

        was added to the domain String
      * A function matrix is now exported by the category MatrixCategory
        to allow construction of matrices whose entries can be succinctely
        described by a function. For instance, the 4-by-4 Hilbert matrix
        may be expressed as

           m: Matrix Fraction Integer := matrix(4,4,(i,j) +-> 1/(i+j))

        Note that the third argument is a function that computes the value
        of the (i,j)th entry.
      * The category StringCategory was removed as it was essentially redundant
        with the category StringAggregate.
      * The category MappingCategory is now part of the algebra as a builtin
        category constructor.
      * The following operators

           less?: (%,NonNegativeInteger) -> Boolean
           more?: (%,NonNegativeInteger) -> Boolean
           size?: (%,NonNegativeInteger) -> Boolean

        have been moved from the category Aggregate to StreamAggregate
        where they seem more appropriate.
      * The domain InnerTaylorSeries now satisfies the category BiModule.
      * The domains FreeModule and OrderedFreeMonoid now satisfy the newly
        added FreeMonoidCategory.
      * The list of domains for OpenAxiom program manipulation has been expanded.
      * Support for range and segment bindings now includes RangeBinding.

    Boot

    Boot, the programming language used to write the OpenAxiom compiler,
    has been vastly improved. Lisp codes are being phased out.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/openaxiom'
  unixtime: '1332537647'
  user: asau