[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] pi, e, EXPR INT
From: |
Martin Rubey |
Subject: |
RE: [Axiom-developer] pi, e, EXPR INT |
Date: |
Thu, 16 Dec 2004 08:57:22 +0100 |
Dear Bill, Bob, Manuel,
as you probably know, I think that the EXPR domain could do with a
redo. However, it seems to me that this is rather a research topic than
anything within reach right now. So for the moment, I'd rather fix the more
apparent problems.
Concerning pi and e, I realised this moment, that it is not really a problem:
%e::EXPR FLOAT::FLOAT
works just fine...
Page, Bill writes:
> In Axiom the type of pi() is Pi. This might seem strange at first until you
> think of the importance of %pi in many areas of mathematics. It is
> convenient to have it's special properties encoded in a special type. Try
>
> )show Pi
>
> to see all of the operations defined in this domain. Notice that
> expressions like
>
> %pi+1
>
> are also of type Pi.
I don't really understand why this should make sense. After all, neither
asin(1)::FLOAT
asin(1)::HACKPI
work, although %pi/2 is of type HACKPI...
Martin