I would like to experiment with adding some new types. One of the is
SemiRing (this is an algebraic structure which is like a ring except
that there might not be an additive inverse -- think of the
nonnegative integers). I would like to insert it in the class
hierarchy so that every Ring is a
Hi Victor,
On Wed, Oct 27, 2010 at 01:55:21PM -0700, VictorMiller wrote:
I would like to experiment with adding some new types. One of the is
SemiRing (this is an algebraic structure which is like a ring except
that there might not be an additive inverse -- think of the
nonnegative