Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. frequency :: Frequency

   numeric-prelude	Algebra.DimensionTerm

   No documentation available.

2. module MathObj.PowerSeries.DifferentialEquation

   Lazy evaluation allows for the solution of differential equations in terms of power series. Whenever you can express the highest derivative of the solution as explicit expression of the lower derivatives where each coefficient of the solution series depends only on lower coefficients, the recursive algorithm will work.

3. propDiffEq0 :: Bool

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   No documentation available.

4. propDiffEq1 :: Bool

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   No documentation available.

5. solveDiffEq0 :: C a => [a]

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   Example for a linear equation: Setup a differential equation for y with

   y   t = (exp (-t)) * (sin t)
   y'  t = -(exp (-t)) * (sin t) + (exp (-t)) * (cos t)
   y'' t = -2 * (exp (-t)) * (cos t)
   

   Thus the differential equation

   y'' = -2 * (y' + y)
   

   holds. The following function generates a power series for exp (-t) * sin t by solving the differential equation.

6. solveDiffEq1 :: (C a, C a) => [a]

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   We are not restricted to linear equations! Let the solution be y with y t = (1-t)^-1 y' t = (1-t)^-2 y'' t = 2*(1-t)^-3 then it holds y'' = 2 * y' * y

7. verifyDiffEq0 :: C a => [a]

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   No documentation available.

8. verifyDiffEq1 :: (C a, C a) => [a]

   numeric-prelude	MathObj.PowerSeries.DifferentialEquation

   No documentation available.

9. type Frequency a = T Frequency a

   numeric-prelude	Number.DimensionTerm

   No documentation available.

10. frequency :: a -> Frequency a

    numeric-prelude	Number.DimensionTerm

    No documentation available.

Page 374 of many | Previous | Next