Data.Number.ER.RnToRm.Approx.DomEdges

Documentation

data ERFnDomEdgesApprox varid fa

Use some function approximation type and for each domain box keep a structure of function approximations of this type indexed by the hyper-edge structure. For each hyper-edge of the domain, the approximation has this edge as its domain.

E.g. for a 2D square domain there are:

• one approximation for the whole square
• four 1D approximations, one for each edge
• eight 0D approximations, one for each endpoint of each edge

Constructors

ERFnDomEdgesApprox

Fields

erfnMainVolume :: fa

erfnEdges :: Map (varid, PlusMinus) (ERFnDomEdgesApprox varid fa)

Instances

Typeable2 ERFnDomEdgesApprox

(ERFnDomApprox box varid domra ranra fa, VariableID varid) => ERFnDomApprox box varid domra ranra (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, VariableID varid) => ERFnApprox box varid domra ranra (ERFnDomEdgesApprox varid fa)

ERFnApprox box varid domra ranra fa => Eq (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Fractional (ERFnDomEdgesApprox varid fa)

(Data varid, Data fa, Ord varid) => Data (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Num (ERFnDomEdgesApprox varid fa)

(ERFnApprox box varid domra ranra fa, Ord fa) => Ord (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, Ord varid, VariableID varid) => Show (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, ERApproxElementary fa, VariableID varid) => ERApproxElementary (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, VariableID varid) => ERApprox (ERFnDomEdgesApprox varid fa)

(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, VariableID varid) => ERIntApprox (ERFnDomEdgesApprox varid fa)

(Ord a, Binary a, Binary b) => Binary (ERFnDomEdgesApprox a b)