| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hermod.ReCon.Integer.Polynomial.Value
Synopsis
- data IntTermNF = IntTermNF {}
- zero :: IntTermNF
- plus :: IntTermNF -> IntTermNF -> IntTermNF
- minus :: IntTermNF -> IntTermNF -> IntTermNF
- mul :: IntValue -> IntTermNF -> IntTermNF
- nullify :: VariableIdentifier -> IntTermNF -> IntTermNF
- eval :: IntTerm -> IntTermNF
- quote :: IntTermNF -> IntTerm
- normalise :: IntTerm -> IntTerm
Documentation
c + k₀ · x₀ + k₁ · x₁ + ... + kₙ · xₙ
Constructors
| IntTermNF | |
Instances
| Show IntTermNF Source # | |
| Eq IntTermNF Source # | |
| Ord IntTermNF Source # | |
Defined in Hermod.ReCon.Integer.Polynomial.Value | |
plus :: IntTermNF -> IntTermNF -> IntTermNF Source #
(c + k₀ · x₀ + k₁ · x₁ + ... + kₙ · xₙ) + (c' + k₀' · x₀ + k₁' · x₁ + ... + kₙ' · xₙ) = ((c + c') + (k₀ + k₀') · x₀ + (k₁ + k₁') · x₁ + ... + (kₙ + kₙ') · xₙ)