module Drasil.SWHS.Unitals where -- all of this file is exported

import Language.Drasil
import Language.Drasil.Display (Symbol(Atop), Decoration(Delta))
import Language.Drasil.ShortHands
import Language.Drasil.Chunk.Concept.NamedCombinators

import Data.Drasil.Concepts.Documentation (simulation)
import Data.Drasil.Constraints (gtZeroConstr)
import Data.Drasil.Quantities.Math (gradient, pi_, surArea, surface, uNormalVect)
import Data.Drasil.Quantities.PhysicalProperties (mass, density, vol)
import Data.Drasil.Quantities.Physics (subMax, subMin, supMax, supMin, time)
import Data.Drasil.Quantities.Thermodynamics (sensHeat, temp, meltPt,
  htFlux, latentHeat, boilPt, heatCapSpec)
import Data.Drasil.SI_Units (m_2, second, kilogram, metre, joule,
  centigrade, m_3, specificE)
import Data.Drasil.Units.PhysicalProperties (densityU)
import qualified Data.Drasil.Units.Thermodynamics as UT (heatTransferCoef,
  heatCapSpec, thermalFlux, volHtGenU)

import Drasil.SWHS.Concepts (water)

import Control.Lens ((^.))

symbols :: [DefinedQuantityDict]
symbols :: [DefinedQuantityDict]
symbols = DefinedQuantityDict
pi_ DefinedQuantityDict
-> [DefinedQuantityDict] -> [DefinedQuantityDict]
forall a. a -> [a] -> [a]
: (UnitalChunk -> DefinedQuantityDict)
-> [UnitalChunk] -> [DefinedQuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map UnitalChunk -> DefinedQuantityDict
forall c.
(Quantity c, Concept c, MayHaveUnit c) =>
c -> DefinedQuantityDict
dqdWr [UnitalChunk]
units [DefinedQuantityDict]
-> [DefinedQuantityDict] -> [DefinedQuantityDict]
forall a. [a] -> [a] -> [a]
++ (DefinedQuantityDict -> DefinedQuantityDict)
-> [DefinedQuantityDict] -> [DefinedQuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map DefinedQuantityDict -> DefinedQuantityDict
forall c.
(Quantity c, Concept c, MayHaveUnit c) =>
c -> DefinedQuantityDict
dqdWr [DefinedQuantityDict]
unitless [DefinedQuantityDict]
-> [DefinedQuantityDict] -> [DefinedQuantityDict]
forall a. [a] -> [a] -> [a]
++ (ConstrConcept -> DefinedQuantityDict)
-> [ConstrConcept] -> [DefinedQuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map ConstrConcept -> DefinedQuantityDict
forall c.
(Quantity c, Concept c, MayHaveUnit c) =>
c -> DefinedQuantityDict
dqdWr [ConstrConcept]
constrained

symbolsAll :: [QuantityDict]
symbolsAll :: [QuantityDict]
symbolsAll = (DefinedQuantityDict -> QuantityDict)
-> [DefinedQuantityDict] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map DefinedQuantityDict -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [DefinedQuantityDict]
symbols [QuantityDict] -> [QuantityDict] -> [QuantityDict]
forall a. [a] -> [a] -> [a]
++ (ConstQDef -> QuantityDict) -> [ConstQDef] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map ConstQDef -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [ConstQDef]
specParamValList [QuantityDict] -> [QuantityDict] -> [QuantityDict]
forall a. [a] -> [a] -> [a]
++
  (ConstQDef -> QuantityDict) -> [ConstQDef] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map ConstQDef -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [ConstQDef
htFusionMin, ConstQDef
htFusionMax, ConstQDef
coilSAMax] [QuantityDict] -> [QuantityDict] -> [QuantityDict]
forall a. [a] -> [a] -> [a]
++
  (UncertainChunk -> QuantityDict)
-> [UncertainChunk] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map UncertainChunk -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [UncertainChunk
absTol, UncertainChunk
relTol]

-- Symbols with Units --

units :: [UnitalChunk]
units :: [UnitalChunk]
units = (UnitalChunk -> UnitalChunk) -> [UnitalChunk] -> [UnitalChunk]
forall a b. (a -> b) -> [a] -> [b]
map UnitalChunk -> UnitalChunk
forall c. (Unitary c, Concept c, MayHaveUnit c) => c -> UnitalChunk
ucw [UnitalChunk
inSA, UnitalChunk
outSA, UnitalChunk
heatCapSpec, UnitalChunk
htCapL,
  UnitalChunk
htCapS, UnitalChunk
htCapV, UnitalChunk
sensHeat, UnitalChunk
pcmInitMltE,
  UnitalChunk
volHtGen, UnitalChunk
htTransCoeff, UnitalChunk
pcmMass, UnitalChunk
wMass, UnitalChunk
htFlux, UnitalChunk
latentHeat,
  UnitalChunk
thFluxVect, UnitalChunk
htFluxC, UnitalChunk
htFluxIn, UnitalChunk
htFluxOut, UnitalChunk
htFluxP, UnitalChunk
latentEP,
  UnitalChunk
temp, UnitalChunk
boilPt, UnitalChunk
tempEnv, UnitalChunk
meltPt, UnitalChunk
tInitMelt,
  UnitalChunk
tFinalMelt, UnitalChunk
vol, UnitalChunk
tankVol, UnitalChunk
wVol, UnitalChunk
deltaT,
  UnitalChunk
density, UnitalChunk
tau, UnitalChunk
tauLP, UnitalChunk
tauSP, UnitalChunk
tauW, UnitalChunk
thickness] [UnitalChunk] -> [UnitalChunk] -> [UnitalChunk]
forall a. [a] -> [a] -> [a]
++
  (UnitalChunk -> UnitalChunk) -> [UnitalChunk] -> [UnitalChunk]
forall a b. (a -> b) -> [a] -> [b]
map UnitalChunk -> UnitalChunk
forall c. (Unitary c, Concept c, MayHaveUnit c) => c -> UnitalChunk
ucw [UnitalChunk
mass, UnitalChunk
time] -- ++ [tankLength, diam, coilSA]

unitalChuncks :: [UnitalChunk]
unitalChuncks :: [UnitalChunk]
unitalChuncks = [UnitalChunk
inSA, UnitalChunk
outSA, UnitalChunk
htCapL, UnitalChunk
htCapS, UnitalChunk
htCapV,
  UnitalChunk
pcmInitMltE, UnitalChunk
volHtGen, UnitalChunk
htTransCoeff,
  UnitalChunk
pcmMass, UnitalChunk
wMass,
  UnitalChunk
thFluxVect, UnitalChunk
htFluxC, UnitalChunk
htFluxIn, UnitalChunk
htFluxOut, UnitalChunk
htFluxP, UnitalChunk
latentEP,
  UnitalChunk
tempEnv, UnitalChunk
tInitMelt,
  UnitalChunk
tFinalMelt, UnitalChunk
tankVol, UnitalChunk
wVol, UnitalChunk
deltaT,
  UnitalChunk
tau, UnitalChunk
tauLP, UnitalChunk
tauSP, UnitalChunk
tauW, UnitalChunk
simTime, UnitalChunk
thickness]

inSA, outSA, htCapL, htCapS, htCapV,
  pcmInitMltE, volHtGen, htTransCoeff,
  pcmMass, wMass,
  thFluxVect, htFluxC, htFluxIn, htFluxOut, htFluxP, latentEP,
  tempEnv, tInitMelt,
  tFinalMelt, tankVol, wVol, deltaT,
  tau, tauLP, tauSP, tauW, simTime, thickness:: UnitalChunk

---------------------
-- Regular Symbols --
---------------------

--symbol names can't begin with a capital

inSA :: UnitalChunk
inSA = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "inSA" (String -> NP
nounPhraseSP
  "surface area over which heat is transferred in")
  "surface area over which thermal energy is transferred into an object"
  (Symbol -> Symbol -> Symbol
sub Symbol
cA Symbol
lIn) UnitDefn
m_2

outSA :: UnitalChunk
outSA = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "outSA" (String -> NP
nounPhraseSP
  "surface area over which heat is transferred out")
  "surface area over which thermal energy is transferred out of an object"
  (Symbol -> Symbol -> Symbol
sub Symbol
cA Symbol
lOut) UnitDefn
m_2

htCapL :: UnitalChunk
htCapL = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htCapL" (String -> NP
nounPhraseSP "specific heat capacity of a liquid")
  ("the amount of energy required to raise the temperature of a given " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "unit mass of a given liquid by a given amount")
  (Symbol -> Symbol -> Symbol
sup (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lLiquid) UnitDefn
UT.heatCapSpec

htCapS :: UnitalChunk
htCapS = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htCapS"
  (String -> NP
nounPhraseSP "specific heat capacity of a solid")
  ("the amount of energy required to raise the temperature of " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "a given unit mass of a given solid by a given amount")
  (Symbol -> Symbol -> Symbol
sup (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lSolid) UnitDefn
UT.heatCapSpec

htCapV :: UnitalChunk
htCapV = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htCapV"
  (String -> NP
nounPhraseSP "specific heat capacity of a vapour")
  ("the amount of energy required to raise the temperature of a given " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "unit mass of vapour by a given amount")
  (Symbol -> Symbol -> Symbol
sup (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lVapour) UnitDefn
UT.heatCapSpec

pcmInitMltE :: UnitalChunk
pcmInitMltE = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "pcmInitMltE" (String -> NP
nounPhraseSP
  "change in heat energy in the PCM at the instant when melting begins")
  "change in thermal energy in the phase change material at the melting point"
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
sensHeat) Symbol
lPCM) Symbol
lMelt) Symbol
lInit) UnitDefn
joule

volHtGen :: UnitalChunk
volHtGen = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "volHtGen"
  (String -> NP
nounPhraseSP "volumetric heat generation per unit volume")
  "Amount of thermal energy generated per unit volume" Symbol
lG UnitDefn
UT.volHtGenU

htTransCoeff :: UnitalChunk
htTransCoeff = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htTransCoeff"
  (String -> NP
nounPhraseSP "convective heat transfer coefficient")
  ("the proportionality constant between the heat flux and the " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "thermodynamic driving force for the flow of thermal energy")
  Symbol
lH UnitDefn
UT.heatTransferCoef

pcmMass :: UnitalChunk
pcmMass = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "pcmMass" (String -> NP
nounPhraseSP "mass of phase change material")
  "the quantity of matter within the phase change material"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
mass) Symbol
lPCM) UnitDefn
kilogram

