#5076: bug with (coercion in?) p-adic extension fields
---------------------------+------------------------------------------------
Reporter: jen | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.3
Component: number theory | Keywords:
---------------------------+------------------------------------------------
Sage gets confused when coercing things to a p-adic extension: i.e., this
doesn't work:
{{{
sage: K = Qp(11,8)
sage: b = -2
sage: S.<x> = QQ['x']
sage: J.<a> = K.extension((x+b)**11-b)
sage: J(11^-1+O(11))
---------------------------------------------------------------------------
ValueError Traceback (most recent call
last)
/home/jen/<ipython console> in <module>()
/usr/local/sage/local/lib/python2.5/site-
packages/sage/rings/padics/padic_generic.pyc in __call__(self, x, absprec,
relprec)
82 Casts x into self. Uses the constructor of
self._element_class.
83 """
---> 84 return self._element_class(self, x, absprec, relprec)
85
86 def _coerce_impl(self, x):
/usr/local/sage/local/lib/python2.5/site-
packages/sage/rings/padics/padic_ZZ_pX_CR_element.so in
sage.rings.padics.padic_ZZ_pX_CR_element.pAdicZZpXCRElement.__init__
(sage/rings/padics/padic_ZZ_pX_CR_element.cpp:3550)()
/usr/local/sage/local/lib/python2.5/site-
packages/sage/rings/padics/padic_capped_relative_element.so in
sage.rings.padics.padic_capped_relative_element.pAdicCappedRelativeElement._set_to_mpz
(sage/rings/padics/padic_capped_relative_element.c:6980)()
ValueError: negative valuation
}}}
However, this does:
{{{
sage: J(11^-1)
10*a^-11 + 10*a^-10 + 8*a^-9 + 10*a^-8 + a^-7 + 7*a^-6 + 2*a^-5 + 4*a^-4 +
10*a^-3 + 2*a^-2 + 2*a^-1 + 6 + 3*a^2 + 9*a^5 + 5*a^6 + 2*a^7 + 8*a^8 +
5*a^9 + 2*a^10 + 2*a^11 + 7*a^12 + a^13 + 8*a^14 + 4*a^16 + 4*a^17 +
4*a^18 + 6*a^19 + 5*a^20 + 4*a^21 + 7*a^22 + 7*a^23 + 3*a^24 + 6*a^25 +
5*a^26 + 10*a^27 + 9*a^28 + 8*a^30 + 6*a^31 + a^32 + 6*a^33 + 6*a^34 +
4*a^35 + 8*a^36 + 10*a^38 + 8*a^39 + 4*a^40 + 7*a^41 + 2*a^42 + 5*a^44 +
5*a^45 + 5*a^46 + 4*a^47 + 5*a^48 + 3*a^49 + 3*a^50 + a^52 + 7*a^53 +
9*a^54 + 5*a^55 + 5*a^56 + 3*a^57 + 8*a^58 + 7*a^60 + 8*a^61 + 8*a^62 +
5*a^63 + 2*a^64 + 9*a^66 + 3*a^67 + 10*a^68 + 4*a^69 + 5*a^71 + 4*a^72 +
3*a^73 + 3*a^74 + 4*a^75 + 6*a^76 + O(a^77)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5076>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
