[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


-  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:
-#include "axiom"
-Test: with { f: (n: PositiveInteger) -> PrimeField(n) } 
-   == add { f(n: PositiveInteger): PrimeField(n) == 
-              10::Integer::PrimeField(n) }
-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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]