wMass :: UnitalChunk
wMass = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "wMass" (String -> NP
nounPhraseSP "mass of water")
  "the quantity of matter within the water" (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
mass) Symbol
lWater) UnitDefn
kilogram

thFluxVect :: UnitalChunk
thFluxVect = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "thFluxVect" (String -> NP
nounPhraseSP "thermal flux vector")
  "vector denoting the direction of thermal flux through a surface"
  (Symbol -> Symbol
vec Symbol
lQ) UnitDefn
UT.thermalFlux

htFluxC :: UnitalChunk
htFluxC = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htFluxC"
  (String -> NP
nounPhraseSP "heat flux into the water from the coil")
  "the rate of heat energy transfer into the water from the coil per unit time"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
htFlux) Symbol
lCoil) UnitDefn
UT.thermalFlux

htFluxIn :: UnitalChunk
htFluxIn = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htFluxIn" (String -> NP
nounPhraseSP "heat flux input")
  "the rate of heat energy transfer into an object per unit time"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
htFlux) Symbol
lIn) UnitDefn
UT.thermalFlux

htFluxOut :: UnitalChunk
htFluxOut = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htFluxOut" (String -> NP
nounPhraseSP "heat flux output")
  "the rate of heat energy transfer into an object per unit time"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
htFlux) Symbol
lOut) UnitDefn
UT.thermalFlux

htFluxP :: UnitalChunk
htFluxP = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "htFluxP" (String -> NP
nounPhraseSP "heat flux into the PCM from water")
  ("the rate of heat energy transfer into the phase" String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "change material from the water per unit time")
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
htFlux) Symbol
lPCM) UnitDefn
UT.thermalFlux

