added one() methods to subclasses
added a test of the ring axioms