[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Axiom Language]
From: |
Bill Page |
Subject: |
[Axiom-developer] [Axiom Language] |
Date: |
Wed, 09 Mar 2005 21:57:14 -0600 |
Changes http://page.axiom-developer.org/zope/mathaction/AxiomLanguage/diff
--
++added:
Overloading and Dependent Types
Many Axiom operations have the same name but different
types and these types can be dependent on other types.
For example
\begin{axiom}
)display operation differentiate
\end{axiom}
We can see how the interpreter resolves the type::
[14] (D,D1) -> D from D if D has PDRING D1 and D1 has SETCAT
in the following example
\begin{axiom}
)set message bottomup on
differentiate(sin(x),x)
\end{axiom}
Notice that
\begin{axiom}
EXPR INT has PDRING SYMBOL
SYMBOL has SETCAT
\end{axiom}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
- [Axiom-developer] [Axiom Language],
Bill Page <=