#12912: Interface to Fokko Ducloux's Coxeter 3
-----------------------------------+----------------------------------------
       Reporter:  nthiery          |         Owner:  sage-combinat              
      
           Type:  enhancement      |        Status:  needs_work                 
      
       Priority:  major            |     Milestone:  sage-5.7                   
      
      Component:  combinatorics    |    Resolution:                             
      
       Keywords:  coxeter, days45  |   Work issues:  coxeter_group.py in 
sage/libs ?  
Report Upstream:  N/A              |     Reviewers:  Anne Schilling, Nicolas M. 
Thiery
        Authors:  Mike Hansen      |     Merged in:                             
      
   Dependencies:  #8359            |      Stopgaps:                             
      
-----------------------------------+----------------------------------------

Comment (by aschilling):

 The index set was computed incorrectly (for affine types). I fixed that.

 Unfortunately, going from sage-5.6 to sage-5.7.beta4 the following now
 fails:
 {{{
 sage: C = CoxeterGroup(['A',3,1],implementation='coxeter3')
 sage: s = C.gens()
 sage: s[0]*s[1]
 ---------------------------------------------------------------------------
 TypeError                                 Traceback (most recent call
 last)
 <ipython-input-3-059a6d605fdd> in <module>()
 ----> 1 s[Integer(0)]*s[Integer(1)]

 /Applications/sage-5.7.beta4/local/lib/python2.7/site-
 packages/sage/categories/magmas.pyc in __mul__(self, right)
     307             """
     308             if have_same_parent(self, right) and hasattr(self,
 "_mul_"):
 --> 309                 return self._mul_(right)
     310             from sage.structure.element import get_coercion_model
     311             import operator

 /Applications/sage-5.7.beta4/local/lib/python2.7/site-
 packages/sage/libs/coxeter/coxeter_group.pyc in _mul_(self, y)
     450             """
     451             result = self.value * y.value
 --> 452             return self.parent()(result)
     453
     454         def __eq__(self, y):

 /Applications/sage-5.7.beta4/local/lib/python2.7/site-
 packages/sage/structure/parent.so in sage.structure.parent.Parent.__call__
 (sage/structure/parent.c:7474)()

 TypeError: No conversion defined from Coxeter group of type a and rank 4
 to Coxeter group of type ['A', 3, 1] implemented by Coxeter3
 }}}

 Anne

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12912#comment:49>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to