#14998: Semidirect product for finitely presented groups
-------------------------------------------------+-------------------------
Reporter: dshurbert | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone:
Component: group theory | Resolution:
Keywords: group presentations, free | Merged in:
groups, semidirect product | Reviewers:
Authors: Davis Shurbert | Work issues:
Report Upstream: N/A | Dependencies: #14791,
Branch: | #14913
Stopgaps: |
-------------------------------------------------+-------------------------
Description changed by dshurbert:
Old description:
> 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]
New description:
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_14998_semidirect_product_fpgroups.patch]
--
--
Ticket URL: <http://trac.sagemath.org/ticket/14998#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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
