[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


This problem does not occur on the NAG version.

g(f:dom):dom== x+->(f(x))^2
p(x:INT):INT == x-1

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)

q:= g p

Below is the transcript for the NAG version:

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 
                                                                   Type: Void
G82322 (4) -> q:= g p
   Compiling function p with type Integer -> Integer 
   Compiling function g with type (Integer -> Integer) -> (Integer -> 
<code>+++ |*1;g;1;G82322| redefined</code>
   (4)  theMap(LAMBDA_ibs3ze_708,174)
                                                   Type: (Integer -> Integer)
G82322 (5) -> q 3

   (5)  4
                                                        Type: PositiveInteger

forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]