cc.redberry.rings.scaladsl
Zp[variable] with specified modulus
(Since version ) see corresponding Javadoc for more information.