Implemented_Semiring

Class UsualAdditionMultiplicationInR