> Maybe I am just stupid, but I think that it would be good for this > behaviour to be documented more clearly! After all, if I define > R=RealField(200) and mutiply elements of R together the results will > still only have 200 bits of precision. (And yes, I do know the > difference between archimedean and non-archimedean valuations, but > still!) >
More documentation is always good, but I would argue that the right solution is to change the behavior of power series rings to line up with p-adics. After #12555, I think the right way to do this is to implement power series using the templates code there (there will need to be some modifications to p-adic elements since the code can no longer assume that it's in a finite extension of Qp, but it won't be too bad). David -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
