#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: | 195d14e5a309834179015f4066d27dd5b7ca5b20
public/11111-more_support_for_finite_dimensional_modules_and_algebras_with_basis|
Stopgaps:
Dependencies: #10963, #8678 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:27 virmaux]:
> These problems could be fixed by deleting the algebra method in
sage.groups.perm_gps.permgroup_named.py. It might be something recent
because it was working at the time I wrote the failing doctest.
> The problem is that this method calls SymmetricGroupAlgebra instead of
letting the general one.
>
> So far and to my humble opinion, why keeping SymmetricGroupAlgebra which
brings, to my eyes, only troubles as the general algebra method works
perfectly?
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).
However I think there is a problem with your code's robustness that should
be fixed instead. You're using the indexing set of the basis, but it would
be better use the `.group()` (which should be an abstract method for the
category IMO) because is explicitly what you want.
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.
}}}
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).
Best,[[BR]]
Travis
--
Ticket URL: <http://trac.sagemath.org/ticket/11111#comment:28>
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.
