axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [#114 Map on Functions crash] Here is one way that wor


From: anonymous
Subject: [Axiom-developer] [#114 Map on Functions crash] Here is one way that works
Date: Fri, 04 Mar 2005 05:18:31 -0600

Changes 
http://page.axiom-developer.org/zope/mathaction/114MapOnFunctionsCrash/diff
--
We can avoid the use of an anonymous function and use
function composition to define the functional 'g' as follows:
\begin{axiom}
)clear all
dom ==> INT -> INT

g(f:dom):dom ==
  function(x^2,sq,x)
  sq * f

p(x:INT):INT == x-1

q := g p

q 3
\end{axiom}

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




reply via email to

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