[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] about Expression Integer (with Quizzes)
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] 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