Recall that we need to implement algebraic structures like: ring, commutative ring, euclidean domain, field, ... Moreover we want to say that an euclidean domain is a commutative ring. Hence we want INHERITANCE BETWEEN INTERFACES. Of course we need also INHERITANCE BETWEEN CONCRETE CLASSES. For instance:

Marc Moreno Maza