id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
14813,Finitely generated abelian group presentations,dshurbert,tbd,"Method to construct finitely generated abelian groups as quotients of free groups. User inputs a list of integers to define an abelian group, then the invariants of the input list are used to build the group as a finite presentation.
{{{
sage:groups.presentation.FGAbelian([2,2])
Finitely presented group < a, b | a^2, b^2, a^-1*b^-1*a*b >
sage: groups.presentation.FGAbelian([6,3,5,17])
Finitely presented group < a, b | a^3, b^510, a^-1*b^-1*a*b >
}}}
Depends on #14791, which creates the ""named"" finitely presented groups infrastructure, and #14790 which
gives the python generator needed for variable names.
__Apply__
1 [attachment:trac_14813_fgabelian_fpgroups.patch]
",enhancement,needs_info,minor,sage-5.12,PLEASE CHANGE,,abelian group presentations,rbeezer vbraun mmarco,,Davis Shurbert,,N/A,,,,"#14790, #14791",