[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [Sanbox Functional Addition] (new)

**From**: |
Bill Page |

**Subject**: |
[Axiom-developer] [Sanbox Functional Addition] (new) |

**Date**: |
Tue, 28 Jun 2005 14:28:18 -0500 |

Changes
http://page.axiom-developer.org/zope/mathaction/SanboxFunctionalAddition/diff
--
This library code is based directly on MappingPackage3 in
'mappkg.spad.pamphlet'
\begin{axiom}
)abbrev package MAPHAC2X MapPackInternalHac2x
++ Description:
++ This package defines the function to be returned by
++ functional operator below.
MapPackInternalHac2x(A: SetCategory, B: Ring):
MPcat == MPdef where
MPcat == with
addit: (A->B, A->B, A) -> B
++\spad{comp(f,g,x)} is \spad{f(g x)}.
MPdef == add
addit(g,h,x) == ((g x) + (h x))$B
\end{axiom}
\begin{axiom}
)abbrev package MAPPK2X MappingPackage2x
++ Description: various Currying operations.
MappingPackage2x(A:SetCategory, B:Ring):
MPcat == MPdef where
MPcat == with
"+": (A->B, A->B) -> (A->B)
++\spad{f+g} is the function \spad{h}
++ such that \spad{h x = f x + g x}.
MPdef == add
MapPackInternalHac2x(A, B)
fab: A -> B
-- Functional addition
fab+fab == addit(fab,fab,#1)
\end{axiom}
\begin{axiom}
f := (x:INT):INT +-> 3*x
g := (x:INT):INT +-> 2*x+3
(f+g)(3)
\end{axiom}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [Sanbox Functional Addition] (new)**,
*Bill Page* **<=**