GAP Project repository
  

Knuth-Bendix

Need:
4
 Time:
3
Component: Finitely presented Groups
Contact: Alexander Hulpke
( hulpke@math.colostate.edu)
Last Update: 2001/9/24
Math:
3
 Program:
4

Description

Improve the built-in Knuth-Bendix (for example fast evaluation of orders which are not length/lex). The features also should permit to plug in the external KBMAG instead.

References

C. C. Sims, {\it Computation with finitely presented groups}, Cambridge Univ. Press, Cambridge, 1994; MR 95f:20053

GAP home page