On Fri, 24 Jul 2015, Waldek Hebisch wrote:
OrderedFreeMonoid and FreeMonoid look like essentialy the
same thing. OrderedFreeMonoid requires aregumet to be
OrderedSet and has a few extra exports, but this can be
handled via appropriate conditionals. So I think that
we should unify them.
Well, OrderedFreeMonoid is an OrderedMonoid, while FreeMonoid doesn't
explicitly have too. At least in theory this could make a difference for
certain algorithms: e.g. optimization of multiplication in MonoidAlgebra
is a conceivable benefit. Don't know if it's worth it.
Franz
