[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [AxiomProblems] (t>0)$POLY INT

**From**: |
Bill Page |

**Subject**: |
[Axiom-developer] [AxiomProblems] (t>0)$POLY INT |

**Date**: |
Tue, 15 Mar 2005 04:03:40 -0600 |

Changes http://page.axiom-developer.org/zope/mathaction/AxiomProblems/diff
--
But in 'D(N(t,0,3),t)' you are not calling the function N
with numeric parameters. In 'N(t,0,3)' the type of t is
'Variable t'. Ultimately 'N(t,0,3)=0' because of your funtion
definition 'N0(t|(t<0) or (t>1))==0'. This is '0' because
't>1' is 'true' when 't' is of type 'Variable t'. You can
see why if you use the option ')set message bottomup on' to
see the mode map selection
\begin{axiom}
)set message bottomup on
t>1
\end{axiom}
So Axiom interprets both 't' and '1' as being of type 'POLY INT'
and the function '>' is defined by the lexical ordering of the
polynomials.
I will grant that this result is counter-intuitive, but I think
that once you understand why Axiom gives this result then you
will be in a good position to understand the rest of Axiom's
type system!
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

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

**[Axiom-developer] [AxiomProblems] (t>0)$POLY INT**,
*Bill Page* **<=**