Dear all,
There are several libraries in haskell for abstract algebra but they
don't seem to cover my use case I was wondering if other people have had
similar issues and if there are any packages I am missing.
What I am prinicpaly interested in is operation on algebraic stuctures
(homomorphisms, kernels, quotients, colimits, etc) whereas most algebra
packages seem to just give operations on the elements of an algebraic
structure.
So I would like to be able to write something like...
g = freeGroup(["x","y"])
h = freeGroup(["z"])
phi = grpMorphismOnGens([("x","z"^6) , ("y","z")])
k = grpKernel phi
(gens,rels) = grpPresentation (grpQuotient g k)
Thank you,
Robert Goss
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe