Opened 8 years ago

Last modified 8 years ago

#14813 closed enhancement

Finitely generated abelian group presentations — at Version 2

Reported by: dshurbert Owned by: tbd
Priority: minor Milestone: sage-5.13
Component: group theory Keywords: abelian group presentations
Cc: rbeezer, vbraun, mmarco Merged in:
Authors: Davis Shurbert Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #14790, #14791 Stopgaps:

Status badges

Description (last modified by dshurbert)

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.

Apply

1 trac_14813_fgabelian_fpgroups.patch

Change History (2)

comment:1 Changed 8 years ago by dshurbert

  • Description modified (diff)

comment:2 Changed 8 years ago by dshurbert

  • Description modified (diff)
Note: See TracTickets for help on using tickets.