Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.DifferentialModel

Contents

Export Data Type
Input Language
Constructors

Synopsis

data DifferentialModel = SystemOfLinearODEs {
- _indepVar :: UnitalChunk
- _depVar :: ConstrConcept
- _coefficients :: [[Expr]]
- _unknowns :: [Unknown]
- _dmConstants :: [Expr]
- _dmconc :: ConceptChunk
}
data ODESolverFormat = X' {
- coeffVects :: [[Expr]]
- unknownVect :: [Integer]
- constantVect :: [Expr]
}
data InitialValueProblem = IVP {
- initTime :: Expr
- finalTime :: Expr
- initValues :: [Expr]
}
($^^) :: ConstrConcept -> Integer -> Unknown
($**) :: Expr -> Unknown -> Term
($++) :: [Term] -> Term -> LHS
makeAODESolverFormat :: DifferentialModel -> ODESolverFormat
makeAIVP :: Expr -> Expr -> [Expr] -> InitialValueProblem
makeASystemDE :: UnitalChunk -> ConstrConcept -> [[Expr]] -> [Unknown] -> [Expr] -> String -> NP -> Sentence -> DifferentialModel
makeASingleDE :: UnitalChunk -> ConstrConcept -> LHS -> Expr -> String -> NP -> Sentence -> DifferentialModel
formEquations :: [[Expr]] -> [Unknown] -> [Expr] -> ConstrConcept -> [Expr]

Export Data Type

data DifferentialModel Source #

Describe the structural content of a system of linear ODEs with six necessary fields

Constructors

SystemOfLinearODEs
Fields _indepVar :: UnitalChunk independent variable, often time _depVar :: ConstrConcept dependent variable _coefficients :: [[Expr]] coefficients matrix _unknowns :: [Unknown] unknowns column vector (orders) _dmConstants :: [Expr] constant column vector _dmconc :: ConceptChunk meta data

Instances

Instances details

Idea DifferentialModel Source #	Finds the idea contained in the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods getA :: DifferentialModel -> Maybe String Source #
NamedIdea DifferentialModel Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods term :: Lens' DifferentialModel NP Source #
ConceptDomain DifferentialModel Source #	Finds the domain of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods cdom :: DifferentialModel -> [UID] Source #
Definition DifferentialModel Source #	Finds the definition contained in the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods defn :: Lens' DifferentialModel Sentence Source #
Express DifferentialModel Source #	Convert the `DifferentialModel` into the model expression language.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods express :: DifferentialModel -> ModelExpr Source #
HasUID DifferentialModel Source #	Finds the `UID` of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods uid :: Getter DifferentialModel UID Source #
Eq DifferentialModel Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods (==) :: DifferentialModel -> DifferentialModel -> Bool # (/=) :: DifferentialModel -> DifferentialModel -> Bool #
RequiresChecking DifferentialModel Expr Space Source #
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods requiredChecks :: DifferentialModel -> [(Expr, Space)] Source #

data ODESolverFormat Source #

Acceptable format for ODE solvers, represent the structure of X' = AX + B X' is a column vector of first-order unknowns

Constructors

X'
Fields coeffVects :: [[Expr]] represent A, the coefficient matrix with identity matrix unknownVect :: [Integer] combing with the dependent variable. it represents X, the unknown column vector after reduce the highest order. constantVect :: [Expr] represent B, the constant column vector with identity matrix