cc.redberry.rings.scaladsl
Zp[variable] with specified coefficient ring (Zp)
Zp[variable] with specified modulus