latentEP :: UnitalChunk
latentEP = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "latentEP" (String -> NP
nounPhraseSP "latent heat energy added to PCM")
  ("energy released or absorbed, by a body or a thermodynamic system, "String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "during a constant-temperature process and absorbed by the phase" String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "change material") (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
latentHeat) Symbol
lPCM) UnitDefn
joule

tempEnv :: UnitalChunk
tempEnv = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "tempEnv" (String -> NP
nounPhraseSP "temperature of the environment")
  "the tempature of a given environment"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lEnv) UnitDefn
centigrade

tInitMelt :: UnitalChunk
tInitMelt = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "tInitMelt"
  (String -> NP
nounPhraseSP "time at which melting of PCM begins")
  ("time at which the phase change material " String -> String -> String
forall a. [a] -> [a] -> [a]
++
    "begins changing from a solid to a liquid")
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
time) Symbol
lMelt) Symbol
lInit) UnitDefn
second

tFinalMelt :: UnitalChunk
tFinalMelt = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "tFinalMelt"
  (String -> NP
nounPhraseSP "time at which melting of PCM ends")
  ("time at which the phase change material " String -> String -> String
forall a. [a] -> [a] -> [a]
++
    "finishes changes from a solid to a liquid")
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
time) Symbol
lMelt) Symbol
lFinal) UnitDefn
second
  
tankVol :: UnitalChunk
tankVol = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "tankVol" (String -> NP
nounPhraseSP "volume of the cylindrical tank")
  "the amount of space encompassed by a tank"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
vol) Symbol
lTank) UnitDefn
m_3

wVol :: UnitalChunk
wVol = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "wVol" (UnitalChunk
vol UnitalChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
`of_` ConceptChunk
water)
  "the amount of space occupied by a given quantity of water"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
vol) Symbol
lWater) UnitDefn
m_3

deltaT :: UnitalChunk
deltaT = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "deltaT" (String -> NP
nounPhraseSP "change in temperature")
  "change in the average kinetic energy of a given material"
  (Decoration -> Symbol -> Symbol
Atop Decoration
Delta (Symbol -> Symbol) -> Symbol -> Symbol
forall a b. (a -> b) -> a -> b
$ UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) UnitDefn
centigrade

tau :: UnitalChunk
tau = String
-> NP -> String -> (Stage -> Symbol) -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> (Stage -> Symbol) -> u -> UnitalChunk
ucStaged "tau" (String -> NP
nounPhraseSP "dummy variable for integration over time")
  "binary value representing the presence or absence of integration over time"
  (Symbol -> Stage -> Symbol
autoStage Symbol
lTau) UnitDefn
second
--Not sure how to define anything after this point

tauLP :: UnitalChunk
tauLP = String
-> NP -> String -> (Stage -> Symbol) -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> (Stage -> Symbol) -> u -> UnitalChunk
ucStaged "tauLP" (String -> NP
nounPhraseSP "ODE parameter for liquid PCM")
  ("derived through melting of phase change material, which " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "changes ODE parameter for solid PCM into parameter for liquid")
  (Symbol -> Stage -> Symbol
autoStage (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub Symbol
lTau Symbol
lPCM) Symbol
lLiquid) UnitDefn
second

tauSP :: UnitalChunk
tauSP = String
-> NP -> String -> (Stage -> Symbol) -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> (Stage -> Symbol) -> u -> UnitalChunk
ucStaged "tauSP" (String -> NP
nounPhraseSP "ODE parameter for solid PCM")
  "derived parameter based on rate of change of temperature of phase change material"
  (Symbol -> Stage -> Symbol
autoStage (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub Symbol
lTau Symbol
lPCM) Symbol
lSolid) UnitDefn
second

tauW :: UnitalChunk
tauW = String
-> NP -> String -> (Stage -> Symbol) -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> (Stage -> Symbol) -> u -> UnitalChunk
ucStaged "tauW" (String -> NP
nounPhraseSP "ODE parameter for water related to decay time")
  "derived parameter based on rate of change of temperature of water"
  (Symbol -> Stage -> Symbol
autoStage (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sub Symbol
lTau Symbol
lWater) UnitDefn
second

simTime :: UnitalChunk
simTime = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc' "simTime" (NP -> NP -> NP
compoundPhrase' (NamedChunk
simulation NamedChunk -> Getting NP NamedChunk NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP NamedChunk NP
forall c. NamedIdea c => Lens' c NP
term)
  (UnitalChunk
time UnitalChunk -> Getting NP UnitalChunk NP -> NP
forall s a. s -> Getting a s a -> a
^. Getting NP UnitalChunk NP
forall c. NamedIdea c => Lens' c NP
term)) "time over which the simulation runs"
  Symbol
lT UnitDefn
second

thickness :: UnitalChunk
thickness = String -> NP -> String -> Symbol -> UnitDefn -> UnitalChunk
forall u.
IsUnit u =>
String -> NP -> String -> Symbol -> u -> UnitalChunk
uc'  "thickness" (String -> NP
nounPhraseSP "Minimum thickness of a sheet of PCM")
  "the minimum thickness of a sheet of PCM"
  (Symbol -> Symbol
subMin Symbol
lH) UnitDefn
metre
----------------------
-- Unitless symbols --
----------------------

-- FIXME: this list should not be hand-constructed
unitless :: [DefinedQuantityDict]
unitless :: [DefinedQuantityDict]
unitless = [DefinedQuantityDict
uNormalVect, UnitalChunk -> DefinedQuantityDict
forall c.
(Quantity c, Concept c, MayHaveUnit c) =>
c -> DefinedQuantityDict
dqdWr UnitalChunk
surface, DefinedQuantityDict
eta, DefinedQuantityDict
meltFrac, DefinedQuantityDict
gradient, DefinedQuantityDict
fracMin, DefinedQuantityDict
consTol,
            DefinedQuantityDict
aspectRatio, DefinedQuantityDict
aspectRatioMin, DefinedQuantityDict
aspectRatioMax]

eta, meltFrac, fracMin, consTol, aspectRatio, aspectRatioMin, aspectRatioMax :: DefinedQuantityDict

