Ticket #12915 (new enhancement)
Interface to GAP's KBMAG package
| Reported by: | nthiery | Owned by: | joyner |
|---|---|---|---|
| Priority: | major | Milestone: | sage-wishlist |
| Component: | group theory | Keywords: | |
| Cc: | sage-combinat | Work issues: | |
| Report Upstream: | N/A | Reviewers: | |
| Authors: | Merged in: | ||
| Dependencies: | Stopgaps: |
Description (last modified by nthiery) (diff)
Explore / expose the functionalities of KBMAG for computing with (semi)groups defined by presentations
Other related GAP package:
- Citrus (Formerly Monoid) http://www-groups.mcs.st-andrews.ac.uk/~jamesm/citrus/index.html
Change History
comment:2 Changed 11 months ago by mmarco
I have implemented some gap functionality for finitely presented groups in #12339. I have also considered using kbmag's abiluty to solve the word problem (sometimes) via Knuth-Bendix or automatic structures, but i don't like the fact of depending on having kbmag installed. Maybe i will include that in a separate package.
Note: See
TracTickets for help on using
tickets.
