[Dylan Thurston on Haskell-Cafe, 2001-02-13 thielema**20040619192511] [changes until 2004-04-18 thielema**20040619193518] [typo's: flipped values in 'divMod' instance, 'replicate' instead of 'repeat' in 'reduceRepeated' thielema**20040619194343] [some notes about the current design thielema**20040624112132] [don't know about SmallIntegral thielema**20040704150329] [tone intervals, machine constants thielema**20040704150358] [removed infinite loops caused by implicit 'fromInteger's thielema**20040704161956] [signum and abs thielema**20040705145938] [Did Dylan move Rational to a separate module? thielema**20040705153939] [probably interested people thielema**20040801175447] [*** empty log message *** thielema**20040815203432] [floating point format properties thielema**20040913081842] [a type constructor is of class PhysShow if it provides several routines necessary for showing physical values, SIValue takes such a type constructor as first type parameter; this principle requires all contexts to be declared in the PhysShow class itself, which cannot be considered as a solution thielema**20040401124714] [try to get rid of the context of the PhysShow class methods by adding contexts to type constructors like PhysComplex etc., unfortunately this doesn't work, the answer from Haskell-Cafe is: data type contexts apply to the constructors when considered as functions but they don't apply to the data type itself thielema**20040401125428] [implemented a hint from Dylan Thurston, that is I added a dummy type parameter for the scalar type to SIValue thielema**20040403201809] [swapped type parameters of VectorSpace and Normalization, now they allow for easier partial application thielema**20040404070711] [new methods sub, neg for VectorSpace thielema**20040404074225] [finer distinction between norms: NormedSum, NormedMax, NormedEuc classes thielema**20040404074318] [tried some more generic versions of VectorSpace instances, but they overlap and the scalar type 'a' can't be determined :-( thielema**20040404080332] [divided VectorSpace class into class VectorSpacePure which doesn't require a scalar type and class VectorSpace which requires vector type and scalar type thielema**20040404094432] [tried to get rid of special instances for Float and Double by an intermediate ScalarVector class, this doesn't work thielema**20040404100028] [declaraing special instances of VectorSpacePure for Float and Double satisfies GHC thielema**20040404100428] [to have a defined type recursion anchor I declare special instances of VectorSpace, NormedSum etc. for Float and Double, then I can write very generic multi-parameter classes that even span over multiple levels of vectorization thielema**20040404105119] [tuple classes for VectorSpace and Normed no longer require equal types for the tuple members thielema**20040404120653] [*** empty log message *** thielema**20040425202202] [TAG VectorSpaceUnrelatedTypeParametersFinish thielema**20040425202202] [merged the branch using multi-parameter type classes with independent types into the main trunk thielema**20040513161556 merged the branch using multi-parameter type classes with independent types into the main trunk I'm now convinced that this is the most flexible solution, though it may require more explicit type declarations in applications ] [removed unnecessary imports thielema**20040513162637] [haddock doesn't accept descriptions for instance method declarations thielema**20040519170158] [adding lists: consider the absent list values as zero thielema**20040718191930] [additive structure for lists: since we interpret non-existing values after the end of a list as zeros, the most efficient zero is the empty list thielema**20040724131843] [removed all warnings: 'exp' replaced by 'expo', unwanted patterns raise explicit errors, give explicit type to exponents of (^), give explicit signatures to all values thielema**20040725104329] [naming convention: first word/part of an identifier lowercase, subsequent parts capitalized without underscore separation; 'where' on the same line thielema**20040725112626] [make us of toMaybe, toMaybe returns 'Just' if a corresponding condition is true thielema**20040725123343] [ratScale functions should be easier to understand now, they don't need Ord i any longer thielema**20040725145703] [more sophisticated instances of Monad and Functor, GHC would also automatically derive such instances for SIValue and it works, but I don't know how :-) thielema**20040725145852] [added OPTION comment to the modules which need glasgow-exts thielema**20040725150024] [some notes about abstraction from FiniteMap thielema**20040731185605] [VectorSpacePure -> Additive thielema**20040731190935] [define a vector space on FiniteMaps, this is e.g. used for unit vectors thielema**20040801150033] [made comments Haddock compliant thielema**20040801154224] [option -fglasgow-exts written in the header thielema**20040801175617] [removed ghc options from the module description thielema**20040803152428] [added linearComb thielema**20040815203159] [add parentheses according to the precedence thielema**20040913082035] [Read class, still cumbersome and no support for powers of units thielema**20040913082137] [readUnitPart less cumbersome thielema**20040913082246] [support of powers of units, it's a hack that does not handle parse errors of the exponent thielema**20040913082349] [OccasionallyScalar provides conversion from complex number types to scalar ones in case no information is lost numericprelude@henning-thielemann.de**20040913162654] [use compilation of all modules as test for darcs numericprelude@henning-thielemann.de**20040913164108] [removed some warnings from PhysRead numericprelude@henning-thielemann.de**20040913171710] [Automatic conversion to integer by toScalar? Better not, this is too messy. numericprelude@henning-thielemann.de**20040914155018] [showSplit allows representation as (scaled value, unit string) which is necessary for labelling graphs numericprelude@henning-thielemann.de**20040916092451] [omit multiplication sign between number and unit numericprelude@henning-thielemann.de**20040916093454] [UnitSetPower unites UnitSet and an exponent numericprelude@henning-thielemann.de**20040916094718] [powerOfUnitSet raises a unit and all its scales to a given power, we use this instead of storing the exponent explicitly, which simplifies things a bit but relies on lazy evaluation numericprelude@henning-thielemann.de**20040916133433] [test documentation generation numericprelude@henning-thielemann.de**20040917150744] [PhysUnit -> PhysicalUnit, use T as main type and thus support qualified import numericprelude@henning-thielemann.de**20040919081836] [PhysValue -> PhysicalValue, use T as main type and thus support qualified import numericprelude@henning-thielemann.de**20040919084903] [PhysRead -> PhysicalValueRead, PhysShow -> PhysicalValueShow numericprelude@henning-thielemann.de**20040919085615] [UnitDatabase.Database -> UnitDatabase.T numericprelude@henning-thielemann.de**20040919092215] [unit database for Read is a superset of the one for Show, replaced prependUnitSet by the more atomic showableUnit numericprelude@henning-thielemann.de**20040919101952] [SIDim -> SIUnit.Dimension numericprelude@henning-thielemann.de**20040919102631] [SIValue.SIValue -> SIValue.T numericprelude@henning-thielemann.de**20040919103707] [sixty -> minuteSecs, hourSecs, siQuantity -> quantity numericprelude@henning-thielemann.de**20040919105730] [swapped unit and value in the definition of PhysicalValue.T because the value is more 'variable' numericprelude@henning-thielemann.de**20040919114737] [mapSI - > lift, mapSI2 -> lift2, likePV to lift functions of physical values to arguments that are wrapped with SIValue.C numericprelude@henning-thielemann.de**20040919120512] [use 'µ' instead of 'u' as prefix for 'micro' numericprelude@henning-thielemann.de**20040926122706] [earthAcc -> accelerationOfEarthGravity, which is lengthy but the shortest one I could find that is still correct numericprelude@henning-thielemann.de**20040927125856] [there are higher capacitances available today numericprelude@henning-thielemann.de**20040927130010] [read for physical values now uses Parsec library numericprelude@henning-thielemann.de**20040928232501] [ignoreSpace replaces manual (skipMany space) numericprelude@henning-thielemann.de**20040929120408] [readsNat parses the number with precedence of multiplication, but how to handle the 'prec' argument it receives? numericprelude@henning-thielemann.de**20040929120909] [parseProductTail more compact numericprelude@henning-thielemann.de**20040929122300] [PhysicalExpression allows tracking of unit problems numericprelude@henning-thielemann.de**20041008221044] [nano seconds are quite common in connection with computers numericprelude@henning-thielemann.de**20041008221306] [added fromScalar method to OccasionallyScalar class, PhysicalValue: fromScalar -> fromScalarSingle numericprelude@henning-thielemann.de**20041008224204] [Fractional instance for PhysicalExpression numericprelude@henning-thielemann.de**20041009075007] [fromScalarSingle wraps a value without unit with a unit data type numericprelude@henning-thielemann.de**20041024122101] [contribution to the Haskell activities report November 2004 numericprelude@henning-thielemann.de**20041027113131] [Add option headers dpt@math.harvard.edu**20041028030609] [Reworking the Ratio classes, add methods for dealing with units properly dpt@math.harvard.edu**20041028032506] [Add top-level Makefile dpt@math.harvard.edu**20041028033004] [Preliminary implementation of polynomials dpt@math.harvard.edu**20041028033117 One major issue to be resolved with this version is how to name the variable of the polynomial. ] [notes about (**) and negative bases numericprelude@henning-thielemann.de**20041103155807] [tried to make PhysicalExpression an instance of Floating numericprelude@henning-thielemann.de**20041129210029 This approach fails because functions like 'sin' and 'exp' can fail by themselves, in contrast to the functions of Num and Fractional which can always be performed. For the methods in Floating we need to know the scalar type and use it for temporary results. ] [Haddock does not complain about missing information about Base types, but the hyperlinks still don't work. numericprelude@henning-thielemann.de**20041129211503] [PhysicalExpression.T a v, 'a' is used to fix the interim scalar type; now Floating instance works numericprelude@henning-thielemann.de**20041129214506] [PhysicalExpression: more convenient layout of error messages by inserting 'e.g.' phrase numericprelude@henning-thielemann.de**20041129215545] [VectorSpace: definitions in a more functional style numericprelude@henning-thielemann.de**20041211121040] [haddock documentation for NumericPrelude numericprelude@henning-thielemann.de**20050312130001] [class OccasionallyScalar.OccasionallyScalar -> OccasionallyScalar.C numericprelude@henning-thielemann.de**20050312131426] [separate build directory for each target machine numericprelude@henning-thielemann.de**20050312133606] [eliminated most of the compiler warnings numericprelude@henning-thielemann.de**20050312143502] [hierarchical name space numericprelude@henning-thielemann.de**20050312210723 Herewith I merged Dylan Thurston's NumericPrelude and my PhysicalUnit stuff which was quite separated until now. ] [moved some general functions to the new module 'Utility' numericprelude@henning-thielemann.de**20050312213825] [Normalization split into NormedSpace.Sum, .Maximum, .Euclidean numericprelude@henning-thielemann.de**20050312221140] [split Dylan's VectorSpace module into AlgebraicModule, AlgebraicRightModule, VectorSpaceDT, DivisibleSpace numericprelude@henning-thielemann.de**20050313084137] [type Polynomial.Poly -> Polynomial.T, constructor Polynomial.Poly -> Polynomial.Cons numericprelude@henning-thielemann.de**20050313085825] [type PowerSeries.PowerSeries -> PowerSeries.T, PowerSeries.PS -> PowerSeries.Cons numericprelude@henning-thielemann.de**20050313090031] [Polynomial: implemented routines in terms of lists numericprelude@henning-thielemann.de**20050313110108 The list functions are then lifted to Polynomial.T. This avoids frequent packing and unpacking and thus it makes implementation of the functions easier. ] [PowerSeries: re-use functions from Polynomial numericprelude@henning-thielemann.de**20050313121626] [Polynomial/PowerSeries: compose, sqrt, differentiate, integrate; series of exp, sin, cos; examples of differential equations numericprelude@henning-thielemann.de**20050313135704] [new module DifferentialAlgebra numericprelude@henning-thielemann.de**20050313140807] [zipWithMatch numericprelude@henning-thielemann.de**20050313150508] [introduce (.+), (.-), (*>) to the VectorSpace module of PhysicalUnit numericprelude@henning-thielemann.de**20040921150314] [separated Additive from VectorSpace and made use of qualified identifiers numericprelude@henning-thielemann.de**20050313145426] [SIValue.C -> SIValue.Cons numericprelude@henning-thielemann.de**20050314232028] [NumPrelude.fr -> fromRational, Fractional.fromRational -> fromRational' numericprelude@henning-thielemann.de**20050314232836 fromRational' is not a nice name for a class method but GHC expects a fromRational which converts from GHC.Real.Rational rather than from NumPrelude.Rational. ] [PhysicalExpression.C -> Cons numericprelude@henning-thielemann.de**20050315111411] [PhysicalValue.C -> Cons numericprelude@henning-thielemann.de**20050315112353] [SIValue: showsPrec must not call shows in order to prevent infinite loops numericprelude@henning-thielemann.de**20050315122230] [restrict (^) to non-negative exponents, re-introduce (^^) for Fractional numericprelude@henning-thielemann.de**20050315130611] [adapt physical quantity stuff to the class hierarchy of NumericPrelude numericprelude@henning-thielemann.de**20050315133344] [separated Additive from NumPrelude numericprelude@henning-thielemann.de**20050315140024] [merged Dylan's and my VectorSpace module numericprelude@henning-thielemann.de**20050321093158] [NumPrelude: new 'sqr' numericprelude@henning-thielemann.de**20050321102747] [Haddock comments for NormedSpace.Euclidean numericprelude@henning-thielemann.de**20050321112220] [adopt TeX version of the HCAR article numericprelude@henning-thielemann.de**20050501211341] [HCAR article updated for 2005 spring issue numericprelude@henning-thielemann.de**20050502072545] [copied Data.Complex 2005-03-20 from the library shipped with Hugs numericprelude@henning-thielemann.de**20050514115716] [adapt Complex number module to the type classes of NumericPrelude numericprelude@henning-thielemann.de**20050514142433] [divide NumExtras in Lattice and AlgebraicModule numericprelude@henning-thielemann.de**20050514144835] [Number.Complex: instances for Integral, Show, Read numericprelude@henning-thielemann.de**20050514161330] [Read instance for SIValue supports precedences numericprelude@henning-thielemann.de**20050514181220] [simplified Read instance for Complex and Ratio numericprelude@henning-thielemann.de**20050514181426] [Complex numbers: instance for Units and PID numericprelude@henning-thielemann.de**20050514192952 Thus it is now possible to use rationals with Gauss numbers in numerator and denominator. ] [additive and power laws numericprelude@henning-thielemann.de**20050514194417] [replace Data.Complex by Number.Complex everywhere numericprelude@henning-thielemann.de**20050514203551] [extendedEuclid: bugfix numericprelude@henning-thielemann.de**20050515110028] [ResidueClass: new number type numericprelude@henning-thielemann.de**20050515111845] [Utility supports 'read' and 'show' for Number.Complex and Number.ResidueClass numericprelude@henning-thielemann.de**20050515122520] [new directory Algebra for all numeric type classes numericprelude@henning-thielemann.de**20050515125119 renamed NumPrelude into Algebra.Core it contains all the mutual depending stuff ] [NormedSpace -> Algebra.NormedSpace numericprelude@henning-thielemann.de**20050515125703] [DifferentialAlgebra, Lattice, DivisibleSpace -> Algebra/ numericprelude@henning-thielemann.de**20050515130354] [Module.hs, RightModule.hs, VectorSpace.hs -> Algebra/ numericprelude@henning-thielemann.de**20050515131919] [Additive -> Algebra/ numericprelude@henning-thielemann.de**20050515134225] [ZeroTestable class compares with zero without requiring Eq numericprelude@henning-thielemann.de**20050515142320] [extracted RealTranscendental from Algebra.Core numericprelude@henning-thielemann.de**20050515144657] [split Floating class into Algebraic and Transcendental numericprelude@henning-thielemann.de**20050515155905] [make Data.Ratio an instance of NumericPrelude classes - for compatibility numericprelude@henning-thielemann.de**20050515204015] [NumericPrelude exports Module.*> numericprelude@henning-thielemann.de**20050516152417] [promote ZeroTestable class numericprelude@henning-thielemann.de**20050516153459 Make clear that also a zero has a unit. ] [more GCD laws numericprelude@henning-thielemann.de**20050516154004] [intermediate class Complex.Divisible saves us overlapping and undecidable instances numericprelude@henning-thielemann.de**20050516161905] [Module and VectorSpace instances for physical quantities numericprelude@henning-thielemann.de**20050516162511] [HCAR report Nov 2005, included changes from the editor numericprelude@henning-thielemann.de**20051019162808] [HCAR report: implicit configuration for residue classes numericprelude@henning-thielemann.de**20051031090746] [Algebra.Core: do not use type synonyms for Int, Integer, Float, Double numericprelude@henning-thielemann.de**20060325201623 It seems that they were accepted for instance declarations by GHC-6.2.2, but GHC-6.4.1 rejects them consequently. ] [adaption to GHC-6.4.1: removed Show and Functor instances for FiniteMap numericprelude@henning-thielemann.de**20060325202945] [adaption to GHC-6.4.1: replace FiniteMap by Data.Map numericprelude@henning-thielemann.de**20060325205634] [Algebra.Core.fraction: new function for computing the fractional part of a Fractional number numericprelude@henning-thielemann.de**20060325235337] [Algebra.Core.splitFraction replaces properFraction and rounds as floor numericprelude@henning-thielemann.de**20060326000356] [Polynomial.add: avoid processing of the tail of the longer summand numericprelude@henning-thielemann.de**20060326065247 This accelerates mul considerably if the first factor is a singleton. ] [PowerSeries: made an instance of Algebraic and Transcendental numericprelude@henning-thielemann.de**20060326070437 composition and inversion of series moved example series to PowerSeries.Example moved differential equations to Power.DifferentialEquation ] [Polynomial, PowerSeries: instance for Module based on Module of the coefficients rather than on Num numericprelude@henning-thielemann.de**20060326081140] [NumericPrelude.List: new module extracted from Utility, new: slice functions numericprelude@henning-thielemann.de**20060326083108] [Utility split into NumericPrelude.Condition and .Text numericprelude@henning-thielemann.de**20060326084154] [List: another implementation of sieve using unfoldr numericprelude@henning-thielemann.de**20060326100744] [PowerSeries.Example: speedup tan series by omitting zero terms numericprelude@henning-thielemann.de**20060326101145] [Algebra.Core.showsPrecRatioAuto: a version of showsPrec for Ratios which shows integral ratios like integrals numericprelude@henning-thielemann.de**20060326140011] [MathObj: new directory for mathematical objects like Polynomials and PowerSeries numericprelude@henning-thielemann.de**20060326151332] [LaurentPolynomial: new module for polynomials and series with negative exponents numericprelude@henning-thielemann.de**20060326193156] [Number.Positional: numbers with arbitrary precision, fraction digits stored as list of Ints numericprelude@henning-thielemann.de**20060326204004] [Algebraic: new method 'root', a generalization of square root to any root numericprelude@henning-thielemann.de**20060401115331] [Algebraic: new method '^/' for powers with rational exponent numericprelude@henning-thielemann.de**20060401140529] [Number.Positional: reduced warnings numericprelude@henning-thielemann.de**20060401160009] [Physics.Quantity: Ord instance numericprelude@henning-thielemann.de**20060401182911] [Algebra.ModuleBasis: provides bases for modules and flattens vectors numericprelude@henning-thielemann.de**20060402112811] [OccasionallyScalar -> Algebra.OccasionallyScalar numericprelude@henning-thielemann.de**20060402171235] [Bool instance of Lattice numericprelude@henning-thielemann.de**20060402172900] [DiscreteMap -> MathObj.DiscreteMap numericprelude@henning-thielemann.de**20060402173350] ['iterateAssoc' added, a sophisticated variant of 'iterate' numericprelude@henning-thielemann.de**20060408152559] [module RootSet added, computations on the roots of a polynomial numericprelude@henning-thielemann.de**20060409103424] [RootSet -> PowerSum numericprelude@henning-thielemann.de**20060409130403] [Physical values: Real instance is needed for synthesizer application numericprelude@henning-thielemann.de**20060409164440] [make modules compatible to the 'unlit' employed by Cabal for haddock numericprelude@henning-thielemann.de**20060412111019] [cabalized numericprelude@henning-thielemann.de**20060412111342] [Monad.untilM added numericprelude@henning-thielemann.de**20060416160226] [Number.Complex: class Polar removes dependency on 'magnitude' from Prelude.RealFloat numericprelude@henning-thielemann.de**20060416183505] [HCAR article updated for 2006 spring issue numericprelude@henning-thielemann.de**20060421141840] [moved SIDouble, SIComplex from Physics.Quantity.SIValue to Test numericprelude@henning-thielemann.de**20060422152307] [Makefile: use variables for Haskell compiler, adapt 'clean' to hierarchy in 'build' directory, dump haddock interface numericprelude@henning-thielemann.de**20060422160912] [moved modules about physical values to src/Number numericprelude@henning-thielemann.de**20060422161630] [Algebra.Core: moved 'sum' to Additive module, sum1 added numericprelude@henning-thielemann.de**20060422211033] [NormedSpace: scalar type must be of Real class numericprelude@henning-thielemann.de**20060423092956] [NumLaws split into modules for Ring laws and Integral laws numericprelude@henning-thielemann.de**20060423093222] [export lists for Additive, Ring numericprelude@henning-thielemann.de**20060423101246] [shear: moved from Polynomial to List numericprelude@henning-thielemann.de**20060605111047] [Test suite based on HUnit, initialized with List and Polynomial properties numericprelude@henning-thielemann.de**20060605132743] [registered test suite in Cabal's Setup script numericprelude@henning-thielemann.de**20060605133217] [RootSet: re-added, but it is now based on PowerSum numericprelude@henning-thielemann.de**20060605154807] [Number.FixedPoint: FixedPoint arithmetic based on Integer numericprelude@henning-thielemann.de**20060830080219] [Number.FixedPoint: faster convergent arctan representation of pi numericprelude@henning-thielemann.de**20060830081445] [Number.Positional: thoughts on computation of pi numericprelude@henning-thielemann.de**20060912162946] [Number.Positional: comparison numericprelude@henning-thielemann.de**20060912163130] [List: replicateMatch added numericprelude@henning-thielemann.de**20060913084958] [split ResidueClass into several interfaces to the base routines numericprelude@henning-thielemann.de**20060914204445] [Number.Positional: simplified import numericprelude@henning-thielemann.de**20060915081954] [Number.Positional: List -> Mantissa numericprelude@henning-thielemann.de**20060915082419] [Number.Positional: conversion to regular positional numbers with non-negative digits numericprelude@henning-thielemann.de**20060915082658] [Number.Positional: conversions from basic number types numericprelude@henning-thielemann.de**20060915082915] [Number.Positional: tried to implement 'series' but failed because of infinite dependencies numericprelude@henning-thielemann.de**20060915083059] [Number.Positional: simplify usage of Laurent polynomial functions numericprelude@henning-thielemann.de**20060916184606] [Number.Positional: multiplication based on a specialised series computation numericprelude@henning-thielemann.de**20060916184927] [Number.Positional: extracted instancable data type to new module Number.Positional.Check numericprelude@henning-thielemann.de**20060917133858] [Number.Positional: Core -> T numericprelude@henning-thielemann.de**20060917135533] [Number.Positional: type synonyms Basis and Exponent numericprelude@henning-thielemann.de**20060917183308] [Number.Positional: arcus tangens series and pi numericprelude@henning-thielemann.de**20060917183931] [Number.Positional: show decimal representation numericprelude@henning-thielemann.de**20060918073550] [Number.Positional: division numericprelude@henning-thielemann.de**20060918082459] [Number.Positional: bug in lessApprox for finite fractions numericprelude@henning-thielemann.de**20060918123559] [Number.Positional: arcus tangens for all arguments, too slow for (sqrt 3) and (1 / sqrt 3) numericprelude@henning-thielemann.de**20060918124201] [Number.Positional: square root numericprelude@henning-thielemann.de**20060918151144] [Number.Positional: constants zero, one, minusOne numericprelude@henning-thielemann.de**20060918220835] [Number.Positional: conversion between Reals and Double numericprelude@henning-thielemann.de**20060918221033] [Number.Positional: exponential and logarithm series numericprelude@henning-thielemann.de**20060918221219] [Number.Positional: fixed bug in trimOnce which occured on empty mantissa numericprelude@henning-thielemann.de**20060919075714] [Number.Positional: section for constants numericprelude@henning-thielemann.de**20060919080359] [Number.Positional: bug in SeriesSucc - must use splitAtPadZero instead of splitAt, bug in splitAtPadZero numericprelude@henning-thielemann.de**20060919092554] [Number.Positional: exponential function numericprelude@henning-thielemann.de**20060919092807] [Number.Positional: trigonometric functions: sinus and cosinus numericprelude@henning-thielemann.de**20060919120938] [Transcendental: default implementation of asin and acos in terms of atan numericprelude@henning-thielemann.de**20060919123300] [Number.Positional: divInt aware of terminating fractions numericprelude@henning-thielemann.de**20060919133343] [Number.Positional: sinCos -> cosSin for comformance to complex numbers numericprelude@henning-thielemann.de**20060919141515] [Number.Positional: sinCosFourth should accelerate sinCosSmall, but surprisingly it does not numericprelude@henning-thielemann.de**20060919141800] [Number.Positional: angle function numericprelude@henning-thielemann.de**20060919142817] [fixed some wrong Haddock links numericprelude@henning-thielemann.de**20060919143102] [Number.Positional: bugfix, some splitAt replaced by splitAtPadZero numericprelude@henning-thielemann.de**20060920055838] [Number.Positional: bugfix, nonNegativeMant ate the last digit before a terminating sequence of zeros numericprelude@henning-thielemann.de**20060920071213] [Number.Positional: conversion between different bases numericprelude@henning-thielemann.de**20060920085830] [LaurentPolynomial: series numericprelude@henning-thielemann.de**20060920112845] [Makefile: hide NumericPrelude package as installed by Cabal numericprelude@henning-thielemann.de**20060920113018] [Number.Positional: simpler series implementation numericprelude@henning-thielemann.de**20060920121039] [Number.Positional: more laziness for 'series', splitAtMatchZeroPad splits lazily numericprelude@henning-thielemann.de**20060920134854] [Number.Positional: 'divInt' removes leading zeros; 'series' with preprocessing that asserts decreasing residue exponents numericprelude@henning-thielemann.de**20060920144157] [Number.Positional: extracted series of logarithm and arcus tangens to separate functions numericprelude@henning-thielemann.de**20060920150400] [Number.Positional: accelerated arcus tangens with help of Double atan numericprelude@henning-thielemann.de**20060920152708] [Number.Positional: bugfix, new series implementation returned inappropriate exponent for empty series numericprelude@henning-thielemann.de**20060920204918] [Number.Positional: roots and powers numericprelude@henning-thielemann.de**20060920205235] [Number.Positional.Check: instances of many numeric type classes ease usage in GHCi numericprelude@henning-thielemann.de**20060920221213] [Number.Positional: separate multiplication series from multiplication numericprelude@henning-thielemann.de**20060921101728] [Number.Positional: increase size of divisor for safe division numericprelude@henning-thielemann.de**20060921102512] [Number.Positional: a more lazy variant of the exp series which does not access the mantissa for computing the residue exponent numericprelude@henning-thielemann.de**20060922165055] [Number.Positional: tried to compute the logarithm by solving a Newton iteration lazily numericprelude@henning-thielemann.de**20060922165307 This fails due to computational dependencies that are far beyond the mathematical dependencies of digits ] [Number.Positional: comment problems of some algorithms numericprelude@henning-thielemann.de**20060922170133] [Number.Positional: equalApprox numericprelude@henning-thielemann.de**20060923093927] [Number.Positional: lazier implementations of sqrt and divide numericprelude@henning-thielemann.de**20060923094141] [Number.Positional: incredibly fast sqrt based on Newton iteration and Integers numericprelude@henning-thielemann.de**20060923210631 Laziness is reduced considerably. ] [PowerSeries, Polynomial: import with hiding in order to make identifiers visible that are useful for GHCi usage numericprelude@henning-thielemann.de**20061004153208] [Perlude98.Num instance of Ratio for simplification of GHCi usage numericprelude@henning-thielemann.de**20061004153436] [(^!) is merely (^) with fixed exponent type Integer numericprelude@henning-thielemann.de**20061004154011] [ResidueClass.Func: bugfix - Eq constraint for 'equal' numericprelude@henning-thielemann.de**20061004154913] [Makefile: respect ResidueClass interfaces numericprelude@henning-thielemann.de**20061004155300] [ToDo list for classes and types numericprelude@henning-thielemann.de**20061004155713] [Number.Positional.Check: support for Complex numbers numericprelude@henning-thielemann.de**20061005033225] [added instances of Prelude98.Num, Prelude98.Fractional for Ratio, SIValue, Complex, Real, ResidueClass for simple usage in GHCi numericprelude@henning-thielemann.de**20061005033443] [Polynomial, PowerSeries: fromCoeffs better than using Cons numericprelude@henning-thielemann.de**20061005034949] [Makefile: hide installed NumericPrelude package for compiling 'test' numericprelude@henning-thielemann.de**20061005041921] [ResidueClass.fromRepresentative numericprelude@henning-thielemann.de**20061005042105] [Test: simplify interactive demonstration of Polynomial, PowerSeries, Real, ResidueClass numericprelude@henning-thielemann.de**20061005052001] [experiments with generalized means numericprelude@henning-thielemann.de**20061005052453] [Functor instance for Polynomial and PowerSeries, this let us convert polynomials on residue classes to polynomials on integers numericprelude@henning-thielemann.de**20061005074534] [Notes: some thoughts about numeric type classes for DSL wrappers numericprelude@henning-thielemann.de**20061005092149] [PowerSeries: Knuth gives a division algorithm that is perfectly made for lazy evaluation numericprelude@henning-thielemann.de**20061010131150] [Test: added showReal numericprelude@henning-thielemann.de**20061011085750] [Number.Complex: use NormedSpace.Euclidean instead of Polar class for normalization of numbers numericprelude@henning-thielemann.de**20061017092422] [Quaternion added numericprelude@henning-thielemann.de**20061017093832] [fixed exponent type of (^) and (^^) to Integer, new generic functions ringPower, fieldPower numericprelude@henning-thielemann.de**20061017201557] [(^^) -> (^-) numericprelude@henning-thielemann.de**20061020143747] [(Algebraic.^/): Rational as exponent type instead of ToRational type variable numericprelude@henning-thielemann.de**20061021080527] [remove ToRational constraint from RealFrac numericprelude@henning-thielemann.de**20061021082021] [padLeft, padRight -> NumericPrelude.List numericprelude@henning-thielemann.de**20061022173820] [Number.FixedPoint: convert fixed point numbers to positional representation numericprelude@henning-thielemann.de**20061022180427] [Number.FixedPoint: fast logarithm implementation by an estimate by the Double-log numericprelude@henning-thielemann.de**20061022182731] [Number.FixedPoint: fast exponentation by computing inter powers separately numericprelude@henning-thielemann.de**20061022184334] [Number.FixedPoint: moved type class interfaces to separate module numericprelude@henning-thielemann.de**20061022212029] [Number.FixedPoint: accelerated arctan computation by Double-atan estimate numericprelude@henning-thielemann.de**20061022215305] [Test module: import FixedPoint numericprelude@henning-thielemann.de**20061022215820] [PowerSeries.Example: 'alternate' helper function numericprelude@henning-thielemann.de**20061028142840] [PowerSeries.Example: error function numericprelude@henning-thielemann.de**20061028143111] [Makefile: running testsuite becomes part of Darcs check-in test numericprelude@henning-thielemann.de**20061028144442] [PowerSeries.Example: sinh, cosh, atanh added numericprelude@henning-thielemann.de**20061028165602] [PowerSeries: inserted simple series manipulations 'alternate', 'holes2' from Examples numericprelude@henning-thielemann.de**20061028165808] [GHCi-Test: import PowerSeries.Example numericprelude@henning-thielemann.de**20061028231048] [PowerSeries.Examples: moved tests to automatic test-suite numericprelude@henning-thielemann.de**20061028231437] [PowerSum, RootSet: ToInteger type variable -> Integer type constant numericprelude@henning-thielemann.de**20061030123043] [for class RealFrac: replace Ord constraint by Real numericprelude@henning-thielemann.de**20061030143420] [Num -> Ring.C numericprelude@henning-thielemann.de**20061030145515] [Condition: 'implies' added numericprelude@henning-thielemann.de**20061104224801] [Core.Integral -> IntegralDomain.C numericprelude@henning-thielemann.de**20061104225100] [Core.Units -> Algebra.Units.C numericprelude@henning-thielemann.de**20061105122057] [Units: expose method implementations for integer types numericprelude@henning-thielemann.de**20061105125316] [Core: removed Units numericprelude@henning-thielemann.de**20061105142531] [Core.PID -> PrincipalIdealDomain.C numericprelude@henning-thielemann.de**20061105205152] [Core.Ratio -> Ratio.T numericprelude@henning-thielemann.de**20061105221707] [Ratio: implement all Ord methods numericprelude@henning-thielemann.de**20061105223914] [Core.Fractional -> Field.C numericprelude@henning-thielemann.de**20061106000936] [HCAR article updated for 2006 autumn issue numericprelude@henning-thielemann.de**20061106101332] [some notes on what to do next numericprelude@henning-thielemann.de**20061106101746] [PreludeBase: unlit -> haddock numericprelude@henning-thielemann.de**20061106212313] [Polynomial, PowerSeries: unlit -> haddock numericprelude@henning-thielemann.de**20061106221648] [Quaternion: bugfix crossProduct numericprelude@henning-thielemann.de**20061107085233] [Quaternion: Field instance numericprelude@henning-thielemann.de**20061107090439] [Quaternion: spherical linear interpolation numericprelude@henning-thielemann.de**20061107165110] [Quaternion: conversions to and from rotation matrix numericprelude@henning-thielemann.de**20061107221527] [Quaternion: conversion to and from complex matrices numericprelude@henning-thielemann.de**20061108090332] [Polynomial.safeDiv -> IntegralDomain numericprelude@henning-thielemann.de**20061117110151] [add some quick-start document numericprelude@henning-thielemann.de**20061122140713] [Polynomial: introductory comments on its usage numericprelude@henning-thielemann.de**20061122144527] [remove -fglasgow-exts options, where unnecessary numericprelude@henning-thielemann.de**20061124195921] [Transcendental: more laws numericprelude@henning-thielemann.de**20061124200322] [unified maintainer field numericprelude@henning-thielemann.de**20061124201225] [multi-line comments for module descriptions numericprelude@henning-thielemann.de**20061124202516] [try a new Vector class, which models a Vector type constructor, rather than the connection of arbitrary scalar and vector types numericprelude@henning-thielemann.de**20061125194050 The current solution is still not Haskell 98, because it requires extended type signatures like "Eq (v a)". ] [Vector: pure Haskell 98 but needs helper methods and classes numericprelude@henning-thielemann.de**20061125201529] [Algebras, matrices and groups Mikael Johansson **20061210115434] [Algebra, Matrix, PermutationGroup -> MathObj/; more precise imports numericprelude@henning-thielemann.de**20061210204239] [Matrix: simplifications numericprelude@henning-thielemann.de**20061210212428] [Algebra: simplifications numericprelude@henning-thielemann.de**20061211073948] [PermutationGroup: avoid isJust/fromJust numericprelude@henning-thielemann.de**20061211074300] [PermutationGroup: simplified orbit computation numericprelude@henning-thielemann.de**20061211074949] [List: compareLength numericprelude@henning-thielemann.de**20061211083417] [PermutationGroup: simplified reduceCycles numericprelude@henning-thielemann.de**20061211084546] [PermutationGroup: factored out Set.choose numericprelude@henning-thielemann.de**20061211085535] [SI units: encode 'micro' symbol by escape sequence numericprelude@henning-thielemann.de**20061211214625] [Permutation: action without list indexing numericprelude@henning-thielemann.de**20061212110032] [Monoid: does not need Haskell extensions numericprelude@henning-thielemann.de**20061217205910] [Cabal file: Algebra, Matrix, PermutationGroup -> MathObj/ numericprelude@henning-thielemann.de**20061217210148] [PermutationGroup -> Permutation.CycleList numericprelude@henning-thielemann.de**20061218193150] [Permutation class numericprelude@henning-thielemann.de**20061218201127] [Permutation.Table implementation of permutation with a table of images numericprelude@henning-thielemann.de**20061218202245] [Permutation.CycleList.generate -> Permutation.Table.closure numericprelude@henning-thielemann.de**20061219064453] [Permutation.Table.closure using Data.Set numericprelude@henning-thielemann.de**20061219072334] [Permutation: moved instance declarations to new module CycleList.Check numericprelude@henning-thielemann.de**20061219081433] [Permutation.CycleList.Check: declare instance of Permutation.C numericprelude@henning-thielemann.de**20061219203904] [Permutation for arbitrary Ix types numericprelude@henning-thielemann.de**20061219213229] [Vector: add -> (<+>) numericprelude@henning-thielemann.de**20061223194047] [Vector instances numericprelude@henning-thielemann.de**20061223194826] [PowerSeries: Integral instance which handles leading zeros of the divisor series numericprelude@henning-thielemann.de**20070216201616] [notes about Vector type class numericprelude@henning-thielemann.de**20070219075602] [power series with two variables numericprelude@henning-thielemann.de**20070219075855] [PowerSeries.Mean: show by expansion into a power series, that the quadratic and the harmonic mean cannot be represented by mean value theorem numericprelude@henning-thielemann.de**20070219080605] [PowerSeries: make the division with non-zero absolute term in divisor the default numericprelude@henning-thielemann.de**20070219090909] [PowerSeries: derivedLog numericprelude@henning-thielemann.de**20070219092658] [PowerSeries2: found them on [[a]] rather than [PS.T a] numericprelude@henning-thielemann.de**20070219200904] [PowerSeries2: common type class instances numericprelude@henning-thielemann.de**20070219205138] [more laws, e.g. trigonometric addition theorems numericprelude@henning-thielemann.de**20070220094254] [Number.PartiallyTranscendental: new module for work with power series with rational coefficients and transcendental functions numericprelude@henning-thielemann.de**20070220095642] [Algebra.Core: removed (^!) numericprelude@henning-thielemann.de**20070220130728] [ResidueClass.Reader: check a monadic interface to residue classes numericprelude@henning-thielemann.de**20070330123623 comparison and sharing is possible, but re-using of other numeric algorithms is not ] [Physical.Unit: use toMaybe numericprelude@henning-thielemann.de**20070408202442] [Number.Ratio: fromValue, scale added numericprelude@henning-thielemann.de**20070408202718] [Matrix.scalarProduct -> Ring numericprelude@henning-thielemann.de**20070411133139] [List: add splitLast numericprelude@henning-thielemann.de**20070411133523] [IntegralDomain: sameResidueClass, divModZero added numericprelude@henning-thielemann.de**20070411134419] [PrincipalIdealDomain: extendedGCD returns a pair containing a pair numericprelude@henning-thielemann.de**20070411135226] [PrincipalIdealDomain: diophantine and chineseRemainder added numericprelude@henning-thielemann.de**20070411140457] [PartialFraction: sketch of a new module numericprelude@henning-thielemann.de**20070411140849] [Algebra.Laws: added, contains tests on properties like commutativity, associativity numericprelude@henning-thielemann.de**20070412080949] [IntegralDomain.decomposePositional added numericprelude@henning-thielemann.de**20070412195848] [Ratio.split added numericprelude@henning-thielemann.de**20070413151653] [IntegralDomain.decomposePositional -> decomposeVarPositional numericprelude@henning-thielemann.de**20070413154928] [PartialFraction: conversion from fraction to partial fraction for given factorization of denominator numericprelude@henning-thielemann.de**20070413155901] [Units: use Laws numericprelude@henning-thielemann.de**20070413160633] [PartialFraction: alternative implementation of fromFactoredFraction using iterated division by a denominator factor numericprelude@henning-thielemann.de**20070413182326] [PartialFraction: newtype SmallPrime with Arbitrary instance for QuickCheck numericprelude@henning-thielemann.de**20070413183644] [PartialFraction.removeZeros: fixes a bug in scaleFrac numericprelude@henning-thielemann.de**20070413191903] [PartialFraction: multiplication numericprelude@henning-thielemann.de**20070416071144] [Algebra, PartialFraction: bug in implementation of subtraction, zipWith (-) doesn't work numericprelude@henning-thielemann.de**20070416194358] [PartialFraction properties moved to test suite numericprelude@henning-thielemann.de**20070416194744] [Polynomial.divMod: bug fix, there was a 'scale' too much numericprelude@henning-thielemann.de**20070416195246] [Polynomial, Ratio: Arbitrary instances for use with QuickCheck numericprelude@henning-thielemann.de**20070416195646] [IntegralDomain: added non-zero constraints to properties numericprelude@henning-thielemann.de**20070416201342] [Polynomial: added automated tests numericprelude@henning-thielemann.de**20070416201639] [PartialFraction: test with negative primes numericprelude@henning-thielemann.de**20070417062644] [Indexable type class added, alternative for Ord where magnitudes do not exist numericprelude@henning-thielemann.de**20070417073519] [Polynomial.equal: Additive constraint reduced to ZeroTestable numericprelude@henning-thielemann.de**20070417074243] [Indexable instances for several common types numericprelude@henning-thielemann.de**20070417074748] [PartialFraction: replace Ord constraint by Indexable constraint numericprelude@henning-thielemann.de**20070417075115] [Polynomial: allow construction of polynomials by numeric literals, thus allowing '1+x+x^2' for suitable 'x' numericprelude@henning-thielemann.de**20070417085256] [PartialFraction: more convenient Show instance (fix after Indexable introduction) numericprelude@henning-thielemann.de**20070417085734] [Test and play environment: support partial fractions numericprelude@henning-thielemann.de**20070417094438] [PartialFraction: test cases for polynomials, however they still fail due to normalization problems numericprelude@henning-thielemann.de**20070417094921] [PartialFraction: short introduction numericprelude@henning-thielemann.de**20070417095159] [Peano numbers added numericprelude@henning-thielemann.de**20070501194147] [Number.SI.Unit: special ISO latin characters replaced by escape sequences numericprelude@henning-thielemann.de**20070617202635] [Algebra.Core.preludeSplitFraction: this was wrong for negative integers, which made all other methods of RealFrac wrong for Float and Double numericprelude@henning-thielemann.de**20070823183810] [SI numbers: add unit 'tonne' numericprelude@henning-thielemann.de**20070914145650] [SI numbers: add inch, yard, ... numericprelude@henning-thielemann.de**20070915165639] [Makefile: target publish numericprelude@henning-thielemann.de**20071128150257] [many scattered minor changes numericprelude@henning-thielemann.de**20071128151002] [HCAR article updated for 2007 spring issue numericprelude@henning-thielemann.de**20071128152621] [HCAR article updated for 2007 autumn issue numericprelude@henning-thielemann.de**20071128152954] [LaurentPolynomial: taken explanation of addShiftedMany from Synthesizer package numericprelude@henning-thielemann.de**20071206100801] [NonNegative: type class and wrapper numericprelude@henning-thielemann.de**20071212141147] [Ratio: fixed deadlock in Arbitrary numericprelude@henning-thielemann.de**20080102104705] [UnitTerm: poor man's static unit checking numericprelude@henning-thielemann.de**20080102200552] [UnitTerm: define rewrite rules and arithmetic operations numericprelude@henning-thielemann.de**20080103093509] [Physics directory removed numericprelude@henning-thielemann.de**20080103101931] [LaurentPolynomial: comments turned from signal processing to algebraic terms numericprelude@henning-thielemann.de**20080103102337] [UnitTerm: format dimensions by the Show class numericprelude@henning-thielemann.de**20080103112139] [UnitTerm: abs, absSignum, scale, infix operators for unit type values numericprelude@henning-thielemann.de**20080104195958] [fast implementation of 'fraction' for Double and Float numericprelude@henning-thielemann.de**20080112224454] [even faster implementation of 'fraction' using GHC's primitives int2Double and friends numericprelude@henning-thielemann.de**20080113160533] [UnitTerm: Random instance, infix operator for scale, frequency numericprelude@henning-thielemann.de**20080220102943] [standard Setup.lhs numericprelude@henning-thielemann.de**20080220110019] [Cabal-1.2 configuration which works on both GHC 6.4 and 6.8 numericprelude@henning-thielemann.de**20080220110819] [Core.Real -> separate module numericprelude@henning-thielemann.de**20080227083748] [Core.RealIntegral -> separate module numericprelude@henning-thielemann.de**20080227083828] [Core.RealFrac -> separate module RealField numericprelude@henning-thielemann.de**20080227092740] [Algebra.Core: move orphaned instances to the appropriate modules numericprelude@henning-thielemann.de**20080227101401] [Core.ToRational -> separate module Algebra.ToRational numericprelude@henning-thielemann.de**20080229163004] [Core.ToInteger -> separate module Algebra.ToInteger numericprelude@henning-thielemann.de**20080229173912] [UnitTerm -> DimensionTerm numericprelude@henning-thielemann.de**20080229215847] [Module instance for DimensionNumber numericprelude@henning-thielemann.de**20080229220900] [DimensionTerm.unrecip numericprelude@henning-thielemann.de**20080301162041] [Number.DimensionTerm: mulToScalar, divToScalar numericprelude@henning-thielemann.de**20080302184551] [NormedSpace.Euclidean: separate classes 'normSqr' and 'norm' numericprelude@henning-thielemann.de**20080302203556 instances for Ratio Number.Complex: bugfix instances for NormedMax, NormedSum ] [NormedSpace.Maximum, NormedSpace.Sum: Rational instances numericprelude@henning-thielemann.de**20080302204322 instance NormedMax [a] for empty lists ] [Algebra.Core removed, description moved to Cabal file numericprelude@henning-thielemann.de**20080302212304] [NumericPrelude -> numeric-prelude numericprelude@henning-thielemann.de**20080303070835] [GPL3 license file numericprelude@henning-thielemann.de**20080303072028] [DimensionNumber: OccasionallyScalar instance numericprelude@henning-thielemann.de**20080303072819] [README: package URL on Hackage numericprelude@henning-thielemann.de**20080303073032] [Makefile: NumericPrelude -> numeric-prelude numericprelude@henning-thielemann.de**20080305104115] [fixed Haddock markup numericprelude@henning-thielemann.de**20080305104712] [LaurentPolynomial.adjoint numericprelude@henning-thielemann.de**20080305211249] [Number.SI.Unit: use 'length' as dimension instead of 'distance' numericprelude@henning-thielemann.de**20080308194749] [capacity -> capacitance numericprelude@henning-thielemann.de**20080308200536] [Number.DimensionTerm.SI: constants for SI units like second, hertz, etc. numericprelude@henning-thielemann.de**20080308201157] [Number.DimensionTerm: type synonyms for numbers with standard dimensions numericprelude@henning-thielemann.de**20080308201942] [ranges for dependent packages numericprelude@henning-thielemann.de**20080310125509] [TAG 0.0.2 numericprelude@henning-thielemann.de**20080310131533] [NonNegativeChunky numericprelude@henning-thielemann.de**20080310163731] [ResidueClass: ambiguous reference to 'one' and 'zero' in Haddock comments numericprelude@henning-thielemann.de**20080311132549] [NonNegative.Rational based on NumericPrelude's Ratio rather than that of Prelude98 numericprelude@henning-thielemann.de**20080311143030] [Notes about non-negative values numericprelude@henning-thielemann.de**20080323154235] [Complex: Arbitrary instance numericprelude@henning-thielemann.de**20080323164657] [DimensionTerm.doubleRecip needed for Fourier analysis numericprelude@henning-thielemann.de**20080323164951] [List.dropMatch numericprelude@henning-thielemann.de**20080329194013] [Algebra.DimensionTerm.frequency numericprelude@henning-thielemann.de**20080412084302] [HCAR article updated for 2008 spring issue numericprelude@henning-thielemann.de**20080428144609] [NonNegativeChunky: instance Integral numericprelude@henning-thielemann.de**20080510100121] [RealField: inline rounding functions numericprelude@henning-thielemann.de**20080510140553 fractionTrunc return zero for large numbers ] [support for machine integers Int8, Int16, ..., Word8, ... numericprelude@henning-thielemann.de**20080512181757] [RealField: split conversion to Int16 et.al. into conversion to Int and subsequent conversion to Int16 numericprelude@henning-thielemann.de**20080512190000] [Tuple.mapFst, mapSnd, mapPair numericprelude@henning-thielemann.de**20080515191644] [RealField: custom implementations of rounding functions based on double2Int et.al. numericprelude@henning-thielemann.de**20080515193528 they are much faster than the Prelude functions which rely on decodeFloat and Integers ] [RealField: inline methods for Float and Double numericprelude@henning-thielemann.de**20080522165751 fraction: check for minBound and maxBound::Int instead of checking the absolute value ] [DimensionTerm.IsScalar class allows number literals for scalar numbers numericprelude@henning-thielemann.de**20080526104519] [use Cabal for automated darcs test numericprelude@henning-thielemann.de**20080627061931] [Polynomial, PowerSeries: for evaluation the calculation in Ring becomes default numericprelude@henning-thielemann.de**20080627062345 two variants for calculations in Modules: vector coefficients vs. vector argument ] [Number.Complex: more INLINE numericprelude@henning-thielemann.de**20080627085824] [Utility modules: more inlining numericprelude@henning-thielemann.de**20080630081640] [Transcendental: (^?) as alternative to (**) numericprelude@henning-thielemann.de**20080630122334] [NonNegative.-? : subtraction with sign numericprelude@henning-thielemann.de**20080630122833] [Algebra: inline instance functions for primitive types numericprelude@henning-thielemann.de**20080630125749] [Complex.Polar: remove that Class and drop in specialised versions for Float and Double by optimizer rules numericprelude@henning-thielemann.de**20080701085736] [Complex.Divisible: remove that Class and drop in specialised versions for Float and Double by optimizer rules numericprelude@henning-thielemann.de**20080701094509] [Number.Complex: replace tabs by spaces numericprelude@henning-thielemann.de**20080701103619] [Ratio: Random instance numericprelude@henning-thielemann.de**20080801160054] [NumericPrelude: export (^?) numericprelude@henning-thielemann.de**20080801160802] [build test executables only on demand numericprelude@henning-thielemann.de**20080816182942] [TAG 0.0.4 numericprelude@henning-thielemann.de**20080926080946] [wiki page as homepage numericprelude@henning-thielemann.de**20080926081129] [haddock: comma separated enumeration of renamings numericprelude@henning-thielemann.de**20080926082008]