[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* **<=**