Computes the multiplication table of a group

multtable.hs

-- Computes the multiplication table of a group
-- Using the Knuth-Bendix algorithm

-- Uses HaskellForMath, which can be installed:
--  cabal install HaskellForMath
import Math.Algebra.Group.StringRewriting

-- Computes the multiplication table, given the group generators
-- and the set of relations as strings, as in this example:
--  multtable "tw" [("www",""),("tt",""),("tw","wwt")]
multtable g r = [[rewrite cs (a ++ b) | a <- nf] | b <- nf]
    where cs = knuthBendix r
          nf = nfs (g,cs)