[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] comparison operators and %pi
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] comparison operators and %pi |
Date: |
24 May 2007 20:09:32 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Sumant S.R. Oemrawsingh" <address@hidden> writes:
> I just find this very strange:
> (1) -> %e
>
> (1) %e
> Type: Expression Integer
> (2) -> %pi
>
> (2) %pi
> Type: Pi
>
> Why is %e of type Expression Integer, while %pi is of type Pi? Is there some
> deeper reason why Pi is its own type?
For some reasons, the original developers of axiom found %pi more important
than %e. For elements of Expression Integer there is no direct conversion to
Float, so they created an own domain HackPi, which contains only %pi and the
necessary conversion functions. The didn't want to do the same thing with %e
though:
(2) -> %e::Float
Cannot convert from type Expression Integer to Float for value
%e
In my opinion, we should have a domain for "general" constants, i.e., like
Expression Integer but without variables, and, more generally, a domain for
expressions with a given set of variables, similar to MPOLY. But I guess,
that's a fair bit of work.
Martin
- [Axiom-mail] comparison operators and %pi, Sumant S.R. Oemrawsingh, 2007/05/24
- Re: [Axiom-mail] comparison operators and %pi, Themos Tsikas, 2007/05/24
- Re: [Axiom-mail] comparison operators and %pi, Martin Rubey, 2007/05/24
- Re: [Axiom-mail] comparison operators and %pi, Sumant S.R. Oemrawsingh, 2007/05/24
- Re: [Axiom-mail] comparison operators and %pi,
Martin Rubey <=
- Re: [Axiom-mail] comparison operators and %pi, Alasdair McAndrew, 2007/05/25
- Re: [Axiom-mail] comparison operators and %pi, Martin Rubey, 2007/05/25
- Re: [Axiom-mail] comparison operators and %pi, Alasdair McAndrew, 2007/05/25
- Re: [Axiom-mail] comparison operators and %pi, Sumant S.R. Oemrawsingh, 2007/05/25
- Re: [Axiom-mail] comparison operators and %pi, Themos Tsikas, 2007/05/25