[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] pi, e, EXPR INT
From: |
Manuel Bronstein |
Subject: |
Re: [Axiom-developer] pi, e, EXPR INT |
Date: |
Mon, 03 Jan 2005 18:05:07 +0100 |
Greetings,
>
> What is the purpose of the domain HACKPI ??
>
HACKPI is a hack provided for the benefit of the axiom interpreter.
As a mathematical type, it is the simple transcendental extension
Q(\pi) of the rational numbers. This type allows interactive users
to use the name '%pi' without a type both where a numerical value is expected
[ as in draw(sin x,x=-%pi..%pi) ] or when the exact symbolic value is meant.
The interpreter defaults a typeless %pi to HACKPI and then uses the various
conversions to cast it further as required by the context.
One could argue that it is unfair to single %pi out from other constants,
but it occurs frequently enough in school examples (specially for graphs)
so it was worth a special hack. In a non-interactive environment (library),
HACKPI would not exist.
Best,
--
-- Manuel Bronstein
-- address@hidden
-- http://www.inria.fr/cafe/Manuel.Bronstein/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Axiom-developer] pi, e, EXPR INT,
Manuel Bronstein <=