[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#114 Maps on Function crash]
From: |
wyscc |
Subject: |
[Axiom-developer] [#114 Maps on Function crash] |
Date: |
Fri, 04 Mar 2005 02:47:37 -0600 |
Changes
http://page.axiom-developer.org/zope/mathaction/114MapsOnFunctionCrash/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}
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#114 Maps on Function crash],
wyscc <=