[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [AldorForAxiom]
From: |
kratt6 |
Subject: |
[Axiom-developer] [AldorForAxiom] |
Date: |
Sat, 15 Oct 2005 06:01:10 -0500 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [AldorForAxiom],
kratt6 <=