Function test

Singular/dyn_modules/openmath/tester.py:24–26

(expr)

import cd.arith1 as arith1
context.addCDImplementation(arith1.implementation)
def test(expr):
    print "Original: ", expr
    print "Evaluated: ", context.evaluate(expr)
test(OMA(arith1.implementation.plus, [1,2]))
test(OMA(arith1.implementation.unary_minus, [10]))
test(OMA(arith1.implementation.times, [3,4]))