Method XMLEncodeBody

Singular/dyn_modules/openmath/context.py:108–109

(self,body)

            print_exc()
            raise EvaluationFailedError
    def XMLEncodeBody(self,body):
        return self.XMLEncoder.encode(body)
    def XMLEncodeObject(self, obj):
        #TODO: Make Attribution List attributes
        #TODO: Make all objects __hash__ and __eq__