| M | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Data Constructor) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 3 (Data Constructor) | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| makeSPoly | ZkFold.Symbolic.GroebnerBasis.Internal, ZkFold.Symbolic.GroebnerBasis |
| makeTermList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| makeTheorem | ZkFold.Symbolic.GroebnerBasis |
| makeTypeList | ZkFold.Symbolic.Cardano.UPLC.Inference.Internal |
| mapCoeffs | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapV | ZkFold.Base.Algebra.Basic.VectorSpace |
| mapVar | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarArithmeticCircuit | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| mapVarMonomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarPolynomial | ZkFold.Base.Algebra.Polynomials.Multivariate.Polynomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mapVarWitness | ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map, ZkFold.Symbolic.Compiler.ArithmeticCircuit, ZkFold.Symbolic.Compiler |
| Matrix | |
| 1 (Type/Class) | ZkFold.Base.Data.Matrix |
| 2 (Data Constructor) | ZkFold.Base.Data.Matrix |
| matrixDotProduct | ZkFold.Base.Data.Matrix |
| max | ZkFold.Symbolic.Data.Ord |
| maxBitsPerFieldElement | ZkFold.Symbolic.Data.Combinators |
| maxBitsPerRegister | ZkFold.Symbolic.Data.Combinators |
| maxOverflow | ZkFold.Symbolic.Data.Combinators |
| miller | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| miller' | ZkFold.Base.Algebra.EllipticCurve.BLS12_381 |
| mimcConstants | ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants |
| mimcHash | ZkFold.Symbolic.Algorithms.Hash.MiMC |
| min | ZkFold.Symbolic.Data.Ord |
| minNumberOfRegisters | ZkFold.Symbolic.Data.Combinators |
| mkIndexPartition | ZkFold.Base.Algebra.Basic.Permutations |
| mod | ZkFold.Base.Algebra.Basic.Class |
| MonadBlueprint | ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
| Monom | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| Monomial | |
| 1 (Type/Class) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Type/Class) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| monomial | |
| 1 (Function) | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| 2 (Function) | ZkFold.Symbolic.GroebnerBasis.Types, ZkFold.Symbolic.GroebnerBasis |
| Monomial' | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialPorotostar | ZkFold.Base.Protocol.ARK.Protostar.Internal |
| MonomialRepAny | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| MonomialRepBoundedDegree | ZkFold.Base.Algebra.Polynomials.Multivariate.Monomial, ZkFold.Base.Algebra.Polynomials.Multivariate |
| mul | ZkFold.Base.Algebra.EllipticCurve.Class |
| mulDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| MulField | ZkFold.Symbolic.Cardano.UPLC.Builtins |
| mulKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| mulMono | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| mulPM | ZkFold.Symbolic.GroebnerBasis.Internal.Types |
| mulPoly | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyDft | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyKaratsuba | ZkFold.Base.Algebra.Polynomials.Univariate |
| mulPolyNaive | ZkFold.Base.Algebra.Polynomials.Univariate |
| multiExp | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeGroup | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeMonoid | ZkFold.Base.Algebra.Basic.Class |
| MultiplicativeSemigroup | ZkFold.Base.Algebra.Basic.Class |
| mulVector | ZkFold.Base.Algebra.Polynomials.Univariate |