| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Math.Regression.Simple
Synopsis
- linear :: (Foldable' xs x, IsDoublePair x) => xs -> V2
- quadratic :: (Foldable' xs x, IsDoublePair x) => xs -> V3
- quadraticAndLinear :: (Foldable' xs x, IsDoublePair x) => xs -> (V3, V2)
- class Add a where
- class Eye a where
- eye :: a
- class Eye a => Mult a b c | a b -> c where
- mult :: a -> b -> c
- class Eye a => Det a where
- class Det a => Inv a where
- inv :: a -> a
- zerosLin :: V2 -> Double
- zerosQuad :: V3 -> Either (Complex Double, Complex Double) (Double, Double)
- optimaQuad :: V3 -> Double
- data V2 = V2 !Double !Double
- data M22 = M22 !Double !Double !Double !Double
- data V3 = V3 !Double !Double !Double
- data M33 = M33 !Double !Double !Double !Double !Double !Double !Double !Double !Double
- class Foldable' xs x | xs -> x where
- foldl' :: (b -> x -> b) -> b -> xs -> b
- class IsDoublePair dp where
Regressions
linear :: (Foldable' xs x, IsDoublePair x) => xs -> V2 Source #
Linear regression.
The type is
linear:: [(Double,Double)] ->V2
but overloaded to work with boxed and unboxed Vectors.
>>>let input1 = [(0, 1), (1, 3), (2, 5)]>>>linear input1V2 2.0 1.0
>>>let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]>>>linear input2V2 2.0063237774030345 0.8868465430016883
quadratic :: (Foldable' xs x, IsDoublePair x) => xs -> V3 Source #
Quadratic regression.
The type is
quadratic:: [(Double,Double)] ->V3
but overloaded to work with boxed and unboxed Vectors.
>>>let input1 = [(0, 1), (1, 3), (2, 5)]>>>quadratic input1V3 0.0 2.0 1.0
>>>let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]>>>quadratic input2V3 (-5.886346291028133e-3) 2.0312938469708826 0.8715454176158062
>>>let input3 = [(0, 2), (1, 3), (2, 6), (3, 11)]>>>quadratic input3V3 1.0 0.0 1.999999999999993
quadraticAndLinear :: (Foldable' xs x, IsDoublePair x) => xs -> (V3, V2) Source #
Do both linear and quadratic regression in one data scan.
>>>let input2 = [(0.1, 1.2), (1.3, 3.1), (1.9, 4.9), (3.0, 7.1), (4.1, 9.0)]>>>quadraticAndLinear input2(V3 (-5.886346291028133e-3) 2.0312938469708826 0.8715454176158062,V2 2.0063237774030345 0.8868465430016883)
Operations
Addition
Identity
class Eye a => Mult a b c | a b -> c where Source #
Multiplication of different things.
Zeros
zerosQuad :: V3 -> Either (Complex Double, Complex Double) (Double, Double) Source #
Solve quadratic equation.
>>>zerosQuad (V3 2 0 (-1))Right (-0.7071067811865476,0.7071067811865476)
>>>zerosQuad (V3 2 0 1)Left ((-0.0) :+ (-0.7071067811865476),(-0.0) :+ 0.7071067811865476)
Double root is not treated separately:
>>>zerosQuad (V3 1 0 0)Right (-0.0,0.0)
>>>zerosQuad (V3 1 (-2) 1)Right (1.0,1.0)
optimaQuad :: V3 -> Double Source #
Find an optima point.
>>>optimaQuad (V3 1 (-2) 0)1.0
compare to
>>>zerosQuad (V3 1 (-2) 0)Right (0.0,2.0)
Two dimensions
2d vector. Strict pair of Doubles.
Also used to represent linear polynomial: V2 a b \(= a x + b\).
2×2 matrix.
Three dimensions
3d vector. Strict triple of Doubles.
Also used to represent quadratic polynomial: V3 a b c \(= a x^2 + b x + c\).
3×3 matrix.
Auxiliary classes
class Foldable' xs x | xs -> x where Source #
Like Foldable but with element in the class definition.
Instances
| Foldable' [a] a Source # | |
Defined in Math.Regression.Simple | |
| Unbox a => Foldable' (Vector a) a Source # | |
Defined in Math.Regression.Simple | |
| Foldable' (Vector a) a Source # | |
Defined in Math.Regression.Simple | |