[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Axiom crash
From: |
Ralf Hemmecke |
Subject: |
[Axiom-developer] Axiom crash |
Date: |
Tue, 28 Jun 2005 17:49:15 +0200 |
User-agent: |
Mozilla Thunderbird 1.0 (X11/20041206) |
I have two things.
1)
E := Expression Integer
F := E -> E
Why doesn't Axiom let me define the following function in this way.
compose(f:F, g:F)(e:E):E == f(g(e))
All or none of the arguments and result type of compose must be
declared.
There are all arguments defined.
I have to say something like
compose(f:F, g:F):F == (e:E):E +-> f(g(e))
2) Axiom patch40 crashes (at least on my Debian installation) on the
following code.
E := Expression Integer
F := E -> E
compose(f:F, g:F):F == (e:E):E +-> f(g(e))
p(e:E):E == 2*e+1
q(e:E):E == 3*e+1
compose(p,q)
Best regards
Ralf
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Axiom crash,
Ralf Hemmecke <=