Opened 3 years ago

Last modified 2 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 nthiery)

Explore / expose the functionalities of KBMAG for computing with (semi)groups defined by presentations

Other related GAP package:

Change History (2)

comment:1 Changed 3 years ago by nthiery

  • Description modified (diff)

comment:2 Changed 2 years 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.