#15059: Morphisms cannot be applied to too-simple elements of a multivariate
power
series ring
-----------------------+---------------------------------------
Reporter: darij | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-5.12
Component: algebra | Keywords: rings, power series
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------+---------------------------------------
{{{
sage: M.<u,v> = PowerSeriesRing(GF(5))
sage: s = M.hom([u, u+v])
sage: s(M.one())
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
<ipython-input-4-754f257583fc> in <module>()
----> 1 s(M.one())
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/categories/map.so in sage.categories.map.Map.__call__
(sage/categories/map.c:4018)()
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/rings/morphism.so in
sage.rings.morphism.RingHomomorphism_im_gens._call_
(sage/rings/morphism.c:7481)()
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/rings/multi_power_series_ring_element.pyc in _im_gens_(self,
codomain, im_gens)
611 x + 2*y + 12*x*y^2 + O(x, y)^5
612 """
--> 613 return codomain(self(*im_gens))
614
615 def __getitem__(self,n):
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/rings/multi_power_series_ring_element.pyc in __call__(self,
*x, **kwds)
462 else:
463 newprec = self.prec()*min(valn_list)
--> 464 return self._value().subs(sub_dict).add_bigoh(newprec)
465
466 def _subs_formal(self, *x, **kwds):
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/structure/element.so in
sage.structure.element.Element.__getattr__
(sage/structure/element.c:3871)()
/home/darij/sage-5.11.beta3/local/lib/python2.7/site-
packages/sage/structure/misc.so in
sage.structure.misc.getattr_from_other_class
(sage/structure/misc.c:1696)()
AttributeError: 'sage.rings.finite_rings.integer_mod.IntegerMod_int'
object has no attribute 'add_bigoh'
}}}
(Alternatively, the same error can be caught by calling
{{{M.one()._im_gens_(M, [u,u+v])}}} without ever defining {{{s}}}.)
Note that {{{s(u)}}} and {{{s(v)}}} work fine.
--
Ticket URL: <http://trac.sagemath.org/ticket/15059>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
