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

ZkFold.Base.Algebra.Polynomials.Multivariate

Documentation

module ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution

module ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial

module ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial

module ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner