#16718: Create a category for Cartesian products of groups
-------------------------+-------------------------------------------------
Reporter: tscrim | Owner: tscrim
Type: | Status: new
enhancement | Milestone: sage-6.3
Priority: major | Keywords: cartesian product,
Component: group | generators, categories
theory | Authors: Travis Scrimshaw
Merged in: | Report Upstream: N/A
Reviewers: | Branch:
Work issues: | Dependencies:
Commit: |
Stopgaps: |
-------------------------+-------------------------------------------------
We can define generators of a Cartesian (direct) product of groups as a
Cartesian product of the generators with the identity elements. This will
fix the issue noted in https://groups.google.com/forum/#!topic/sage-
devel/nlRGZpr_Je8.
{{{
sage:
AG=cartesian_product([CyclicPermutationGroup(5),CyclicPermutationGroup(4),CyclicPermutationGroup(4)])
sage: AG.group_generators()
...
AttributeError: 'CartesianProduct_with_category' object has no attribute
'gens'
sage: AG.j_classes()
...
AttributeError: 'CartesianProduct_with_category' object has no attribute
'gens'
}}}
We will do so by defining a general method in the appropriate category.
--
Ticket URL: <http://trac.sagemath.org/ticket/16718>
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.
