#14994: Direct product for finitely presented groups
-------------------------+-------------------------------------------------
Reporter: | Owner:
dshurbert | Status: new
Type: | Milestone:
enhancement | Keywords: group presentations, direct
Priority: minor | product
Component: group | Authors: Davis Shurbert
theory | Report Upstream: N/A
Merged in: | Branch:
Reviewers: | Stopgaps:
Work issues: |
Dependencies: #14790 |
-------------------------+-------------------------------------------------
Implementation for the wrapping of GAP's {{{DirectProduct}}} function for
finitely presented groups.
{{{
sage: G = FreeGroup()
sage: C3 = G / [G([1,1,1])]
sage: C3.direct_product(C3)
Finitely presented group < a, b | a^3, b^3, a^-1*b^-1*a*b >
}}}
My approach is object oriented as a {{{FinitelyPresentedGroup}}} method,
as opposed to a function call such as {{{direct_product_fpgroups}}} taking
a list of groups as input.
Depends on #14790 for variable names.
__Apply__
1 [attachment:trac_..._direct_product_fpgroups.patch]
--
Ticket URL: <http://trac.sagemath.org/ticket/14994>
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/groups/opt_out.