-- FIXME: should this have units?
eta :: DefinedQuantityDict
eta = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "eta" (String -> NP
nounPhraseSP "ODE parameter related to decay rate")
  "derived parameter based on rate of change of temperature of water")
  (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const Symbol
lEta) Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

meltFrac :: DefinedQuantityDict
meltFrac = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "meltFrac" (String -> NP
nounPhraseSP "melt fraction")
  "ratio of thermal energy to amount of mass melted")
  --FIXME: Not sure if definition is exactly correct
  (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const Symbol
lPhi) Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

fracMin :: DefinedQuantityDict
fracMin = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "fracMin" 
  (String -> NP
nounPhraseSP "minimum fraction of the tank volume taken up by the PCM")
  "minimum fraction of the tank volume taken up by the PCM")
   (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ String -> Symbol
variable "MINFRACT") Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

consTol :: DefinedQuantityDict
consTol = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "consTol" 
  (String -> NP
nounPhraseSP "relative tolerance for conservation of energy") 
  "relative tolerance for conservation of energy")
  (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sub Symbol
cC Symbol
lTol) Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

aspectRatio :: DefinedQuantityDict
aspectRatio = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "aspectRatio" 
  (String -> NP
nounPhraseSP "aspect ratio")
  "ratio of tank diameter to tank length")
   (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ String -> Symbol
variable "AR") Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

aspectRatioMin :: DefinedQuantityDict
aspectRatioMin = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "aspectRatioMin" 
  (String -> NP
nounPhraseSP "minimum aspect ratio") "minimum aspect ratio")
   (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol
subMin (DefinedQuantityDict -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb DefinedQuantityDict
aspectRatio)) Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

aspectRatioMax :: DefinedQuantityDict
aspectRatioMax = ConceptChunk
-> (Stage -> Symbol)
-> Space
-> Maybe UnitDefn
-> DefinedQuantityDict
dqd' (String -> NP -> String -> ConceptChunk
dcc "aspectRatioMax" 
  (String -> NP
nounPhraseSP "maximum aspect ratio") "maximum aspect ratio")
   (Symbol -> Stage -> Symbol
forall a b. a -> b -> a
const (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol
subMax (DefinedQuantityDict -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb DefinedQuantityDict
aspectRatio)) Space
Real Maybe UnitDefn
forall a. Maybe a
Nothing

-----------------
-- Constraints --
-----------------

constrained :: [ConstrConcept]
constrained :: [ConstrConcept]
constrained = (UncertQ -> ConstrConcept) -> [UncertQ] -> [ConstrConcept]
forall a b. (a -> b) -> [a] -> [b]
map UncertQ -> ConstrConcept
forall c.
(Quantity c, Concept c, Constrained c, HasReasVal c,
 MayHaveUnit c) =>
c -> ConstrConcept
cnstrw' [UncertQ]
inputConstraints [ConstrConcept] -> [ConstrConcept] -> [ConstrConcept]
forall a. [a] -> [a] -> [a]
++ (ConstrConcept -> ConstrConcept)
-> [ConstrConcept] -> [ConstrConcept]
forall a b. (a -> b) -> [a] -> [b]
map ConstrConcept -> ConstrConcept
forall c.
(Quantity c, Concept c, Constrained c, HasReasVal c,
 MayHaveUnit c) =>
c -> ConstrConcept
cnstrw' [ConstrConcept]
outputs

-- Input Constraints
inputs :: [QuantityDict]
inputs :: [QuantityDict]
inputs = (UncertQ -> QuantityDict) -> [UncertQ] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map UncertQ -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [UncertQ]
inputConstraints [QuantityDict] -> [QuantityDict] -> [QuantityDict]
forall a. [a] -> [a] -> [a]
++ (UncertainChunk -> QuantityDict)
-> [UncertainChunk] -> [QuantityDict]
forall a b. (a -> b) -> [a] -> [b]
map UncertainChunk -> QuantityDict
forall q. (Quantity q, MayHaveUnit q) => q -> QuantityDict
qw [UncertainChunk
absTol, UncertainChunk
relTol]

inputConstraints :: [UncertQ]
inputConstraints :: [UncertQ]
inputConstraints = [UncertQ
tankLength, UncertQ
diam, UncertQ
pcmVol, UncertQ
pcmSA, UncertQ
pcmDensity,
  UncertQ
tempMeltP, UncertQ
htCapSP, UncertQ
htCapLP, UncertQ
htFusion, UncertQ
coilSA, UncertQ
tempC,
  UncertQ
wDensity, UncertQ
htCapW, UncertQ
coilHTC, UncertQ
pcmHTC, UncertQ
tempInit, UncertQ
timeStep, UncertQ
timeFinal]

tankLength, diam, pcmVol, pcmSA, pcmDensity, tempMeltP,
  htCapSP, htCapLP, htFusion, coilSA, tempC, wDensity,
  htCapW, coilHTC, pcmHTC, tempInit, timeStep, timeFinal :: UncertQ

tempPCM, tempW, watE, pcmE :: ConstrConcept

-- Constraint 1
tankLength :: UncertQ
tankLength = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "tankLength" (String -> NP
nounPhraseSP "length of tank")
  "the length of the tank" Symbol
cL UnitDefn
metre Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
tankLengthMin) (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
tankLengthMax)] (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 1.5)
  Uncertainty
defaultUncrt

-- Constraint 2
diam :: UncertQ
diam = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "diam" (String -> NP
nounPhraseSP "diameter of tank")
  "the diameter of the tank" Symbol
cD UnitDefn
metre Space
Rational
  [ConstraintE
gtZeroConstr, RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
arMin) (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
arMax)]
  (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 0.412) Uncertainty
defaultUncrt

-- Constraint 3
pcmVol :: UncertQ
pcmVol = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "pcmVol" (String -> NP
nounPhraseSP "volume of PCM")
  "the amount of space occupied by a given quantity of phase change material"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
vol) Symbol
lPCM) UnitDefn
m_3 Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, UnitalChunk -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UnitalChunk
tankVol),
   RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> RealInterval Expr Expr
forall b a. (Inclusive, b) -> RealInterval a b
UpFrom (Inclusive
Inc, DefinedQuantityDict -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy DefinedQuantityDict
fracMin Expr -> Expr -> Expr
forall r. ExprC r => r -> r -> r
`mulRe` UnitalChunk -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UnitalChunk
tankVol)] 
  (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 0.05) Uncertainty
