#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):

 I added
 {{{
 #!python
     def test_coercions(self):
         return self._coerce_from_hash
 }}}
 to self.structure.parent.Parent, and obtain
 {{{
 sage: H = MacdonaldPolynomialsH(QQ)
 sage: P = MacdonaldPolynomialsP(QQ)
 sage: m = SFAMonomial(P.base_ring())
 sage: Ht = MacdonaldPolynomialsHt(QQ)
 sage: P in Ht.test_coercions()
 False
 sage: P.one()
 McdP[]
 sage: P in Ht.test_coercions()
 False
 sage: phi = m.coerce_map_from(P)
 sage: P in Ht.test_coercions()
 True
 sage: Ht.test_coercions()[P] is None
 True
 }}}

 In other words, trying to find the coercion from P to m changes the
 coercion cache of Ht. Funny.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12969#comment:11>
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.

Reply via email to