Method testAddition

Singular/dyn_modules/openmath/tests/basic1.py:10–13

(self)

            def assertResult(self,expression, result):
                self.assertEqual(context.evaluate(expression),result)
            def testAddition(self):
                expr=OMA(arith1.plus,[2,3])
                self.assertEqual(len(expr.args),2)
                self.assertResult(expr,5)
            def testMultiplication(self):
                expr=OMA(arith1.times,[4,3])
                self.assertResult(expr,12)