axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] [Tuples Products And Records] links updated after rena


From: Bill Page
Subject: [Axiom-developer] [Tuples Products And Records] links updated after rename
Date: Thu, 07 Jul 2005 09:22:25 -0500

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

??changed:
-What we need is a function
What we need is are the functions:

++added:
)set functions compile on

++added:
rightCurry:((INT,INT)->INT)->(INT->(INT->INT))
rightCurry(f)== y+->(x+->f(x,y))

??changed:
-But the Axiom interpreter is not able compile this function.
-
-See [SandBox Curry] for more attempts to define this in Axiom.
The option ')set functions compile on' is required for the Axiom
interpreter to able to successfully compile this function. See #156

\begin{axiom}
plus:(INT,INT)->INT
plus(x,y) == x+y
curryPlus:=leftCurry(plus)
curryPlus1:=curryPlus(1)
curryPlus1(2)
\end{axiom}

See [SandBox Curry] for an attempt to define left and right Curry
as an Axiom library functions.

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




reply via email to

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