2012-04-01 22:48:39 +02:00
|
|
|
$NetBSD: distinfo,v 1.6 2012/04/01 20:48:39 asau Exp $
|
Import openaxiom-1.2.0 as math/openaxiom.
Packaged by Aleksej Saushev through the pkgsrc-wip project.
OpenAxiom is an open source platform for symbolic, algebraic,
and numerical computations. It offers an interactive environment,
an expressive programming language, a compiler, a large set of
mathematical libraries of interest to researchers and practitioners
of computational sciences.
OpenAxiom strives to support ubiquitous, advanced, high quality
open source computer algebra on major operating systems,
in particular major Unix variants, GNU/Linux variants, Windows,
and handheld devices. It aims at being the open source computer
algebra system of choice for research, teaching, engineering, etc.
2008-08-28 22:07:51 +02:00
|
|
|
|
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.
2012-03-23 22:20:46 +01:00
|
|
|
SHA1 (open-axiom-1.4.1.tar.bz2) = 52a6791c31125507f33b48d4ea38e7a9c7918cb5
|
|
|
|
|
RMD160 (open-axiom-1.4.1.tar.bz2) = 172f21ce6bfde933a51e0fdfdeae19617a611d1e
|
|
|
|
|
Size (open-axiom-1.4.1.tar.bz2) = 10023493 bytes
|
|
|
|
|
SHA1 (patch-src_hyper_htadd.c) = 178409e3caca7bbdf02df2ff605ae44539e4f9b3
|
|
|
|
|
SHA1 (patch-src_hyper_lex.c) = 6b8ccab845defc78254c98f60adc8397acefc2c6
|
2012-04-01 22:48:39 +02:00
|
|
|
SHA1 (patch-src_interp_patches.lisp) = ab826628fec7e234b7f3eed796664b4c4766ffb3
|
