"Bill Page" <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
