[Axiom-developer] [Maxima]

[Bill Page]

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

??changed:
-diff(x^2,x)
-
-From unknown Thu Aug 26 03:14:57 -0500 2004
-From: 
-Date: Thu, 26 Aug 2004 03:14:57 -0500
-Subject: 
-Message-ID: <address@hidden>
-
-\begin{maxima}
-diff(x^2,x)
-\end{maxima}
\begin{axiom}
)abbrev package TEST1 Test1
++ Description: various Currying operations.
Test1(A:SetCategory):_
  MPcat == MPdef where
    B   ==>  Integer
 
    MPcat ==  with
        g:(A->B) -> (A ->B)
    MPdef == add
 
        MappingPackageInternalHacks3(A, B, B)
 
        fab:  A -> B
        sq: B -> B

        sq(x)== (x*x)$B
        g(fab) == comp(sq,fab,#1)
\end{axiom}

\begin{axiom}
p(x:INT):INT == x-1
p 4
\end{axiom}


\begin{axiom}
q := g p
q 4
\end{axiom}

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