Integration of a Computer Algebra System

[plc-dev]

Possible candidates:

• SageMath

Core-Functionality:
Create an API-wrapper that wraps core-functionality of the SageMath library and maps the python notation to the REST/CLI-API-layer:

• SAT Solver (under Discrete Mathematics)
• Linear Algebra
• Numerical Optimization
• Maxima (if a suitable wrapper-function or API is provided by SageMath, e.g. Python-notation)

The wrapper should expose an

• OpenAPI-Spec,
  • by virtue of that, a REST-API
  • and preferably a mirroring CLI,
• be distributed as a Docker-Image
• and - if required - state its minimal hardware requirements.

The code should be added as a subdirectory within the /services/-directory and should adhere to the defined contracts of the repository. Namely, the Makefile targets and the inclusion of a Github CI workflow.

As the above candidates are tested already, units regarding the functionality of the embedded library may be omitted.