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 Hemmecke See #114 MapOnFunctionsCrash? --Bill Page, Tue, 28 Jun 2005 11:42:56 -0500 reply Status: open => duplicate
|