#19613: Implement basic representations of semigroups
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: group theory | Resolution:
Keywords: representation | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/representations/basic_implementation-19613|
0d510228773b6f7899c09e405f93a963595f0af0
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
This is promising to be really useful.
A few first impressing (Sage is compiling doc, so I can't really edit):
Can you document the `left_repr` keyword in the `regular_representation`
method in `semigroups.py`?
In the `_acted_upon_` of `TrivialRepresentation`, I would use a method
instead of the `sum` functions (I hope it involves less
indirection/ducktyping).
Does the `RegularRepresentation` allow both multiplying by elements of the
semigroup and multiplying by elements of the semigroup algebra? (And if
so, please doctest both.)
I have recently wrotten some really sloppy code to build a finite
semigroup out of a multiplication table (I hoped to use it on #19892, but
then I found that semigroups lack the support for that, so I ended up
avoiding it). I'm wondering -- would this be useful for this patch? At the
very least it could give us a way to doctest the methods. I could polish
the code and submit it here; I just want to make sure it won't be in vain,
as I have a hard time believing that there is no such thing in Sage
already...
--
Ticket URL: <http://trac.sagemath.org/ticket/19613#comment:2>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
