#14791: Named finitely presented groups
-------------------------------------+-------------------------------------
Reporter: dshurbert | Owner: joyner
Type: enhancement | Status: positive_review
Priority: minor | Milestone: sage-5.12
Component: group theory | Resolution:
Keywords: group | Merged in:
presentations, free groups | Reviewers: Volker Braun, Travis
Authors: Davis Shurbert | Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by tscrim:
Old description:
> Using the existing groups catalog framework, users are given the
> capability to
> create "named" groups as finite presentations. The goal of this addition
> to Sage is to make the concepts of free groups and group presentations
> more accessible to the typical undergrad, allowing them to work with
> standard groups introduced in an introductory level abstract algebra
> course.
>
> {{{
> sage: groups.presentation.Cyclic(17)
> Finitely presented group < a | a^17 >
> sage: groups.presentation.Dihedral(8)
> Finitely presented group < a, b | a^8, b^2, a*b*a*b >
> sage: groups.presentation.DiCyclic(5)
> Finitely presented group < a, b | a^10, b^2*a^-5, b^-1*a*b*a >
> sage: groups.presentation.KleinFour()
> Finitely presented group < a, b | a^2, b^2, a^-1*b^-1*a*b >
> }}}
>
> More groups are to be implemented soon. Feedback/suggestions on
> implementation
> details are highly encouraged.
>
> __Apply__
>
> * [attachment:trac_14791_named_fpgroups.2.patch]
> * [attachment:trac_15791-review-ts.patch]
New description:
Using the existing groups catalog framework, users are given the
capability to
create "named" groups as finite presentations. The goal of this addition
to Sage is to make the concepts of free groups and group presentations
more accessible to the typical undergrad, allowing them to work with
standard groups introduced in an introductory level abstract algebra
course.
{{{
sage: groups.presentation.Cyclic(17)
Finitely presented group < a | a^17 >
sage: groups.presentation.Dihedral(8)
Finitely presented group < a, b | a^8, b^2, a*b*a*b >
sage: groups.presentation.DiCyclic(5)
Finitely presented group < a, b | a^10, b^2*a^-5, b^-1*a*b*a >
sage: groups.presentation.KleinFour()
Finitely presented group < a, b | a^2, b^2, a^-1*b^-1*a*b >
}}}
More groups are to be implemented soon. Feedback/suggestions on
implementation
details are highly encouraged.
__Apply__
* [attachment:trac_14791_named_fpgroups.2.patch]
* [attachment:trac_14791-review-ts.patch]
--
--
Ticket URL: <http://trac.sagemath.org/ticket/14791#comment:20>
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.
