AERN-RnToRm-0.5.0.1: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.UnitDom.Base.Tests.Generate

Description

A collection of basic functions to pick from when testing.

Documentation

newtype FBSize10 fb Source

Constructors

FBSize10 ((Int, Int), fb) 

Instances

Show fb => Show (FBSize10 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBSize10 fb) 

newtype FBSize10Small fb Source

Constructors

FBSize10Small (Int, fb) 

Instances

Show fb => Show (FBSize10Small fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBSize10Small fb) 

newtype FBSize10Degree3 fb Source

Constructors

FBSize10Degree3 (Int, fb) 

Instances

Show fb => Show (FBSize10Degree3 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBSize10Degree3 fb) 

newtype FBEnclThinSize10 fb Source

Constructors

FBEnclThinSize10 ((Int, Int), E fb) 

Instances

Show fb => Show (FBEnclThinSize10 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10 fb) 

newtype FBEnclThinSize10Small fb Source

Constructors

FBEnclThinSize10Small (Int, E fb) 

Instances

Show fb => Show (FBEnclThinSize10Small fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10Small fb) 

newtype FBEnclThinSize10Degree3 fb Source

Constructors

FBEnclThinSize10Degree3 (Int, E fb) 

Instances

Show fb => Show (FBEnclThinSize10Degree3 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10Degree3 fb) 

newtype FBEnclParalSize10 fb Source

Constructors

FBEnclParalSize10 (((Int, Int), SmallRatio), E fb) 

Instances

Show fb => Show (FBEnclParalSize10 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10 fb) 

newtype FBEnclParalSize10Small fb Source

Constructors

FBEnclParalSize10Small ((Int, SmallRatio), E fb) 

Instances

Show fb => Show (FBEnclParalSize10Small fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10Small fb) 

newtype FBEnclParalSize10Degree3 fb Source

Constructors

FBEnclParalSize10Degree3 ((Int, SmallRatio), E fb) 

Instances

Show fb => Show (FBEnclParalSize10Degree3 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10Degree3 fb) 

newtype FBEnclThickSize10 fb Source

Constructors

FBEnclThickSize10 (((Int, Int), (Int, Int)), E fb) 

Instances

Show fb => Show (FBEnclThickSize10 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10 fb) 

newtype FBEnclThickSize10Small fb Source

Constructors

FBEnclThickSize10Small ((Int, Int), E fb) 

Instances

Show fb => Show (FBEnclThickSize10Small fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10Small fb) 

newtype FBEnclThickSize10Degree3 fb Source

Constructors

FBEnclThickSize10Degree3 ((Int, Int), E fb) 

Instances

Show fb => Show (FBEnclThickSize10Degree3 fb) 
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10Degree3 fb) 

polynomials1200ishSize10 :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source

polynomials1200ishSize10Small :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source

polynomials1200ishSize10Degree3 :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source

makeThinEncl :: ERUnitFnBase boxb boxra varid b ra ufb => ufb -> (ufb, ufb)Source

makeThickEncl :: ERUnitFnBase boxb boxra varid b ra ufb => Int -> Int -> ufb -> ufb -> (ufb, ufb)Source

makeParalEncl :: ERUnitFnBase boxb boxra varid a ra ufb => ufb -> SmallRatio -> (ufb, ufb)Source