You are right, this will succeeded in the new pushout model
Z
/ \
Q Zp
\ /
Qp
On Aug 3, 2007, at 9:37 AM, David Harvey wrote:
>
> 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 [email protected]
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/
-~----------~----~----~----~------~----~------~--~---
