[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: version 107 of trunk

From: Ralf Hemmecke
Subject: [Axiom-developer] Re: version 107 of trunk
Date: Tue, 02 Jan 2007 21:38:09 +0100
User-agent: Thunderbird (X11/20061206)

On 01/01/2007 10:36 PM, Martin Rubey wrote:
Ralf Hemmecke <address@hidden> writes:

I have seen your definitions of Partial and Generator before, but I am not
quite sure whether they are needed.
Yes, I need them, since I don't want to create all the 848456353 binary
at once.
Actually, that doesn't mean that you have to define Partial or Generator.

If you look more closely, you use "extend Generator" in (trunk
r109), i.e. Generator is already existing.

Well, yes and no. Generator exists only in libaldor. extending Generator makes
it visible to axiom.

That is interesting. But it only says that you cannot assign a Generator object to a variable (I believe). However, try the following code with

l: List Integer := [2,3,5]
neg gen l

#include "axiom"
PkgA: with {
        gen: List Integer -> Generator Integer;
        neg: Generator Integer -> List List Integer;
} == add {
        gen(l: List Integer): Generator Integer == generator l;
        neg(g: Generator Integer): List List Integer == {
                import from List Integer;
                [[x] for x in g];


reply via email to

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