Thanks
The cancelative monoid is the right class for rolling back transactions, by
the way.
2013/3/22 Mario Blažević blama...@acanac.net
The new package monoid-subclasses [1] exports a number of classes that
sit between monoids and groups: ReductiveMonoid, CancellativeMonoid,
GCDMonoid,
The new package monoid-subclasses [1] exports a number of classes
that sit between monoids and groups: ReductiveMonoid,
CancellativeMonoid, GCDMonoid, MonoidNull, and FactorialMonoid among
others. The package also comes with class instances for all applicable
data types from base, vector,