Adding polynomial_ring library as a dependency
Run this command in a terminal, in your project's directory:
cargo add polynomial-ring
To add it manually, edit your project's Cargo.toml file and add to the [dependencies] section:
polynomial-ring = "0.5.1"
The polynomial_ring library will be automatically available globally.
Read the polynomial_ring library documentation.