AERN-Net-0.2.1.1: Compositional lazy dataflow networks for exact real number computation

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Control.ERNet.Blocks.Real.Basic

Description

 

Synopsis

Documentation

rateRProcessSource

Arguments

:: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) 
=> ERProcessName

process identifier (string)

-> Rational

desired ratio of improvement

-> Int

maximum number of attempts to reach desired improvement

-> ra

sample approximation to aid typechecking

-> ERProcess sInAnyProt sOutAnyProt 

A process passing on information about a real number, trying to improve the convergence rate in successive queries.

Each query may refer to a previous query. When it does, the query will not be answered until either:

  • the information about the number has improved by the desired amount since last time
  • the number of queries made in response to this query has reached the given limit

rateRsProcessSource

Arguments

:: (Channel sIn sOut sInAnyProt sOutAnyProt, ERApproxElementary ra, Typeable ra) 
=> ERProcessName

process identifier (string)

-> Rational

desired ratio of improvement

-> Int

maximum number of attempts to reach desired improvement

-> ra

sample approximation to aid typechecking

-> ERProcess sInAnyProt sOutAnyProt 

A process passing on information about a list of real numbers, trying to improve the convergence rate in successive queries.

Each query may refer to a previous query. When it does, the query will not be answered until either:

  • the information about the tuple has improved by the desired amount since last time
  • the number of queries made in response to this query has reached the given limit