The rings part of OSCAR provides functionality for handling various kinds of rings:
- the ring of integers
- polynomial rings (univariate and multivariate, see Generic univariate polynomial types and Generic sparse distributed multivariable polynomial types),
- orders in number fields
- series rings
General textbooks offering details on theory and algorithms include:
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.