Derived variables set builders

Haskell implementation of fast Practicable Inducers/Derived variables set builders

Sections

Highest-layer limited-derived derived variables set builder

No-sum-layer highest-layer limited-derived derived variables set builder

Level no-sum-layer highest-layer limited-derived derived variables set builder

Highest-layer limited-derived derived variables set builder

The application of the highest-layer limited-derived derived variables set builder $I_{P,U,\mathrm{D,d}} \in \mathrm{computers}$ is described in Haskell.

The derived set builder is defined in module AlignmentPracticable,

parametersSystemsBuilderDerivedVarsHighest :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> Histogram -> Histogram ->  
  Maybe (Map.Map (Set.Set Variable, Histogram, Histogram) Double)

parametersSystemsBuilderDerivedVarsHighest wmax omax uu vv ff xx xxrr
  ...

The repa derived set builder is defined in module AlignmentPracticableRepa,

parametersSystemsBuilderDerivedVarsHighestRepa :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  Maybe [((Set.Set Variable, HistogramRepa, HistogramRepa), Double)]

parametersSystemsBuilderDerivedVarsHighestRepa wmax omax uu vv ff hh hhx hhrr hhrrx
  ...

No-sum-layer highest-layer limited-derived derived variables set builder

The application of the no-sum-layer highest-layer limited-derived derived variables set builder $I_{P,U,\mathrm{D,d,ns}} \in \mathrm{computers}$ is described in Haskell.

The derived set builder is defined in module AlignmentPracticable,

parametersSystemsBuilderDerivedVarsHighestNoSumlayer :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> Histogram -> Histogram ->  
  Maybe (Map.Map (Set.Set Variable, Histogram, Histogram) Double)

parametersSystemsBuilderDerivedVarsHighestNoSumlayer wmax omax uu vv ff xx xxrr
  ...

The repa derived set builder is defined in module AlignmentPracticableRepa,

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  Maybe [((Set.Set Variable, HistogramRepa, HistogramRepa), Double)]

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa wmax omax uu vv ff hh hhx hhrr hhrrx
  ...

There is also a version that does no checking on the arguments,

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa_u :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  [((Set.Set Variable, HistogramRepa, HistogramRepa), Double)]

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa_u wmax omax uu vv ff hh hhx hhrr hhrrx
  ...

Another version does no checking on the arguments and returns the cardinality of the searched,

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa_ui :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  ([((Set.Set Variable, HistogramRepa, HistogramRepa), Double)],Integer)

parametersSystemsBuilderDerivedVarsHighestNoSumlayerRepa_ui wmax omax uu vv ff hh hhx hhrr hhrrx
  ...

Note that the repa builders are partly implemented in C using the Foreign Function Interface.

Level no-sum-layer highest-layer limited-derived derived variables set builder

The no-sum-layer highest-layer limited-derived derived variables set builder $I_{P,U,\mathrm{D,d,ns,l}} \in \mathrm{computers}$ is defined in module AlignmentPracticable,

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayer :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> Fud -> Histogram -> Histogram ->  
  Maybe (Map.Map (Set.Set Variable, Histogram, Histogram) Double)

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayer wmax omax uu vv ffg ff xx xxrr
  ...

The repa derived set builder is defined in module AlignmentPracticableRepa,

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayerRepa_u :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  [((Set.Set Variable, HistogramRepa, HistogramRepa), Double)]

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayerRepa_u wmax omax uu vv ffg ff hh hhx hhrr hhrrx
  ...

Note that this version that does no checking on the arguments.

Another version does no checking on the arguments and returns the cardinality of the searched,

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayerRepa_ui :: 
  Integer -> Integer -> System -> Set.Set Variable -> Fud -> Fud -> 
  HistoryRepa -> HistogramRepaRed -> HistoryRepa -> HistogramRepaRed ->   
  ([((Set.Set Variable, HistogramRepa, HistogramRepa), Double)],Integer)

parametersSystemsBuilderDerivedVarsLevelHighestNoSumlayerRepa_ui wmax omax uu vv ffg ff hh hhx hhrr hhrrx
  ...

Note that the repa builders are partly implemented in C using the Foreign Function Interface.

---

top