#14791: Named finitely presented groups
----------------------------+-----------------------------------------------
Reporter: dshurbert | Owner: joyner
Type: enhancement | Status: new
Priority: minor | Milestone: sage-5.12
Component: group theory | Keywords: group presentations, free
groups
Work issues: | Report Upstream: N/A
Reviewers: | Authors: Davis Shurbert
Merged in: | Dependencies:
Stopgaps: |
----------------------------+-----------------------------------------------
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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14791>
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.
