[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]