defaultUncrt
  -- needs to add (D,L)*minfract to end of last constraint

-- Constraint 4
-- Capitalization Issue here too.
pcmSA :: UncertQ
pcmSA = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "pcmSA"
  (NP -> NP -> NP
forall a b. (NounPhrase a, NounPhrase b) => a -> b -> NP
compoundPhrase (Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "phase change material")
  (String -> Sentence
S "phase change material")
  CapitalizationRule
CapFirst CapitalizationRule
CapWords) (Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (UnitalChunk -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase UnitalChunk
surArea) (UnitalChunk -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase UnitalChunk
surArea)
  CapitalizationRule
CapFirst CapitalizationRule
CapWords))
  "area covered by the outermost layer of the phase change material"
  (Symbol -> Symbol -> Symbol
sub Symbol
cA Symbol
lPCM) UnitDefn
m_2 Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
pcmVol) (Inclusive
Inc, (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 2 Expr -> Expr -> Expr
forall r. ExprC r => r -> r -> r
$/ UnitalChunk -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UnitalChunk
thickness) Expr -> Expr -> Expr
forall r. ExprC r => r -> r -> r
`mulRe` UnitalChunk -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UnitalChunk
tankVol)]
  (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 1.2) Uncertainty
defaultUncrt

-- Constraint 5
pcmDensity :: UncertQ
pcmDensity = ConstrConcept -> Uncertainty -> UncertQ
forall c.
(Quantity c, Constrained c, Concept c, HasReasVal c,
 MayHaveUnit c) =>
c -> Uncertainty -> UncertQ
uq (String
-> NP
-> String
-> (Stage -> Symbol)
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> (Stage -> Symbol)
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc'' "pcmDensity" (String -> NP
nounPhraseSP "density of PCM")
  "Mass per unit volume of the phase change material"
  (Symbol -> Stage -> Symbol
autoStage (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
density) Symbol
lPCM) UnitDefn
densityU Space
Rational
  [ConstraintE
gtZeroConstr, RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
pcmDensityMin) (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
pcmDensityMax)]
  (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1007)) Uncertainty
defaultUncrt

-- Constraint 6
tempMeltP :: UncertQ
tempMeltP = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "tempMeltP"
  (String -> NP
nounPhraseSP "melting point temperature for PCM")
  "temperature at which the phase change material transitions from a solid to a liquid"
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lMelt) Symbol
lPCM) UnitDefn
centigrade Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
tempC)] (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 44.2) Uncertainty
defaultUncrt

-- Constraint 7
htCapSP :: UncertQ
htCapSP = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "htCapSP"
  (String -> NP
nounPhraseSP "specific heat capacity of PCM as a solid")
  ("the amount of energy required to raise the temperature of a " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "given unit mass of solid phase change material by a given amount")
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lPCM) Symbol
lSolid) UnitDefn
UT.heatCapSpec Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapSPMin) (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapSPMax)]
  (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1760) Uncertainty
defaultUncrt

-- Constraint 8
htCapLP :: UncertQ
htCapLP = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "htCapLP"
  (String -> NP
nounPhraseSP "specific heat capacity of PCM as a liquid")
  ("the amount of energy required to raise the temperature of a " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "given unit mass of liquid phase change material by a given amount")
  (Symbol -> Symbol -> Symbol
sup (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lPCM) Symbol
lLiquid) UnitDefn
UT.heatCapSpec Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapLPMin) (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapLPMax )]
  (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 2270) Uncertainty
defaultUncrt

--Constraint 9
htFusion :: UncertQ
htFusion = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "htFusion" (String -> NP
nounPhraseSP "specific latent heat of fusion")
  "amount of thermal energy required to completely melt a unit mass of a substance"
  (Symbol -> Symbol -> Symbol
sub Symbol
cH Symbol
lFusion) UnitDefn
specificE Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htFusionMin) (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htFusionMax)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 211600) Uncertainty
defaultUncrt

-- Constraint 10
-- The "S "heating coil" " should be replaced by "phrase coil",
-- Since the capitalization issue, they are replaced by S so far.
coilSA :: UncertQ
coilSA = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "coilSA"
  (NP -> NP -> NP
forall a b. (NounPhrase a, NounPhrase b) => a -> b -> NP
compoundPhrase (Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (String -> Sentence
S "heating coil") (String -> Sentence
S "heating coil") CapitalizationRule
CapFirst CapitalizationRule
CapWords)
  (Sentence
-> Sentence -> CapitalizationRule -> CapitalizationRule -> NP
nounPhrase'' (UnitalChunk -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase UnitalChunk
surArea) (UnitalChunk -> Sentence
forall n. (HasUID n, NamedIdea n) => n -> Sentence
phrase UnitalChunk
surArea) CapitalizationRule
CapFirst CapitalizationRule
CapWords))
  "area covered by the outermost layer of the coil" (Symbol -> Symbol -> Symbol
sub Symbol
cA Symbol
lCoil) UnitDefn
m_2 Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> RealInterval a b
UpTo (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
coilSAMax)] (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 0.12) Uncertainty
defaultUncrt

-- Constraint 11
tempC :: UncertQ
tempC = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "tempC" (String -> NP
nounPhraseSP "temperature of the heating coil")
  "the average kinetic energy of the particles within the coil"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lCoil) UnitDefn
centigrade Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 100)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 50) Uncertainty
defaultUncrt

-- Constraint 12
wDensity :: UncertQ
wDensity = ConstrConcept -> Uncertainty -> UncertQ
forall c.
(Quantity c, Constrained c, Concept c, HasReasVal c,
 MayHaveUnit c) =>
c -> Uncertainty -> UncertQ
uq (String
-> NP
-> String
-> (Stage -> Symbol)
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> (Stage -> Symbol)
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc'' "wDensity" (UnitalChunk
density UnitalChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
`of_` ConceptChunk
water)
  "mass per unit volume of water" (Symbol -> Stage -> Symbol
autoStage (Symbol -> Stage -> Symbol) -> Symbol -> Stage -> Symbol
forall a b. (a -> b) -> a -> b
$ Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
density) Symbol
lWater) UnitDefn
densityU Space
Rational
  [ConstraintE
gtZeroConstr, RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
wDensityMin) (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
wDensityMax)]
  (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1000)) Uncertainty
