[Axiom-developer] [AldorForAxiom]

[kratt6]

Changes http://page.axiom-developer.org/zope/mathaction/AldorForAxiom/diff
--

??changed:
-  On Tue, 11 Jan 2005 15:43:53 +0100 **Martin Rubey** wrote:
-
-The following Aldor construct does not yet work in Axiom.
-
-I just tried another example, which is in fact the reason why
-I would love to have Aldor working. I did not expect it to work,
-and it does not, but it works *almost*. The code is as follows:
-
-\begin{aldor}
-#include "axiom"
-
-Test: with { f: (n: PositiveInteger) -> PrimeField(n) } 
-   == add { f(n: PositiveInteger): PrimeField(n) == 
-              10::Integer::PrimeField(n) }
-\end{aldor}
-
-Note that such a construction -- the resulting domain depending on
-the function parameter -- is currently illegal in Axiom. In Aldor
-it is fine.
-[65 more lines...]
see Issue #219


--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden