drasil-lang-0.1.60.0: A framework for code and document generation for scientific software - Language SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Drasil.Chunk.DifferentialModel

Synopsis

Export Data Type

data DifferentialModel Source #

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

Constructors

SystemOfLinearODEs 

Fields

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

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

Definition DifferentialModel Source #

Finds the definition contained in the ConceptChunk used to make the DifferentialModel.

Instance details

Defined in Language.Drasil.Chunk.DifferentialModel

Express DifferentialModel Source #

Convert the DifferentialModel into the model expression language.

Instance details

Defined in Language.Drasil.Chunk.DifferentialModel

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 UIDs are equal.

Instance details

Defined in Language.Drasil.Chunk.DifferentialModel

RequiresChecking DifferentialModel Expr Space Source # 
Instance details

Defined in Language.Drasil.Chunk.DifferentialModel

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

data InitialValueProblem Source #

Information for solving an initial value problem

Constructors

IVP 

Fields

Input Language

($^^) :: ConstrConcept -> Integer -> Unknown Source #

Operation connect the dependent variable and the order

($**) :: Expr -> Unknown -> Term Source #

Operation represent multiple

($++) :: [Term] -> Term -> LHS Source #

Operation represent plus (collection Terms)

Constructors

makeAODESolverFormat :: DifferentialModel -> ODESolverFormat Source #

Construct an ODESolverFormat for solving the ODE.

makeASystemDE :: UnitalChunk -> ConstrConcept -> [[Expr]] -> [Unknown] -> [Expr] -> String -> NP -> Sentence -> DifferentialModel Source #

Create a DifferentialModel by giving a independent variable, a dependent variable a canonical matrix form, and conceptChuck.

makeASingleDE :: UnitalChunk -> ConstrConcept -> LHS -> Expr -> String -> NP -> Sentence -> DifferentialModel Source #

Create a DifferentialModel by the input language

formEquations :: [[Expr]] -> [Unknown] -> [Expr] -> ConstrConcept -> [Expr] Source #

Form well-formatted ODE equations which the ODE solvers can solve.