computational-algebra-0.0.1.1: Well-kinded computational algebra library, currently supporting Groebner basis.

Safe Haskell	None

Algebra.Ring.Polynomial.Monomorphic

Documentation

data Variable Source

Constructors

Variable
Fields varName :: Char varIndex :: Maybe Int

Instances

Eq Variable
Ord Variable
Show Variable

type Polyn = [(Rational, [(Variable, Integer)])]Source

buildVarsList :: Polyn -> [Variable]Source

encodeMonomList :: [Variable] -> [(Variable, Integer)] -> [Int]Source

encodeMonomial :: [Variable] -> [(Variable, Integer)] -> Monomorphic (Vector Int)Source

encodePolynomial :: Polyn -> Monomorphic (Polynomial Rational)Source

toPolynomialSetting :: Polyn -> PolynomialSetting Source

data PolynomialSetting Source

Constructors

PolySetting
Fields dimension :: Monomorphic SNat polyn :: Polyn

Instances

Show PolynomialSetting

uniformlyPromote :: IsMonomialOrder ord => [Polyn] -> Monomorphic (Ideal :.: OrderedPolynomial Rational ord)Source

promoteList :: IsMonomialOrder ord => [Polyn] -> Monomorphic ([] :.: OrderedPolynomial Rational ord)Source

renameVars :: [Variable] -> Polyn -> Polyn Source

showPolyn :: Polyn -> String Source