#12969: Coercion failures in symmetric functions
-------------------------------------------------+--------------------------
Reporter: aschilling | Owner: sage-combinat
Type: defect | Status: new
Priority: major | Milestone: sage-5.3
Component: combinatorics | Resolution:
Keywords: symmetric functions, coercion | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------+--------------------------
Comment (by SimonKing):
If I understand correctly, the coercion maps are supposed to go via Schur
basis. But while one has
{{{
sage: H = MacdonaldPolynomialsH(QQ)
sage: P = MacdonaldPolynomialsP(QQ)
sage: m = SFAMonomial(P.base_ring())
sage: Ht = MacdonaldPolynomialsHt(QQ)
sage: Ht._s
Symmetric Function Algebra over Fraction Field of Multivariate Polynomial
Ring in q, t over Rational Field, Schur symmetric functions as basis
sage: Ht._s.has_coerce_map_from(P)
True
}}}
one has (or does in fact ''not'' have)
{{{
sage: P._s
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
/home/simon/SAGE/prerelease/sage-5.2.rc0/<ipython console> in <module>()
/home/simon/SAGE/prerelease/sage-5.2.rc0/local/lib/python2.7/site-
packages/sage/structure/parent.so in
sage.structure.parent.Parent.__getattr__ (sage/structure/parent.c:5967)()
/home/simon/SAGE/prerelease/sage-5.2.rc0/local/lib/python2.7/site-
packages/sage/structure/misc.so in
sage.structure.misc.getattr_from_other_class
(sage/structure/misc.c:1427)()
AttributeError: 'MacdonaldPolynomials_p_with_category' object has no
attribute '_s'
sage: P._self_to_s(P.one())
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
/home/simon/SAGE/prerelease/sage-5.2.rc0/<ipython console> in <module>()
/home/simon/SAGE/prerelease/sage-5.2.rc0/local/lib/python2.7/site-
packages/sage/combinat/sf/macdonald.pyc in _self_to_s(self, x)
421 (3*q-6)*s[1, 1, 1] + (-4*q+1)*s[2, 1]
422 """
--> 423 return self._s._from_cache(x, self._s_cache,
self._self_to_s_cache, q = self.q, t = self.t) # do we want this t =
self.t?
424
425 def c1(self, part):
/home/simon/SAGE/prerelease/sage-5.2.rc0/local/lib/python2.7/site-
packages/sage/structure/parent.so in
sage.structure.parent.Parent.__getattr__ (sage/structure/parent.c:5967)()
/home/simon/SAGE/prerelease/sage-5.2.rc0/local/lib/python2.7/site-
packages/sage/structure/misc.so in
sage.structure.misc.getattr_from_other_class
(sage/structure/misc.c:1427)()
AttributeError: 'MacdonaldPolynomials_p_with_category' object has no
attribute '_s'
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12969#comment:7>
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 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.