defaultUncrt

-- Constraint 13
htCapW :: UncertQ
htCapW = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "htCapW" (UnitalChunk
heatCapSpec UnitalChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
`of_` ConceptChunk
water)
  ("the amount of energy required to raise the " String -> String -> String
forall a. [a] -> [a] -> [a]
++
   "temperature of a given unit mass of water by a given amount")
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
heatCapSpec) Symbol
lWater) UnitDefn
UT.heatCapSpec Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapWMin) (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
htCapWMax)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 4186) Uncertainty
defaultUncrt
  
-- Constraint 14
coilHTC :: UncertQ
coilHTC = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "coilHTC" (String -> NP
nounPhraseSP
  "convective heat transfer coefficient between coil and water")
  ("the convective heat transfer coefficient that models " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "the thermal flux from the coil to the surrounding water")
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
htTransCoeff) Symbol
lCoil)
  UnitDefn
UT.heatTransferCoef Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
coilHTCMin) (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
coilHTCMax)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1000) Uncertainty
defaultUncrt

-- Constraint 15
pcmHTC :: UncertQ
pcmHTC = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "pcmHTC"
  (String -> NP
nounPhraseSP "convective heat transfer coefficient between PCM and water")
  ("the convective heat transfer coefficient that models " String -> String -> String
forall a. [a] -> [a] -> [a]
++
   "the thermal flux from the phase change material to the surrounding water")
  (Symbol -> Symbol -> Symbol
sub Symbol
lH Symbol
lPCM) UnitDefn
UT.heatTransferCoef Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
pcmHTCMin) (Inclusive
Inc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
pcmHTCMax)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1000) Uncertainty
defaultUncrt
  
-- Constraint 16
tempInit :: UncertQ
tempInit = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "tempInit" (String -> NP
nounPhraseSP "initial temperature")
  "the temperature at the beginning of the simulation"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lInit) UnitDefn
centigrade Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, UnitalChunk -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UnitalChunk
meltPt)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 40) Uncertainty
defaultUncrt
  
-- Constraint 17
timeFinal :: UncertQ
timeFinal = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "timeFinal" (String -> NP
nounPhraseSP "final time")
  ("the amount of time elapsed from the beginning of the " String -> String -> String
forall a. [a] -> [a] -> [a]
++
   "simulation to its conclusion") (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
time) 
  Symbol
lFinal) UnitDefn
second Space
Rational
  [ConstraintE
gtZeroConstr,
  RealInterval Expr Expr -> ConstraintE
sfwrc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> RealInterval a b
UpTo (Inclusive
Exc, ConstQDef -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy ConstQDef
timeFinalMax)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 50000) Uncertainty
defaultUncrt

timeStep :: UncertQ
timeStep = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertQ
uqc "timeStep" (String -> NP
nounPhraseSP "time step for simulation")
  ("the finite discretization of time used in the numerical method " String -> String -> String
forall a. [a] -> [a] -> [a]
++
   "for solving the computational model")
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
time) Symbol
lStep) UnitDefn
second Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
timeFinal)]
  (Double -> Expr
forall r. LiteralC r => Double -> r
dbl 0.01) Uncertainty
defaultUncrt
  
-- Output Constraints
outputs :: [ConstrConcept]
--FIXME: Add typical values or use Nothing if not known
outputs :: [ConstrConcept]
outputs = [ConstrConcept
tempW, ConstrConcept
tempPCM, ConstrConcept
watE, ConstrConcept
pcmE]

-- Constraint 18
tempW :: ConstrConcept
tempW = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc' "tempW"
  (String -> NP
nounPhraseSP "temperature of the water")
  "the average kinetic energy of the particles within the water" 
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lWater) UnitDefn
centigrade (Space -> Space
Vect Space
Rational)
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
tempInit) (Inclusive
Inc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
tempC)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)

-- Constraint 19
tempPCM :: ConstrConcept
tempPCM = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc' "tempPCM"
  (String -> NP
nounPhraseSP "temperature of the phase change material")
  "the average kinetic energy of the particles within the phase change material"
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
temp) Symbol
lPCM) UnitDefn
centigrade Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
tempInit) (Inclusive
Inc, UncertQ -> Expr
forall r c. (ExprC r, HasUID c, HasSymbol c) => c -> r
sy UncertQ
tempC)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)
  
-- Constraint 20
watE :: ConstrConcept
watE = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc' "watE" (String -> NP
nounPhraseSP "change in heat energy in the water")
  "change in thermal energy within the water" 
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
sensHeat) Symbol
lWater) UnitDefn
joule Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> RealInterval Expr Expr
forall b a. (Inclusive, b) -> RealInterval a b
UpFrom (Inclusive
Inc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)
  
-- Constraint 21
pcmE :: ConstrConcept
pcmE = String
-> NP
-> String
-> Symbol
-> UnitDefn
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
forall u.
IsUnit u =>
String
-> NP
-> String
-> Symbol
-> u
-> Space
-> [ConstraintE]
-> Expr
-> ConstrConcept
cuc' "pcmE" (String -> NP
nounPhraseSP "change in heat energy in the PCM")
  "change in thermal energy within the phase change material" 
  (Symbol -> Symbol -> Symbol
sub (UnitalChunk -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UnitalChunk
sensHeat) Symbol
lPCM) UnitDefn
joule Space
Rational
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> RealInterval Expr Expr
forall b a. (Inclusive, b) -> RealInterval a b
UpFrom (Inclusive
Inc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)] (Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0)

---------------------------------
-- Uncertainties with no Units --
---------------------------------

absTol, relTol :: UncertainChunk

absTol :: UncertainChunk
absTol = String
-> NP
-> Symbol
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertainChunk
uvc "absTol" (String -> NP
nounPhraseSP "absolute tolerance") 
  (Symbol -> Symbol -> Symbol
sub Symbol
cA Symbol
lTol) Space
Real
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1)] 
   (Double -> Expr
forall r. LiteralC r => Double -> r
dbl (10.0Double -> Double -> Double
forall a. Floating a => a -> a -> a
**(-10))) (Double -> Maybe Int -> Uncertainty
uncty 0.01 Maybe Int
forall a. Maybe a
Nothing)

