RE: [Axiom-developer] pi, e, EXPR INT

[Martin Rubey]

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