On Tuesday, October 7, 2014 7:14:57 PM UTC+1, Nils Bruin wrote: > > I'd say in p-adics elements simply carry around their own precision. The > different parents simply supply a cap on how big that precision can be. >
Thats just another way of saying that they implement precision both in the parent and the element. Maybe it sounds better, fine. Still means that you have to manually implement the coercion to the right precision instead of using the coercion framework. > I think this is all driven by Sage's use of ==, which means: after >> coercion. Which is surely what you expect in interactive use, but >> devastating once you use it for caching decisions: >> > Indeed, and calling "==" on floats or power series is almost surely the > wrong thing to do. > Comparison for power series makes perfect sense to me, coerce to the lowest common precision and then compare coefficients. Its just that the mathematical expectation is at odds with the Python implementation of associative containers. -- 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.
