#14998: Semidirect product for finitely presented groups
-------------------------+-------------------------------------------------
Reporter: | Owner:
dshurbert | Status: new
Type: | Milestone:
enhancement | Keywords: group presentations, free
Priority: minor | groups, semidirect product
Component: group | Authors: Davis Shurbert
theory | Report Upstream: N/A
Merged in: | Branch:
Reviewers: | Stopgaps:
Work issues: |
Dependencies: #14791, |
#14913 |
-------------------------+-------------------------------------------------
Implementation for wrapping GAP's {{{SemidirectProduct}}} function for
finitely presented groups
{{{
sage: C2 = groups.presentation.Cyclic(2)
sage: C8 = groups.presentation.Cyclic(8)
sage: hom = (C2.gens(), [ ([C8([1])], [C8([-1])]) ])
sage: D = C2.semidirect_product(C8, hom)
sage: D.as_permutation_group().is_isomorphic(DihedralGroup(8))
True
}}}
Depends on #14791 for {{{groups.presentation.Cyclic(12)}}} functionality
in doctests, and #14913
for computations using finitely presented groups.
_Apply_
1 [attachment:trac__semidirect_product_fpgroups.patch]
--
Ticket URL: <http://trac.sagemath.org/ticket/14998>
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.
