Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution

Synopsis

Documentation

class Substitution s i b where Source #

Data structure s can be viewed as a substitution from i to b

Methods

subs :: s -> i -> b Source #

Instances details

Variable i => Substitution (Map i b) i (Maybe b) Source #
Instance details Defined in ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution Methods subs :: Map i b -> i -> Maybe b Source #
Substitution (Vector n b) (Zp n) b Source #
Instance details Defined in ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution Methods subs :: Vector n b -> Zp n -> b Source #