axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] Bootstrap documentation.


From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Bootstrap documentation.
Date: Tue, 08 May 2007 17:30:48 +0200
User-agent: Thunderbird 2.0.0.0 (X11/20070326)

So
    Plus: (SPECIES, SPECIES) -> SPECIES
as an addition of species.

Does that look simpler?

Yes, excellent. That is much better. Now L only appears explicity
in the body of the function. Is it equivalent to what Martin wrote?

Yes that compiles and "make check" does not report an error.

Ralf




reply via email to

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