XML/Aldor/OpenMath

(Free download of the Aldor compiler is available here).

Aldor libraries for dealing with XML objects

This code implements a series of Aldor categories, domains and functions which allow one to construct and manipulate XML objects in the Aldor programming environment. The code may be accessed here.

The specification for the functions implemented is roughly based on the DOM level2 core interface, however due to the non-object oriented aspects of Aldor many of the function signatures have been altered to account for this.

A user guide for the Aldor XML-Dom may be found here.

All the packages available from this site assume that this Aldor XML library is available.

An Aldor XML parser

An aldor xml parser is available here.

An Aldor OpenMath domain

Some Aldor domains and functions have been implemented for constructing and querying OpenMath objects. The code is available here.

Some Aldor MathML domains

A domain for constructing Content MathML objects has been created, you may access the code here.
The XSLT stylesheet used to create the code from this token file may be accessed here.
A domain for constructing Presentation MathML objects has been created, you may access the code here.
The XSLT stylesheet used to create the code from this token file may be accessed here.

Using sts files to construct Aldor domains

This may be achieved using a tool which you can download at
http://www.mcs.vuw.ac.nz/~bill/AldorXML/sts2aldor.tar, Compressed version.

Examples of the tool in action may be found at the following page:
http://www.mcs.vuw.ac.nz/~bill/AldorXML/examples.html
Known bugs

Extensions to aldor domains

I intend to provide extensions to a number of domains, which will allow objects from that domain to be converted to and from OpenMath/MathML. (Not done yet!)

Libraries

You may download the entire XML library here
And the OpenMath library here.

Factorisation code

Axiom factorisation code (spad code) has been converted into aldor code. On a small test (38 decimal digits, 5 factors) the aldor code returns the solution in roughly 1/2 of the time taken by Axiom.

Licensing details

A small number of files accessable from this page are distributed under the Aldor Public License. Everything else is distributed under the LGPL.

You are visitor number .
Get a GoStats hit counter

Private link