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: |
Description (last modified by )
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
Change History (2)
comment:1 Changed 8 years ago by
- Description modified (diff)
comment:2 Changed 8 years ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.