Re: [Axiom-developer] about Expression Integer (with Quizzes)

[Gabriel Dos Reis]

"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