| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UnitFractionsDecomposition2
Synopsis
- threeDigitsK :: Double -> Double
- type ErrorImpact = Int
- setOfSolutionsG :: ErrorImpact -> Double -> [(Double, Double)]
- setOfSolutions :: Double -> [(Double, Double)]
- suitable2 :: Double -> (Double, Double)
- suitable21G :: ErrorImpact -> Double -> Maybe ([Double], Double)
- suitable21 :: Double -> Maybe ([Double], Double)
- isRangeN :: Double -> Bool
- isRangeNPref :: Double -> Bool
- check1FracDecompG :: ErrorImpact -> Double -> Maybe ([Double], Double)
- check3FracDecompPartialG :: ErrorImpact -> Bool -> Double -> Maybe ([Double], Double)
- check3FracDecompPartialPG :: ErrorImpact -> Bool -> [Int] -> Double -> Maybe ([Double], Double)
- lessErrSimpleDecompPG :: ErrorImpact -> [Int] -> Double -> (Int, Maybe ([Double], Double), Double)
- lessErrDenomsPG :: ErrorImpact -> [Int] -> Double -> [Integer]
- check1FracDecomp :: Double -> Maybe ([Double], Double)
- check3FracDecompPartial :: Bool -> Double -> Maybe ([Double], Double)
- check3FracDecompPartialP :: Bool -> [Int] -> Double -> Maybe ([Double], Double)
- lessErrSimpleDecompP :: [Int] -> Double -> (Int, Maybe ([Double], Double), Double)
- lessErrDenomsP :: [Int] -> Double -> [Integer]
Documentation
threeDigitsK :: Double -> Double Source #
Rounding to thousandth.
type ErrorImpact = Int Source #
Characterizes the impact of the absolute error sign on the approximation.
setOfSolutionsG :: ErrorImpact -> Double -> [(Double, Double)] Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
suitable2 :: Double -> (Double, Double) Source #
Partially defined function, if there is no solutions then returns a tuple of undefined. Beter
to use suitable21
suitable21G :: ErrorImpact -> Double -> Maybe ([Double], Double) Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
isRangeNPref :: Double -> Bool Source #
The preferable range of the argument for suitable2 and suitable21 functions. For arguments
in this range the functions always have informative results.
check1FracDecompG :: ErrorImpact -> Double -> Maybe ([Double], Double) Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
check3FracDecompPartialG :: ErrorImpact -> Bool -> Double -> Maybe ([Double], Double) Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
check3FracDecompPartialPG :: ErrorImpact -> Bool -> [Int] -> Double -> Maybe ([Double], Double) Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
lessErrSimpleDecompPG :: ErrorImpact -> [Int] -> Double -> (Int, Maybe ([Double], Double), Double) Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
lessErrDenomsPG :: ErrorImpact -> [Int] -> Double -> [Integer] Source #
Allows to take into account the sign of the absolute error of the aproximation. If the
ErrorImpact parameter is equal to 0 , then absolute error can be of any sign,
if it is equal to -1 - the absolute error can be only negative, otherwise - only positive
check1FracDecomp :: Double -> Maybe ([Double], Double) Source #
Tries to approximate the fraction by just one unit fraction. Can be used for the numbers between 0.005 and 0.501.
check3FracDecompPartial :: Bool -> Double -> Maybe ([Double], Double) Source #
Function to find the less by absolute value error approximation. One of the denominators is
taken from the range [2..10]. The two others are taken from the appropriate suitable21
applicattion.
check3FracDecompPartialP :: Bool -> [Int] -> Double -> Maybe ([Double], Double) Source #
Extended version of the check3FracDecompPartial with the first denominator being taken not
- only from the [2..10], but also from the custom user provided list.
-