[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.


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

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

Best regards

reply via email to

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