[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