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
- Algebra.Absolute
- Algebra.Additive
- Algebra.Algebraic
- Algebra.Differential
- Algebra.DimensionTermWe already have the dynamically checked physical units
- Algebra.DivisibleSpace
- Algebra.Field
- Algebra.FloatingPoint
- Algebra.IndexableAn alternative type class for Ord
- Algebra.IntegralDomain
- Algebra.Lattice
- Algebra.LawsDefine common properties that can be used e.g. for automated tests.
- Algebra.ModuleAbstraction of modules
- Algebra.ModuleBasisAbstraction of bases of finite dimensional modules
- Algebra.MonoidAbstract concept of a Monoid.
- Algebra.NonNegativeA type class for non-negative numbers.
- Algebra.NormedSpace.EuclideanAbstraction of normed vector spaces
- Algebra.NormedSpace.MaximumAbstraction of normed vector spaces
- Algebra.NormedSpace.SumAbstraction of normed vector spaces
- Algebra.OccasionallyScalarThere are several types of numbers
- Algebra.PrincipalIdealDomain
- Algebra.RealField
- Algebra.RealIntegralGenerally before using quot and rem, think twice.
- Algebra.RealRing
- Algebra.RealTranscendental
- Algebra.RightModule
- Algebra.Ring
- Algebra.ToInteger
- Algebra.ToRational
- Algebra.Transcendental
- Algebra.Units
- Algebra.VectorAbstraction of vectors
- Algebra.VectorSpace
- Algebra.ZeroTestable
- MathObj.AlgebraThe generic case of a k-algebra generated by a monoid.
- MathObj.DiscreteMapDiscreteMap was originally intended as a type class
- MathObj.LaurentPolynomialPolynomials with negative and positive exponents.
- MathObj.MatrixRoutines and abstractions for Matrices and
- MathObj.Monoid
- MathObj.PartialFractionImplementation of partial fractions.
- MathObj.PermutationRoutines and abstractions for permutations of Integers. **
- MathObj.Permutation.CycleListPermutation of Integers represented by cycles.
- MathObj.Permutation.CycleList.Check
- MathObj.Permutation.TablePermutation represented by an array of the images.
- MathObj.PolynomialPolynomials and rational functions in a single indeterminate.
- MathObj.Polynomial.CoreThis module implements polynomial functions on plain lists.
- MathObj.PowerSeriesPower series, either finite or unbounded.
- MathObj.PowerSeries.Core
- MathObj.PowerSeries.DifferentialEquationLazy evaluation allows for the solution
- MathObj.PowerSeries.Example
- MathObj.PowerSeries.MeanThis module computes power series for
- MathObj.PowerSeries2Two-variate power series.
- MathObj.PowerSeries2.Core
- MathObj.PowerSumFor a multi-set of numbers,
- MathObj.RefinementMask2
- MathObj.RootSetComputations on the set of roots of a polynomial.
- MathObj.Wrapper.Haskell98A wrapper that provides instances of Haskell 98 and NumericPrelude
- MathObj.Wrapper.NumericPreludeA wrapper that provides instances of Haskell 98 and NumericPrelude
- Number.ComplexComplex numbers.
- Number.DimensionTermSee Algebra.DimensionTerm.
- Number.DimensionTerm.SISpecial physical units: SI unit system
- Number.FixedPointFixed point numbers.
- Number.FixedPoint.Check
- Number.GaloisField2p32m5This number type is intended for tests of functions over fields,
- Number.NonNegativeA type for non-negative numbers.
- Number.NonNegativeChunkyA lazy number type, which is a generalization of lazy Peano numbers.
- Number.OccasionallyScalarExpressionPhysical expressions track the operations made on physical values
- Number.PartiallyTranscendentalDefine Transcendental functions on arbitrary fields.
- Number.PeanoLazy Peano numbers represent natural numbers inclusive infinity.
- Number.PhysicalNumeric values combined with abstract Physical Units
- Number.Physical.ReadConvert a human readable string to a physical value.
- Number.Physical.ShowConvert a physical value to a human readable string.
- Number.Physical.UnitAbstract Physical Units
- Number.Physical.UnitDatabaseTools for creating a data base of physical units
- Number.PositionalExact Real Arithmetic - Computable reals.
- Number.Positional.CheckInterface to Number.Positional which dynamically checks for equal bases.
- Number.QuaternionQuaternions
- Number.RatioRatios of mathematical objects.
- Number.ResidueClass
- Number.ResidueClass.Check
- Number.ResidueClass.Func
- Number.ResidueClass.Maybe
- Number.ResidueClass.Reader
- Number.Root
- Number.SINumerical values equipped with SI units.
- Number.SI.UnitSpecial physical units: SI unit system
- NumericPrelude
- NumericPrelude.BaseThe only point of this module is
- NumericPrelude.Elementwise
- NumericPrelude.List.CheckedSome functions that are counterparts of functions from Data.List
- NumericPrelude.List.GenericFunctions that are counterparts of the generic functions in Data.List
- NumericPrelude.Numeric
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.18.0.0in this set
- array-0.5.8.0with GHC
- base-4.23.0.0with GHC
- containers-0.8with GHC
- deepseq-1.5.2.0with GHC
- non-negative-0.1.2.1in this set
- parsec-3.1.18.0with GHC
- random-1.3.1in this set
- semigroups-0.20.1in 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.