>>> >>>> *yixin.cao wrote:* -- In the light of polynomial, (2d) is a >>>> non-zero polynomial, so that it's always safe to write (1/(2d)) >>>> >> ...
> On Wed, Jul 9, 2008 at 10:38 AM, Bill Page wrote: >> But is computing in the field Q(d) "safe" if we eventually intend to >> replace d with some non-symbolic value? > On Wed, Jul 9, 2008 at 3:56 PM, Gabriel Dos Reis wrote: > That is a question separate from whether the polynomial 2*d is > nonzero or not. There is no doubt it is nonzero. > Call it whatever you like. My question is: "Is yixin.cao's original claim true?" >> Isn't there a possibility that >> such computations could lead to incorrect results due to (for example) >> implicit divisions by 0? > > This is a classic problem of interpretation, discussed by classic volumes > of algebra books, and classics of symbolic computation. > True. What is your point? > And this is precisely one of the fundamental reasons why I prefer > a distinct domain Symbolic T, instead of reusing Polynomial or > similar thing. From my point of view, this is also a good reason > to reject Union(Variable d, Float). > How will 'Symbolic T' deal with this issue? How will it be different from Polynomial? > ... Regards, Bill Page. ------------------------------------------------------------------------- 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
