Public Repository

Last pushed: 3 months ago
Short Description
Tiny server for testing equivalence of two symbolic expressions.
Full Description

equality-checker

A not-quite-so-tiny-any-more server for testing the equivalence of two algebraic expressions using SymPy.

To use, either docker pull ucamcldtg/equality-checker or list it as an image in a Docker Compose file. Port 5000 of the container will need to be mapped to the port the checker is expected to listen on.

For instance, run:

docker run -d -p 5000:5000 --name equality-checker ucamcldtg/equality-checker

Your server should be running at http://localhost:5000/check.
Now make JSON-based POST requests with target and test expression strings, e.g.

{
    "target": "x + 3",
    "test": "3 + x",
    "description": "An optional description for the logs!"
}

which will get a response like:

{
    "equal": "true",
    "equality_type": "exact",
    "parsedTarget": "x + 3",
    "parsedTest": "x + 3",
    "target": "x + 3",
    "test": "3 + x"
}

or, if something went wrong, an error like:

{
    "error": "Some error message here",
    ...
}

To see live output:

docker logs -f equality-checker
Docker Pull Command
Owner
ucamcldtg

Comments (0)