test_convert.py 文件源码

def test_rational(self):
        def to_om_rat(obj):
            return om.OMApplication(om.OMSymbol('rational', cd='nums1'),
                                    map(to_openmath, [obj.numerator, obj.denominator]))
        def to_py_rat(obj):
            return Fraction(to_python(obj.arguments[0]), to_python(obj.arguments[1]))
        register(Fraction, to_om_rat, 'nums1', 'rational', to_py_rat)

        a = Fraction(10, 12)
        self.assertEqual(a, to_python(to_openmath(a)))