[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

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
)set message bottomup on
So Axiom interprets both 't' and '1' as being of type 'POLY INT'
and the function '>' is defined by the lexical ordering of the

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]