
From:  kratt6 
Subject:  [Axiomdeveloper] [#114 Map on Functions crash] 
Date:  Thu, 23 Jun 2005 06:29:13 0500 
Changes http://page.axiomdeveloper.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 == x1 \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 == x1 \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.axiomdeveloper.org/zope/mathaction/address@hidden
[Prev in Thread]  Current Thread  [Next in Thread] 