[Axiom-developer] Axiom crash

[Ralf Hemmecke]

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