#11111: More support for finite dimensional modules and algebras with basis
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Florent Hivert, | Reviewers:
Franco Saliola, Nicolas M. Thiéry | Work issues:
Report Upstream: N/A | Commit:
Branch: | 8913c75fa26b8a6d4478accd5e34d96447292580
public/11111-more_support_for_finite_dimensional_modules_and_algebras_with_basis|
Stopgaps:
Dependencies: #8678, #16925 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Hi Travis,
Thanks for investigating this!
Replying to [comment:28 tscrim]:
> Because it offers much more functionality that the general algebra
doesn't and previously the functionality that you want of the general
algebra wasn't used. Half of the failures are trivial due to output
format, the others, except the check in `SemisimpleAlgebras` (should just
be a matter of setting the right category), can be solved by implementing
a `conjugacy_classes` method for `StandardPermutations_n` (there was talk
about implementing this specifically for permutations without appealing to
GAP and would fix the problem).
Reverting SymmetricGroup.algebra to not return SymmetricGroupAlgebra
is now #16925. See there for the rationale, but essentially
SymmetricGroupAlgebra is not a drop-in replacement, and breaks too
many assumptions that generic code about group algebras will want to
do. See you there if this needs to be further discussed.
I have made #16925 a dependency of this ticket.
See #16926 for a plan to have all implementations of the group algebra
of the symmetric group benefit from the cool features of
SymmetricGroupAlgebra.
> Another couple of questions/comments:
>
> This line in `categories/objects.py`:
> {{{
> doctest:1: DeprecationWarning: hom_category is deprecated. Please use
Homsets instead.
> }}}
> should be
> {{{
> doctest:...: DeprecationWarning: hom_category is deprecated. Please use
Homsets instead.
> }}}
This is now fixed (actually in the #10668 dependency). Thanks for
catching though!
> I think creation of the axiom 'semisimple' and the (perhaps somewhat of
shell) categories for semisimple groups and algebras should be done as a
dependency ticket for better separation of concerns (and is a part we can
split off and review more easily).
Possibly so. Now this ticket is already floating on a pile of
dependency which are somewhat of a pain to maintain (e.g. for merging
in beta on a regular basis). And separating the stuff would take a bit
of work. So I would not bother too much about this.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/11111#comment:33>
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.
