#7555: Fix Cayley tables, add operation tables
---------------------------+------------------------------------------------
Reporter: rbeezer | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: minor | Milestone:
Component: algebra | Keywords: cayley table, operation table
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Changes (by rbeezer):
* cc: nthiery (added)
* status: needs_work => needs_review
Comment:
I've tied the new {{{OperationTable}}} class into the categories framework
as a multiplication table for Semigroups and as an addition table for
Commutative Additive Semigroups. I've also added it as a Cayley table for
groups, since I'd like to later expand this somewhat to take advantage of
the extra structure in groups.
The old Cayley table was used to build Latin squares. I believe the
behavior now with the new cayley table will be identical - IF the identity
is the first element of the group.
Had a hard time constructing a nontrivial finite additive semigroup, so
the documentation there is barebones right now.
As more structures become available in the categories this should be all
ready to go, unchanged. Right now it already makes the multiplication
table available for all groups, rather than just permutation groups.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7555#comment:4>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