relTol :: UncertainChunk
relTol = String
-> NP
-> Symbol
-> Space
-> [ConstraintE]
-> Expr
-> Uncertainty
-> UncertainChunk
uvc "relTol" (String -> NP
nounPhraseSP "relative tolerance") 
  (Symbol -> Symbol -> Symbol
sub Symbol
cR Symbol
lTol) Space
Real
  [RealInterval Expr Expr -> ConstraintE
physc (RealInterval Expr Expr -> ConstraintE)
-> RealInterval Expr Expr -> ConstraintE
forall a b. (a -> b) -> a -> b
$ (Inclusive, Expr) -> (Inclusive, Expr) -> RealInterval Expr Expr
forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 0) (Inclusive
Exc, Integer -> Expr
forall r. LiteralC r => Integer -> r
exactDbl 1)] 
  (Double -> Expr
forall r. LiteralC r => Double -> r
dbl (10.0Double -> Double -> Double
forall a. Floating a => a -> a -> a
**(-10))) (Double -> Maybe Int -> Uncertainty
uncty 0.01 Maybe Int
forall a. Maybe a
Nothing)

-------------------------
-- Max / Min Variables --
-------------------------

specParamValList :: [ConstQDef]
specParamValList :: [ConstQDef]
specParamValList = [ConstQDef
tankLengthMin, ConstQDef
tankLengthMax, ConstQDef
pcmDensityMin, ConstQDef
pcmDensityMax,
  ConstQDef
wDensityMin, ConstQDef
wDensityMax, ConstQDef
htCapSPMin, ConstQDef
htCapSPMax, ConstQDef
htCapLPMin, ConstQDef
htCapLPMax,
  ConstQDef
htFusionMin, ConstQDef
htFusionMax, ConstQDef
coilSAMax, ConstQDef
htCapWMin, ConstQDef
htCapWMax, ConstQDef
coilHTCMin,
  ConstQDef
coilHTCMax, ConstQDef
pcmHTCMin, ConstQDef
pcmHTCMax, ConstQDef
timeFinalMax, ConstQDef
fracMinAux, ConstQDef
consTolAux,
  ConstQDef
arMin, ConstQDef
arMax]

tankLengthMin, tankLengthMax, pcmDensityMin, 
  pcmDensityMax, wDensityMin, wDensityMax, htCapSPMin, htCapSPMax, htCapLPMin,
  htCapLPMax, htFusionMin, htFusionMax, coilSAMax, htCapWMin, htCapWMax,
  coilHTCMin, coilHTCMax, pcmHTCMin, pcmHTCMax, timeFinalMax, fracMinAux,
  consTolAux, arMin, arMax :: ConstQDef

consTolAux :: ConstQDef
consTolAux = DefinedQuantityDict -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef DefinedQuantityDict
consTol (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Integer -> Literal
forall r. LiteralC r => Integer -> Integer -> r
perc 1 5

-- Used in Constraint 1
tankLengthMin :: ConstQDef
tankLengthMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "tankLengthMin"
  (String -> NP
nounPhraseSP "minimum length of tank")
  (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
tankLength)) UnitDefn
metre Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Double -> Literal
forall r. LiteralC r => Double -> r
dbl 0.1

tankLengthMax :: ConstQDef
tankLengthMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "tankLengthMax"
  (String -> NP
nounPhraseSP "maximum length of tank")
  (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
tankLength)) UnitDefn
metre Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 50

fracMinAux :: ConstQDef
fracMinAux = DefinedQuantityDict -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef DefinedQuantityDict
fracMin (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Double -> Literal
forall r. LiteralC r => Double -> r
dbl 1.0e-6

arMin :: ConstQDef
arMin = DefinedQuantityDict -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef DefinedQuantityDict
aspectRatioMin (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Double -> Literal
forall r. LiteralC r => Double -> r
dbl 0.01
arMax :: ConstQDef
arMax = DefinedQuantityDict -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef DefinedQuantityDict
aspectRatioMax (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 100

-- Used in Constraint 5
pcmDensityMin :: ConstQDef
pcmDensityMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "pcmDensityMin"
  (String -> NP
nounPhraseSP "minimum density of PCM") (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmDensity)) 
  (Symbol -> Symbol
subMin (Symbol -> Symbol
unicodeConv (Symbol -> Symbol) -> Symbol -> Symbol
forall a b. (a -> b) -> a -> b
$ UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmDensity))) UnitDefn
densityU Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 500

pcmDensityMax :: ConstQDef
pcmDensityMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "pcmDensityMax"
  (String -> NP
nounPhraseSP "maximum density of PCM") (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmDensity)) 
  (Symbol -> Symbol
subMax (Symbol -> Symbol
unicodeConv (Symbol -> Symbol) -> Symbol -> Symbol
forall a b. (a -> b) -> a -> b
$ UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmDensity))) UnitDefn
densityU Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 20000

-- Used in Constraint 7
htCapSPMin :: ConstQDef
htCapSPMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htCapSPMin"
  (String -> NP
nounPhraseSP "minimum specific heat capacity of PCM as a solid")
  (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapSP)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 100

htCapSPMax :: ConstQDef
htCapSPMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htCapSPMax"
  (String -> NP
nounPhraseSP "maximum specific heat capacity of PCM as a solid")
  (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapSP)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 4000

-- Used in Constraint 8
htCapLPMin :: ConstQDef
htCapLPMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htCapLPMin"
  (String -> NP
nounPhraseSP "minimum specific heat capacity of PCM as a liquid")
  (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapLP)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 100

htCapLPMax :: ConstQDef
htCapLPMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htCapLPMax"
  (String -> NP
nounPhraseSP "maximum specific heat capacity of PCM as a liquid")
  (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapLP)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 5000

-- Used in Constraint 9
htFusionMin :: ConstQDef
htFusionMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htFusionMin"
  (String -> NP
nounPhraseSP "minimum specific latent heat of fusion")
  (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htFusion)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 0 

