Opened 4 years ago
Last modified 4 years ago
#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 | Merged in: | |
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Description (last modified by )
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 (2)
comment:1 Changed 4 years ago by
- Description modified (diff)
comment:2 Changed 4 years ago by
Note: See
TracTickets for help on using
tickets.
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.