Interface to GAP's KBMAG package

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.44k stars 481 forks source link

Interface to GAP's KBMAG package #12915

Open nthiery opened 12 years ago

nthiery commented 12 years ago

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

CC: @sagetrac-sage-combinat

Component: group theory

Issue created by migration from https://trac.sagemath.org/ticket/12915

nthiery commented 12 years ago

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
 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

miguelmarco commented 12 years ago

comment:2

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.