module Data.Number.ER.RnToRm.DefaultRepr
(
module Data.Number.ER.RnToRm.DefaultRepr,
module Data.Number.ER.Real.DomainBox.IntMap
)
where
import Data.Number.ER.Real.DefaultRepr
import qualified Data.Number.ER.RnToRm.Approx as FA
import qualified Data.Number.ER.RnToRm.UnitDom.Approx as UFA
import qualified Data.Number.ER.Real.Approx as RA
import qualified Data.Number.ER.Real.Approx.Elementary as RAEL
import qualified Data.Number.ER.Real.DomainBox as DBox
import Data.Number.ER.BasicTypes
import Data.Number.ER.Real.DomainBox.IntMap
import Data.Number.ER.RnToRm.UnitDom.Base
import Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom
import Data.Number.ER.RnToRm.UnitDom.Approx.Interval
import Data.Number.ER.RnToRm.Approx.DomTransl
import Data.Number.ER.RnToRm.Approx.DomEdges
import Data.Number.ER.RnToRm.Approx.Tuple
import Data.Number.ER.RnToRm.Approx.PieceWise
import qualified Data.Map as Map
type FAPU = ERFnInterval (ERChebPoly (Box Int) B) IRA
type FAPD = ERFnDomTranslApprox (Box (DomTransl IRA)) VarID FAPU IRA
type FAPT = ERFnTuple FAPD
type FAPE = ERFnDomEdgesApprox VarID FAPT
type FAPWP = ERFnPiecewise (Box IRA) VarID IRA FAPE
type FA = FAPWP