[Axiom-developer] [#114 Map on Functions crash]

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/114MapOnFunctionsCrash/diff
--

??changed:
-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}
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}

--removed:
-

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden