The following currently fails, but I think it should succeed: sage: 5^-1 * 21 + O(5^3) ------------------------------------------------------------------------ --- <type 'exceptions.TypeError'> Traceback (most recent call last)
/home/dmharvey/regulators/<ipython console> in <module>() /home/dmharvey/regulators/element.pyx in element.ModuleElement.__add__() /home/dmharvey/regulators/coerce.pyx in coerce.CoercionModel_cache_maps.bin_op_c() <type 'exceptions.TypeError'>: unsupported operand parent(s) for '+': 'Rational Field' and '5-adic Ring with capped relative precision 3' I'm not sure what the right behaviour should be though. Either O(5^3) should return a p-adic field element (hmmm I don't like that), or there's a coercion in there somewhere which isn't quite right. david --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
