ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner

Documentation

reducable :: Polynomial c i j => Poly c i j -> Poly c i j -> Bool

reduce :: forall c i j. (Ring j, Polynomial c i j) => Poly c i j -> Poly c i j -> Poly c i j

reduceMany :: forall c i j. (Ring j, Polynomial c i j) => Poly c i j -> [Poly c i j] -> Poly c i j

fullReduceMany :: forall c i j. (Ring j, Polynomial c i j) => Poly c i j -> [Poly c i j] -> Poly c i j

systemReduce :: forall c i j. (Ring j, Polynomial c i j) => [Poly c i j] -> [Poly c i j]

data GroebnerParams c i j

Constructors

GroebnerParams

Fields

• groebnerMaxSteps :: Natural
• groebnerSPolySelector :: Poly c i j -> Bool

makeSPoly :: (Ring j, Polynomial c i j) => Poly c i j -> Poly c i j -> Poly c i j

groebnerStep :: (Ring j, Polynomial c i j) => GroebnerParams c i j -> [Poly c i j] -> [Poly c i j]

groebner :: forall c i j. (Ring j, Polynomial c i j) => GroebnerParams c i j -> [Poly c i j] -> [Poly c i j]

verifyGroebner :: forall c i j. (Ring j, Polynomial c i j) => GroebnerParams c i j -> [Poly c i j] -> Poly c i j -> Bool