Thanks Volker, David. Since SR can wrap everything, we might encounter these decision problems when deciding on expressions. The info you gave helps to make the result more reliable.
On Friday, July 17, 2015 at 8:40:01 PM UTC+2, David Roe wrote: > > It depends on exactly what you mean by undecidable, but this is the > definition of an inexact ring in some sense. So, p-adics, power > series rings, reals.... > That may be but 0.0000000 == 0 and also the order terms of p-adics and power series in Sage, so what you say applies to the mathematical objects but not practically. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
