On Wed, Jul 9, 2008 at 4:19 PM, Bill Page <[EMAIL PROTECTED]> wrote:
> Yes,
> \begin{axiom}
> x:Polynomial Float
> p:=(x**2-1)/(x-1)
> eval(p,x=1)
> \end{axiom}
> is certainly legal and safe in the domain of polynomial
> where the result is required to be a polynomial although it
> seems that Axiom is being careful to give the result type
> as 'Fraction Polynomial Float' and not automatically
> 'Polynomial Float'.And it is also true in that field (x^2 - 1)/(x-1) is the same as (x+1). There is no if no but, > Do you agree that it is not safe if all we know about 'x' > is that it is a symbol which can be replaced with a Float? Again, you have to be careful about the domain of interpretation. -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
