#16678: Fix coercions for descent and symmetric group algebras
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  tscrim
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.3
      Component:  coercion           |   Resolution:
       Keywords:  symmetric group    |    Merged in:
  algebra, descent algebra           |    Reviewers:  Darij Grinberg
        Authors:  Travis Scrimshaw   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  3fa802d270a0d6f560ecd845132c22a85add33ee
  public/coercion/fix_sga_coercions-16678|     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by vbraun):

 * status:  positive_review => needs_work


Comment:

 {{{
 sage -t --long src/sage/categories/groups.py
 **********************************************************************
 File "src/sage/categories/groups.py", line 531, in
 sage.categories.groups.Groups.Algebras.example
 Failed example:
     GroupAlgebras(QQ).example(SymmetricGroup(4))
 Expected:
     Group algebra of Symmetric group of order 4! as a permutation group
 over Rational Field
 Got:
     Symmetric group algebra of order 4 over Rational Field
 **********************************************************************
 File "src/sage/categories/groups.py", line 578, in
 sage.categories.groups.Groups.Algebras.ParentMethods.algebra_generators
 Failed example:
     GroupAlgebras(QQ).example(SymmetricGroup(10)).algebra_generators()
 Expected:
     Finite family {(1,2): B[(1,2)], (1,2,3,4,5,6,7,8,9,10):
 B[(1,2,3,4,5,6,7,8,9,10)]}
 Got:
     [[2, 1, 3, 4, 5, 6, 7, 8, 9, 10], [2, 3, 4, 5, 6, 7, 8, 9, 10, 1]]
 **********************************************************************
 sage -t --long
 src/sage/combinat/root_system/hecke_algebra_representation.py
 **********************************************************************
 File "src/sage/combinat/root_system/hecke_algebra_representation.py", line
 81, in
 
sage.combinat.root_system.hecke_algebra_representation.HeckeAlgebraRepresentation.__init__
 Failed example:
     HeckeAlgebraRepresentation(domain, action, CartanType(["A",2]), 1, -1)
 Expected:
     A representation of the (1, -1)-Hecke algebra of type ['A', 2]
     on Group algebra of Symmetric group of order 3! as a permutation group
 over Rational Field
 Got:
     A representation of the (1, -1)-Hecke algebra of type ['A', 2] on
 Symmetric group algebra of order 3 over Rational Field
 **********************************************************************
 File "src/sage/combinat/root_system/hecke_algebra_representation.py", line
 229, in
 
sage.combinat.root_system.hecke_algebra_representation.HeckeAlgebraRepresentation.on_basis
 Failed example:
     rho.on_basis(W.one(), (1,2,1))
 Expected:
     B[(1,3)]
 Got:
     (1,3)
 **********************************************************************
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/16678#comment:6>
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/d/optout.

Reply via email to