Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type MonomialPorotostar n d = MonomialBoundedDegree (Zp n) d Source #
type PolynomialProtostar c n d = PolynomialBoundedDegree c (Zp n) d Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
type MonomialPorotostar n d = MonomialBoundedDegree (Zp n) d Source #
type PolynomialProtostar c n d = PolynomialBoundedDegree c (Zp n) d Source #