Define a few poly rings usable in LaBRADOR, characterized by: - a degree, - and a modulus, To be used in tests, benches, examples, etc. Requires an implementation of #54.
