def __init__(self, precision): Parent.__init__(self) self._precision = precision self.register_coercion(MorphismToSPN(ZZ, self, self._precision)) self.register_coercion(MorphismToSPN(QQ, self, self._precision)) to_SR = Hom(self, SR, Sets())(lambda x: SR(x.sage())) SR.register_coercion(to_SR)