Esempio n. 1
0
 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)