[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] about Expression Integer (with Quizzes)
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] about Expression Integer (with Quizzes) |
Date: |
27 Feb 2006 10:24:52 +0100 |
"Bill Page" <address@hidden> writes:
[...]
| > )set mess bot off
| > (6) y:DMP([y], INT);
| > variables (2*y+1/y)
| >
|
| I wrote: "Error same as in (2)". So I have to admit I got this
| one wrong but I should not have. The explanation is simple. This
| is not a package call as it was in (2), so the interpreter is
| free to apply the usual coercion to 'FRAC DMP([y], INT)' in order
| to obtain a selection for '/'.
When it takes so many Axiom experts to get those things wrong -- no
matter how obvious they might seem with hindsight -- I believe
the "free hands" given to the interperter may be questioned :-)
What I retain from this fascinating thread is that the implemented
underlying mechanim for interpreting polynomials is, hmmm, far from
"obvious" and "intuitive".
-- Gaby