Safe Haskell	None
Language	GHC2024

Theory.Drasil.DifferentialModel

Contents

Export Data Type
Input Language
Constructors

Synopsis

data DifferentialModel = SystemOfLinearODEs {
- _indepVar :: DefinedQuantityDict
- _depVar :: ConstrConcept
- _coefficients :: NonEmpty (NonEmpty Expr)
- _unknowns :: [Unknown]
- _dmConstants :: NonEmpty 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 :: DefinedQuantityDict -> ConstrConcept -> NonEmpty (NonEmpty Expr) -> [Unknown] -> NonEmpty Expr -> String -> NP -> Sentence -> DifferentialModel
makeASingleDE :: DefinedQuantityDict -> 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 :: DefinedQuantityDict independent variable, often time _depVar :: ConstrConcept dependent variable _coefficients :: NonEmpty (NonEmpty Expr) coefficients matrix _unknowns :: [Unknown] unknowns column vector (orders) _dmConstants :: NonEmpty Expr constant column vector _dmconc :: ConceptChunk meta data

Instances

Instances details

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

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