mitm.py

from scscp import SCSCPCLI
from openmath import openmath as om

def main():

    # Eval(GAP, 1) TODO: Syntactic sugar
    evalSymbol = om.OMSymbol(name='Eval', cd='Systems', cdbase='http://opendreamkit.org')
    GAPSymbol = om.OMSymbol(name='GAPEval', cd='Systems', cdbase='http://opendreamkit.org')
    query = om.OMApplication(evalSymbol, [GAPSymbol, om.OMInteger(integer=1)])
    print(query)

    # and make a request
    client = SCSCPCLI("localhost", port=26134)
    mitmEval = client.heads.mitm_transient.mitmEval
    result = mitmEval([query])
    print(result)
    client.quit()

if __name__ == "__main__":
    main()
(env) towiesin@