zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.GroebnerBasis.Types

Documentation

type Variable p = Var Integer (Zp p) Source #

type Monomial p = Monom Integer (Zp p) Source #

type Polynomial p = Polynom Integer (Zp p) Source #

variable :: Integer -> Variable p Source #

monomial :: Zp p -> Map Natural (Variable p) -> Monomial p Source #

polynomial :: PrimeField (Zp p) => [Monomial p] -> Polynomial p Source #