Polynomial quotient ring (source code)

= Polynomial quotient ring