[Axiom-developer] [#114 Maps on Function crash ] Save button not working

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/114MapsOnFunctionCrash/diff
--
This problem does not occur on the NAG version.

\begin{axiom}
dom:=(INT->INT)
g(f:dom):dom== x+->(f(x))^2
p(x:INT):INT == x-1
\end{axiom}

The next line crashes Axiom. (Here the crash is indicated by not showing the 
result for <code>q</code> which should be something like 
<code>theMap(LAMBDA_ibs3ze_708.174)</code> (from NAG version)

\begin{axiom}
q:= g p
\end{axiom}

Below is the transcript for the NAG version:

<pre>
G82322 (1) -> dom:= (INT->INT)

   (1)  (Integer -> Integer)
                                                                 Type: Domain
G82322 (2) -> g(f:dom):dom== x+->(f(x))^2
   Function declaration g : (Integer -> Integer) -> (Integer -> Integer
      ) has been added to workspace.
                                                                   Type: Void
G82322 (3) -> p(x:INT):INT==x-1
   Function declaration p : Integer -> Integer has been added to 
      workspace.
                                                                   Type: Void
G82322 (4) -> q:= g p
   Compiling function p with type Integer -> Integer 
   Compiling function g with type (Integer -> Integer) -> (Integer -> 
      Integer) 
</pre>
<code>+++ |*1;g;1;G82322| redefined</code>
<pre>
   (4)  theMap(LAMBDA_ibs3ze_708,174)
                                                   Type: (Integer -> Integer)
G82322 (5) -> q 3

   (5)  4
                                                        Type: PositiveInteger
</pre>
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden