Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
getVarType :: Var a c -> VarType Source #
getPower :: MultiplicativeMonoid a => Var a c -> a Source #
Instances
Functor (Monom a) Source # | |
(Show c, Eq c, FiniteField c, Show a, Eq a, AdditiveGroup a, MultiplicativeMonoid a) => Show (Monom a c) Source # | |
(Eq c, Eq a, MultiplicativeMonoid a) => Eq (Monom a c) Source # | |
(AdditiveMonoid c, Eq c, Ord a, MultiplicativeMonoid a) => Ord (Monom a c) Source # | |
Defined in ZkFold.Symbolic.GroebnerBasis.Internal.Types |
Instances
oneV :: (Eq a, AdditiveMonoid a, MultiplicativeMonoid a) => Var a c -> Bool Source #
addSimilar :: FiniteField c => Monom a c -> Monom a c -> Monom a c Source #
addPoly :: (Eq c, FiniteField c, Ord a, MultiplicativeMonoid a) => Polynom a c -> Polynom a c -> Polynom a c Source #
mulMono :: (FiniteField c, AdditiveMonoid a) => Monom a c -> Monom a c -> Monom a c Source #
mulPM :: (FiniteField c, AdditiveMonoid a) => Polynom a c -> Monom a c -> Polynom a c Source #
mulM :: (Eq c, FiniteField c, Ord a, AdditiveGroup a, MultiplicativeMonoid a) => Polynom a c -> Polynom a c -> Polynom a c Source #
lcmM :: (FiniteField c, Ord a, MultiplicativeMonoid a) => Monom a c -> Monom a c -> Monom a c Source #
gcdM :: (FiniteField c, Ord a, MultiplicativeMonoid a) => Monom a c -> Monom a c -> Monom a c Source #