Package0.4.4Math
numeric-prelude
An experimental alternative hierarchy of numeric type classes
- Version0.4.4
- CategoryMath
- LicenceBSD-3-Clause
- AuthorDylan Thurston <dpt@math.harvard.edu>, Henning Thielemann <numericprelude@henning-thielemann.de>, Mikael Johansson
- MaintainerHenning Thielemann <numericprelude@henning-thielemann.de>
- Homepagewww.haskell.org/haskellwiki/Numeric_Prelude
- Pinned byhackage numeric-prelude 0.4.4
- Sourcehackage.haskell.org/package/numeric-prelude-0.4.4
Modules
92 modules- Algebra.Absolute3
- Algebra.Additive20
- Algebra.Algebraic7
- Algebra.Differential1
- Algebra.DimensionTerm49We already have the dynamically checked physical units
- Algebra.DivisibleSpace1
- Algebra.Field8
- Algebra.FloatingPoint1
- Algebra.Indexable6An alternative type class for Ord
- Algebra.IntegralDomain24
- Algebra.Lattice10
- Algebra.Laws16Define common properties that can be used e.g. for automated tests.
- Algebra.Module7Abstraction of modules
- Algebra.ModuleBasis3Abstraction of bases of finite dimensional modules
- Algebra.Monoid1Abstract concept of a Monoid.
- Algebra.NonNegative6A type class for non-negative numbers.
- Algebra.NormedSpace.Euclidean5Abstraction of normed vector spaces
- Algebra.NormedSpace.Maximum3Abstraction of normed vector spaces
- Algebra.NormedSpace.Sum3Abstraction of normed vector spaces
- Algebra.OccasionallyScalar3There are several types of numbers
- Algebra.PrincipalIdealDomain28
- Algebra.RealField1
- Algebra.RealIntegral1Generally before using quot and rem, think twice.
- Algebra.RealRing27
- Algebra.RealTranscendental1
- Algebra.RightModule1
- Algebra.Ring18
- Algebra.ToInteger4
- Algebra.ToRational2
- Algebra.Transcendental22
- Algebra.Units13
- Algebra.Vector7Abstraction of vectors
- Algebra.VectorSpace1
- Algebra.ZeroTestable2
- MathObj.Algebra4The generic case of a k-algebra generated by a monoid.
- MathObj.DiscreteMap1DiscreteMap was originally intended as a type class
- MathObj.LaurentPolynomial26Polynomials with negative and positive exponents.
- MathObj.Matrix20Routines and abstractions for Matrices and
- MathObj.Monoid4
- MathObj.PartialFraction29Implementation of partial fractions.
- MathObj.Permutation1Routines and abstractions for permutations of Integers. **
- MathObj.Permutation.CycleList16Permutation of Integers represented by cycles.
- MathObj.Permutation.CycleList.Check10
- MathObj.Permutation.Table12Permutation represented by an array of the images.
- MathObj.Polynomial17Polynomials and rational functions in a single indeterminate.
- MathObj.Polynomial.Core28This module implements polynomial functions on plain lists.
- MathObj.PowerSeries17Power series, either finite or unbounded.
- MathObj.PowerSeries.Core40
- MathObj.PowerSeries.DifferentialEquation6Lazy evaluation allows for the solution
- MathObj.PowerSeries.Example43
- MathObj.PowerSeries.Mean18This module computes power series for
- MathObj.PowerSeries212Two-variate power series.
- MathObj.PowerSeries2.Core18
- MathObj.PowerSum20For a multi-set of numbers,
- MathObj.RefinementMask29
- MathObj.RootSet25Computations on the set of roots of a polynomial.
- MathObj.Wrapper.Haskell986A wrapper that provides instances of Haskell 98 and NumericPrelude
- MathObj.Wrapper.NumericPrelude4A wrapper that provides instances of Haskell 98 and NumericPrelude
- Number.Complex23Complex numbers.
- Number.DimensionTerm39See Algebra.DimensionTerm.
- Number.DimensionTerm.SI40Special physical units: SI unit system
- Number.FixedPoint30Fixed point numbers.
- Number.FixedPoint.Check16
- Number.GaloisField2p32m55This number type is intended for tests of functions over fields,
- Number.NonNegative12A type for non-negative numbers.
- Number.NonNegativeChunky13A lazy number type, which is a generalization of lazy Peano numbers.
- Number.OccasionallyScalarExpression9Physical expressions track the operations made on physical values
- Number.PartiallyTranscendental3Define Transcendental functions on arbitrary fields.
- Number.Peano28Lazy Peano numbers represent natural numbers inclusive infinity.
- Number.Physical15Numeric values combined with abstract Physical Units
- Number.Physical.Read8Convert a human readable string to a physical value.
- Number.Physical.Show10Convert a physical value to a human readable string.
- Number.Physical.Unit8Abstract Physical Units
- Number.Physical.UnitDatabase24Tools for creating a data base of physical units
- Number.Positional128Exact Real Arithmetic - Computable reals.
- Number.Positional.Check14Interface to Number.Positional which dynamically checks for equal bases.
- Number.Quaternion19Quaternions
- Number.Ratio9Ratios of mathematical objects.
- Number.ResidueClass7
- Number.ResidueClass.Check12
- Number.ResidueClass.Func13
- Number.ResidueClass.Maybe6
- Number.ResidueClass.Reader17
- Number.Root13
- Number.SI46Numerical values equipped with SI units.
- Number.SI.Unit73Special physical units: SI unit system
- NumericPrelude207
- NumericPrelude.Base123The only point of this module is
- NumericPrelude.Elementwise7
- NumericPrelude.List.Checked5Some functions that are counterparts of functions from Data.List
- NumericPrelude.List.Generic11Functions that are counterparts of the generic functions in Data.List
- NumericPrelude.Numeric82
Description
The package provides an experimental alternative hierarchy of numeric type classes. The type classes are more oriented at mathematical structures and their methods come with laws that the instances must fulfill.
Depends on
11 packages- QuickCheck-2.15.0.1in this set
- array-0.5.8.0with GHC
- base-4.20.2.0with GHC
- containers-0.7with GHC
- deepseq-1.5.0.0with GHC
- non-negative-0.1.2in this set
- parsec-3.1.18.0with GHC
- random-1.2.1.3in this set
- semigroups-0.20in this set
- storable-record-0.0.7in this set
- utility-ht-0.0.17.2in this set
Used by in this set · 0
Nothing in this set depends on it.