#14910: to_presentation method for permutation groups
---------------------------------------+-----------------------
Reporter: dshurbert | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone:
Component: group theory | Resolution:
Keywords: group presentations | Merged in:
Authors: Davis Shurbert | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Dependencies: #14790
Stopgaps: |
---------------------------------------+-----------------------
Comment (by vbraun):
I don't like the whole conversion to string and then evaluating it. You
should convert the generators to Tietze words which are just tuples of
integers and hence don't depend on the generator names.
For consistency with the other group theory code, I'd rather call the
method `as_finitely_presented_group()`. For example, we also have
{{{
sage: G.<a,b> = FreeGroup()
sage: H = G / (a^2, b^3, a*b*~a*~b)
sage: H.as_permutation_group()
Permutation Group with generators [(1,2)(3,5)(4,6), (1,3,4)(2,5,6)]
}}}
Small nitpicks:
* Empty line after the title ("Return a finitely presented group...")
* Two dashes after input: {{{- ``reduced`` --`}}}, this is the ReST code
for en dash
*
--
Ticket URL: <http://trac.sagemath.org/ticket/14910#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 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.
