#16926: Merge the features of SymmetricGroupAlgebra and SymmetricGroup.algebra
---------------------------------+------------------------
       Reporter:  nthiery        |        Owner:
           Type:  enhancement    |       Status:  new
       Priority:  major          |    Milestone:  sage-6.4
      Component:  combinatorics  |   Resolution:
       Keywords:                 |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+------------------------

Comment (by tscrim):

 I don't really like the idea of putting into a category as opposed to
 having a proper ABC. Doing with an ABC means we can have automatic
 coercion by just doing:
 {{{#!python
 def _coerce_map_from_(self, X):
     if isinstance(X, SGA_abstract):
         return True
     return super(SGA_abstract, self)._coerce_map_from_(X)
 }}}
 (We can't do this with categories, nor do I think we should for that
 matter.)
 Also as you mentioned, it's overkill to me. Also if we were to have this
 in the category, we'd still have to override the `algebra` method (or
 worse, a check on the group in the generic group algebra). Although I'm
 still of the opinion that we should merge the generic group algebra of
 S,,n,, into `SymmetricGroupAlgebra` and get that to work. I'm not sure
 what we'll need/want to do w.r.t. the Weyl group one, I haven't thought
 about how this will figure in yet.

 Also since this is the same object in the "same" realization, IMO the
 `WithRealizations` framework shouldn't be used here either. It also
 possible to convince to go this route, but I don't really think it'll be
 the best way.

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