Introduction

This project aims to provide functionality for what we call action polynomial rings. This phrase refers to a generalized framework that allows for an algorithmic treatment of both difference polynomial rings and differential polynomial rings. In the future, further similar algebraic structure might be covered as well.

Content

This project is structured as follows:

Status

This part of OSCAR is in an experimental state; please see Adding new projects to experimental for what this means.

Contact

Please direct questions about this part of OSCAR to the following people:

You can ask questions in the OSCAR Slack.

Alternatively, you can raise an issue on github.