Documentation

makeSPoly :: (Eq c, FiniteField c, Ord a, Ring a) => Polynom a c -> Polynom a c -> Polynom a c Source #

varNumber :: Polynom a c -> Natural Source #

varIsMissing :: Natural -> Polynom a c -> Bool Source #

checkVarUnique :: Natural -> [Polynom a c] -> Bool Source #

checkLTSimple :: Polynom a c -> Bool Source #

trimSystem :: (Eq c, Ord a, AdditiveMonoid a) => Polynom a c -> [Polynom a c] -> [Polynom a c] Source #

addSPolyStep :: (Eq c, FiniteField c, Ord a, Ring a) => [Polynom a c] -> [Polynom a c] -> [Polynom a c] -> [Polynom a c] Source #

groebnerStep :: (Eq c, FiniteField c, Ord a, Ring a) => Polynom a c -> [Polynom a c] -> (Polynom a c, [Polynom a c]) Source #