'Implementation of codomain quotient.'

def _quotient_codomain(self, sm):

    Q = (self.codomain / sm)
    converter = Q.convert
    if isinstance(self.codomain, SubModule):
        converter = Q.container.convert
    return self.__class__(self.domain, (self.codomain / sm), [converter(x) for x in self.matrix])