htFusionMax :: ConstQDef
htFusionMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String -> NP -> Symbol -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> Symbol -> u -> Space -> UnitaryChunk
unitary "htFusionMax"
  (String -> NP
nounPhraseSP "maximum specific latent heat of fusion")
  (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htFusion)) UnitDefn
UT.heatCapSpec Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 1000000 

-- Used in Constraint 10
coilSAMax :: ConstQDef
coilSAMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "coilSAMax"
  (String -> NP
nounPhraseSP "maximum surface area of coil") (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilSA))
  (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilSA))) UnitDefn
m_2 Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 100000

-- Used in Constraint 12
wDensityMin :: ConstQDef
wDensityMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "wDensityMin"
  (String -> NP
nounPhraseSP "minimum density of water") (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
wDensity)) 
  (Symbol -> Symbol
subMin (Symbol -> Symbol
unicodeConv (Symbol -> Symbol) -> Symbol -> Symbol
forall a b. (a -> b) -> a -> b
$ UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
wDensity))) UnitDefn
densityU Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 950

wDensityMax :: ConstQDef
wDensityMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "wDensityMax"
  (String -> NP
nounPhraseSP "maximum density of water") (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
wDensity)) 
  (Symbol -> Symbol
subMax (Symbol -> Symbol
unicodeConv (Symbol -> Symbol) -> Symbol -> Symbol
forall a b. (a -> b) -> a -> b
$ UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
wDensity))) UnitDefn
densityU Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 1000
  
-- Used in Constraint 13
htCapWMin :: ConstQDef
htCapWMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "htCapWMin"
  (String -> NP
nounPhraseSP "minimum specific heat capacity of water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapW)) (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapW))) UnitDefn
UT.heatCapSpec 
  Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 4170

htCapWMax :: ConstQDef
htCapWMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "htCapWMax"
  (String -> NP
nounPhraseSP "maximum specific heat capacity of water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapW)) (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
htCapW))) UnitDefn
UT.heatCapSpec 
  Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 4210

-- Used in Constraint 14
coilHTCMin :: ConstQDef
coilHTCMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "coilHTCMin"
  (String -> NP
nounPhraseSP (String -> NP) -> String -> NP
forall a b. (a -> b) -> a -> b
$ "minimum convective heat " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "transfer coefficient between coil and water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilHTC)) (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilHTC))) 
  UnitDefn
UT.heatTransferCoef Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 10

coilHTCMax :: ConstQDef
coilHTCMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "coilHTCMax"
  (String -> NP
nounPhraseSP (String -> NP) -> String -> NP
forall a b. (a -> b) -> a -> b
$ "maximum convective heat " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "transfer coefficient between coil and water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilHTC)) (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
coilHTC))) 
  UnitDefn
UT.heatTransferCoef Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 10000
  
-- Used in Constraint 15
pcmHTCMin :: ConstQDef
pcmHTCMin = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "pcmHTCMin"
  (String -> NP
nounPhraseSP (String -> NP) -> String -> NP
forall a b. (a -> b) -> a -> b
$ "minimum convective heat " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "transfer coefficient between PCM and water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmHTC)) (Symbol -> Symbol
subMin (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmHTC))) 
  UnitDefn
UT.heatTransferCoef Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 10

pcmHTCMax :: ConstQDef
pcmHTCMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "pcmHTCMax"
  (String -> NP
nounPhraseSP (String -> NP) -> String -> NP
forall a b. (a -> b) -> a -> b
$ "maximum convective heat " String -> String -> String
forall a. [a] -> [a] -> [a]
++
  "transfer coefficient between PCM and water")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmHTC)) (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
pcmHTC))) 
  UnitDefn
UT.heatTransferCoef Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 10000
  
-- Used in Constraint 17
timeFinalMax :: ConstQDef
timeFinalMax = UnitaryChunk -> Literal -> ConstQDef
forall c e. (Quantity c, MayHaveUnit c) => c -> e -> QDefinition e
mkQuantDef (String
-> NP -> (Stage -> Symbol) -> UnitDefn -> Space -> UnitaryChunk
forall u.
IsUnit u =>
String -> NP -> (Stage -> Symbol) -> u -> Space -> UnitaryChunk
unitary' "timeFinalMax"
  (String -> NP
nounPhraseSP "maximum final time")
  (Symbol -> Symbol -> Stage -> Symbol
staged (Symbol -> Symbol
supMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
timeFinal)) (Symbol -> Symbol
subMax (UncertQ -> Symbol
forall q. HasSymbol q => q -> Symbol
eqSymb UncertQ
timeFinal))) UnitDefn
second 
  Space
Rational) (Literal -> ConstQDef) -> Literal -> ConstQDef
forall a b. (a -> b) -> a -> b
$ Integer -> Literal
forall r. LiteralC r => Integer -> r
exactDbl 86400

-- Labels
lCoil, lEnv, lFinal, lFusion, lIn, lInit, lLiquid, lMelt, lOut, lPCM, lSolid,
  lStep, lTank, lTol, lVapour, lWater :: Symbol
lCoil :: Symbol
lCoil   = String -> Symbol
label "C"
lEnv :: Symbol
lEnv    = String -> Symbol
label "env"
lFinal :: Symbol
lFinal  = String -> Symbol
label "final"
lFusion :: Symbol
lFusion = String -> Symbol
label "f"
lIn :: Symbol
lIn     = String -> Symbol
label "in"
lInit :: Symbol
lInit   = String -> Symbol
label "init"
lLiquid :: Symbol
lLiquid = String -> Symbol
label "L"
lMelt :: Symbol
lMelt   = String -> Symbol
label "melt"
lOut :: Symbol
lOut    = String -> Symbol
label "out"
lPCM :: Symbol
lPCM    = String -> Symbol
label "P"
lSolid :: Symbol
lSolid  = String -> Symbol
label "S"
lStep :: Symbol
lStep   = String -> Symbol
label "step"
lTank :: Symbol
lTank   = String -> Symbol
label "tank"
lTol :: Symbol
lTol    = String -> Symbol
label "tol"
lVapour :: Symbol
lVapour = String -> Symbol
label "V"
lWater :: Symbol
lWater  = String -> Symbol
label "W"