module Data.Drasil.Concepts.Math where
import Language.Drasil hiding (number, norm, matrix)
import Language.Drasil.ShortHands (lX, lY, lZ)
import Data.Drasil.Domains (mathematics)
import Data.Drasil.Citations (cartesianWiki, lineSource, pointSource)
import qualified Language.Drasil.Sentence.Combinators as S
import Language.Drasil.Chunk.Concept.NamedCombinators
mathcon :: [ConceptChunk]
mathcon :: [ConceptChunk]
mathcon = [ConceptChunk
amplitude, ConceptChunk
angle, ConceptChunk
area, ConceptChunk
axis, ConceptChunk
calculation, ConceptChunk
cartesian, ConceptChunk
centre, ConceptChunk
change, ConceptChunk
component,
ConceptChunk
constraint, ConceptChunk
diameter, ConceptChunk
direction, ConceptChunk
equation, ConceptChunk
euclidN, ConceptChunk
euclidSpace, ConceptChunk
gradient, ConceptChunk
graph, ConceptChunk
laplaceTransform, ConceptChunk
law, ConceptChunk
line, ConceptChunk
matrix,
ConceptChunk
norm, ConceptChunk
normal, ConceptChunk
normalV, ConceptChunk
number, ConceptChunk
orient, ConceptChunk
origin, ConceptChunk
parameter, ConceptChunk
perp, ConceptChunk
perpV, ConceptChunk
pi_, ConceptChunk
negInf, ConceptChunk
posInf, ConceptChunk
positive, ConceptChunk
negative,
ConceptChunk
point, ConceptChunk
probability, ConceptChunk
rOfChng, ConceptChunk
rate, ConceptChunk
rightHand, ConceptChunk
shape, ConceptChunk
surArea, ConceptChunk
surface, ConceptChunk
unitV, ConceptChunk
unit_, ConceptChunk
vector,
ConceptChunk
xAxis, ConceptChunk
xCoord, ConceptChunk
xComp, ConceptChunk
xDir, ConceptChunk
yAxis, ConceptChunk
yCoord, ConceptChunk
yComp, ConceptChunk
yDir, ConceptChunk
zAxis, ConceptChunk
zCoord, ConceptChunk
zComp, ConceptChunk
zDir, ConceptChunk
iAngle]
mathcon' :: [CI]
mathcon' :: [CI]
mathcon' = [CI
de, CI
leftSide, CI
ode, CI
pde, CI
rightSide]
amplitude, angle, area, axis, calculation, cartesian, centre, change, component, constraint, diameter,
direction, equation, euclidN, euclidSpace, gradient, graph, laplaceTransform, law, line, matrix, norm, normal, normalV,
number, orient, origin, parameter, perp, perpV, pi_, negInf, posInf, positive, negative, point, probability,
rOfChng, rate, rightHand, shape, surArea, surface, unitV, unit_, vector, xAxis, xCoord, xComp, xDir,
yAxis, yCoord, yComp, yDir, zAxis, zCoord, zComp, zDir, iAngle :: ConceptChunk
amplitude :: ConceptChunk
amplitude = String -> NP -> String -> ConceptChunk
dcc "amplitude" (String -> NP
nounPhraseSP "amplitude") "The peak deviation of a function from zero"
angle :: ConceptChunk
angle = String -> NP -> String -> ConceptChunk
dcc "angle" (String -> NP
cn' "angle") "the amount of rotation needed to bring one line or plane into coincidence with another"
area :: ConceptChunk
area = String -> NP -> String -> ConceptChunk
dcc "area" (String -> NP
cn' "area") "a part of an object or surface"
axis :: ConceptChunk
axis = String -> NP -> String -> ConceptChunk
dcc "axis" (String -> NP
cn' "axis") "a fixed reference line for the measurement of coordinates"
calculation :: ConceptChunk
calculation = String -> NP -> String -> ConceptChunk
dcc "calculation" (String -> NP
cn' "calculation") "a mathematical determination of the size or number of something"
cartesian :: ConceptChunk
cartesian = String -> NP -> Sentence -> ConceptChunk
dccWDS "cartesian" (String -> NP
pn' "Cartesian coordinate system") (Sentence -> ConceptChunk) -> Sentence -> ConceptChunk
forall a b. (a -> b) -> a -> b
$ String -> Sentence
S "a coordinate system that specifies each point uniquely in a plane by a set" Sentence -> Sentence -> Sentence
`S.of_`
String -> Sentence
S "numerical coordinates, which are the signed distances to the point from" Sentence -> Sentence -> Sentence
+:+
String -> Sentence
S "two fixed perpendicular oriented lines, measured in the same unit of length" Sentence -> Sentence -> Sentence
+:+
Citation -> Sentence
forall r. (Referable r, HasShortName r) => r -> Sentence
fromSource Citation
cartesianWiki
centre :: ConceptChunk
centre = String -> NP -> String -> ConceptChunk
dcc "centre" (String -> NP
cn' "centre") "the middle point of an object"
change :: ConceptChunk
change = String -> NP -> String -> ConceptChunk
dcc "change" (String -> NP
cn' "change") "Difference between relative start and end states of an object"
component :: ConceptChunk
component = String -> NP -> String -> ConceptChunk
dcc "component" (String -> String -> NP
nounPhrase "component" "components") ("The scalar quantity defining the contribution " String -> String -> String
forall a. [a] -> [a] -> [a]
++
"of a vector in one of the coordinate directions")
constraint :: ConceptChunk
constraint = String -> NP -> String -> ConceptChunk
dcc "constraint" (String -> NP
cn' "constraint") "A condition that the solution must satisfy"
diameter :: ConceptChunk
diameter = String -> NP -> String -> ConceptChunk
dcc "diameter" (String -> NP
cn' "diameter") ("Any straight line segment that passes through the center of the circle" String -> String -> String
forall a. [a] -> [a] -> [a]
++
"and whose endpoints lie on the circle.")
direction :: ConceptChunk
direction = String -> NP -> String -> ConceptChunk
dcc "direction" (String -> NP
cn' "direction") "'which way' a vector points, extending from the tail to the tip"
equation :: ConceptChunk
equation = String -> NP -> String -> ConceptChunk
dcc "equation" (String -> NP
cn' "equation") "A statement that the values of two mathematical expressions are equal "
euclidSpace :: ConceptChunk
euclidSpace = String -> NP -> String -> ConceptChunk
dcc "euclidSpace" (String -> NP
cn' "Euclidean") ("Denoting the system of geometry corresponding to the geometry of ordinary" String -> String -> String
forall a. [a] -> [a] -> [a]
++
"experience")
gradient :: ConceptChunk
gradient = String -> NP -> String -> ConceptChunk
dcc "gradient" (String -> NP
cn' "gradient") "degree of steepness of a graph at any point"
graph :: ConceptChunk
graph = String -> NP -> String -> ConceptChunk
dcc "graph" (String -> NP
cn' "graph") "A diagram showing the relation between variable quantities"
laplaceTransform :: ConceptChunk
laplaceTransform = String -> NP -> String -> ConceptChunk
dcc "laplaceTransform" (String -> NP
cn' "laplace transform") ("An integral transform that converts a function of a real variable t " String -> String -> String
forall a. [a] -> [a] -> [a]
++
"(often time) to a function of a complex variable s (complex frequency)")
law :: ConceptChunk
law = String -> NP -> String -> ConceptChunk
dcc "law" (String -> NP
cn' "law") "a generalization based on a fact or event perceived to be recurrent"
line :: ConceptChunk
line = String -> NP -> Sentence -> ConceptChunk
dccWDS "line" (String -> NP
pn' "line") (Sentence -> ConceptChunk) -> Sentence -> ConceptChunk
forall a b. (a -> b) -> a -> b
$ String -> Sentence
S "An interval between two points" Sentence -> Sentence -> Sentence
+:+
Citation -> Sentence
forall r. (Referable r, HasShortName r) => r -> Sentence
fromSource Citation
lineSource
matrix :: ConceptChunk
matrix = String -> NP -> String -> ConceptChunk
dcc "matrix" (String -> NP
cnICES "matrix") ("A rectangular array of quantities or expressions in rows and columns that" String -> String -> String
forall a. [a] -> [a] -> [a]
++
"is treated as a single entity and manipulated according to particular rules")
norm :: ConceptChunk
norm = String -> NP -> String -> ConceptChunk
dcc "norm" (String -> NP
cn' "norm") "the positive length or size of a vector"
normal :: ConceptChunk
normal = String -> NP -> String -> ConceptChunk
dcc "normal" (String -> NP
cn' "normal" ) "an object that is perpendicular to a given object"
number :: ConceptChunk
number = String -> NP -> String -> ConceptChunk
dcc "number" (String -> NP
cn' "number") "a mathematical object used to count, measure, and label"
orient :: ConceptChunk
orient = String -> NP -> String -> ConceptChunk
dcc "orientation" (String -> NP
cn' "orientation") "the relative physical position or direction of something"
origin :: ConceptChunk
origin = String -> NP -> String -> ConceptChunk
dcc "origin" (String -> NP
cn' "origin") "a fixed point of reference for the geometry of the surrounding space"
parameter :: ConceptChunk
parameter = String -> NP -> String -> ConceptChunk
dcc "parameter" (String -> NP
cn' "parameter") "a quantity whose value is selected depending on particular circumstances"
perp :: ConceptChunk
perp = String -> NP -> String -> ConceptChunk
dcc "perp" (String -> NP
cn' "perpendicular") "At right angles"
pi_ :: ConceptChunk
pi_ = String -> NP -> String -> ConceptChunk
dcc "pi" (String -> NP
cn' "ratio of circumference to diameter for any circle") "The ratio of a circle's circumference to its diameter"
posInf :: ConceptChunk
posInf = String -> NP -> String -> ConceptChunk
dcc "PosInf" (String -> NP
cn' "Positive Infinity") "the limit of a sequence or function that eventually exceeds any prescribed bound"
negInf :: ConceptChunk
negInf = String -> NP -> String -> ConceptChunk
dcc "NegInf" (String -> NP
cn' "Negative Infinity") "Opposite of positive infinity"
positive :: ConceptChunk
positive = String -> NP -> String -> ConceptChunk
dcc "positive" (String -> NP
cn' "positive") "greater than zero"
negative :: ConceptChunk
negative = String -> NP -> String -> ConceptChunk
dcc "negative" (String -> NP
cn' "negative") "less than zero"
point :: ConceptChunk
point = String -> NP -> Sentence -> ConceptChunk
dccWDS "point" (String -> NP
pn' "point") (Sentence -> ConceptChunk) -> Sentence -> ConceptChunk
forall a b. (a -> b) -> a -> b
$ String -> Sentence
S "An exact location, it has no size, only position" Sentence -> Sentence -> Sentence
+:+
Citation -> Sentence
forall r. (Referable r, HasShortName r) => r -> Sentence
fromSource Citation
pointSource
probability :: ConceptChunk
probability = String -> NP -> String -> ConceptChunk
dcc "probability" (String -> NP
cnIES "probability") "The likelihood of an event to occur"
rate :: ConceptChunk
rate = String -> NP -> String -> ConceptChunk
dcc "rate" (String -> NP
cn' "rate") "Ratio that compares two quantities having different units of measure"
rightHand :: ConceptChunk
rightHand = String -> NP -> String -> ConceptChunk
dcc "rightHand" (String -> NP
cn' "right-handed coordinate system") "A coordinate system where the positive z-axis comes out of the screen."
shape :: ConceptChunk
shape = String -> NP -> String -> ConceptChunk
dcc "shape" (String -> NP
cn' "shape") "The outline of an area or figure"
surface :: ConceptChunk
surface = String -> NP -> String -> ConceptChunk
dcc "surface" (String -> NP
cn' "surface") "The outer or topmost boundary of an object"
unit_ :: ConceptChunk
unit_ = String -> NP -> String -> ConceptChunk
dcc "unit" (String -> NP
cn' "unit") "Identity element"
vector :: ConceptChunk
vector = String -> NP -> String -> ConceptChunk
dcc "vector" (String -> NP
cn' "vector") "Object with magnitude and direction"
xAxis :: ConceptChunk
xAxis = String -> NP -> String -> ConceptChunk
dcc "xAxis" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lX Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-axis") "the primary axis of a system of coordinates"
yAxis :: ConceptChunk
yAxis = String -> NP -> String -> ConceptChunk
dcc "yAxis" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lY Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-axis") "the secondary axis of a system of coordinates"
zAxis :: ConceptChunk
zAxis = String -> NP -> String -> ConceptChunk
dcc "zAxis" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lZ Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-axis") "the tertiary axis of a system of coordinates"
xCoord :: ConceptChunk
xCoord = String -> NP -> String -> ConceptChunk
dcc "xCoord" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lX Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-coordinate") "the location of the point on the x-axis"
yCoord :: ConceptChunk
yCoord = String -> NP -> String -> ConceptChunk
dcc "yCoord" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lY Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-coordinate") "the location of the point on the y-axis"
zCoord :: ConceptChunk
zCoord = String -> NP -> String -> ConceptChunk
dcc "zCoord" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lZ Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-coordinate") "the location of the point on the z-axis"
xComp :: ConceptChunk
xComp = String -> NP -> String -> ConceptChunk
dcc "xComp" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lX Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-component") "the component of a vector in the x-direction"
yComp :: ConceptChunk
yComp = String -> NP -> String -> ConceptChunk
dcc "yComp" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lY Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-component") "the component of a vector in the y-direction"
zComp :: ConceptChunk
zComp = String -> NP -> String -> ConceptChunk
dcc "zComp" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lZ Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-component") "the component of a vector in the z-direction"
xDir :: ConceptChunk
xDir = String -> NP -> String -> ConceptChunk
dcc "xDir" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lX Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-direction") "the direction aligned with the x-axis"
yDir :: ConceptChunk
yDir = String -> NP -> String -> ConceptChunk
dcc "yDir" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lY Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-direction") "the direction aligned with the y-axis"
zDir :: ConceptChunk
zDir = String -> NP -> String -> ConceptChunk
dcc "zDir" (Sentence -> NP
nounPhraseSent (Sentence -> NP) -> Sentence -> NP
forall a b. (a -> b) -> a -> b
$ Symbol -> Sentence
P Symbol
lZ Sentence -> Sentence -> Sentence
:+: String -> Sentence
S "-direction") "the direction aligned with the z-axis"
iAngle :: ConceptChunk
iAngle = String -> NP -> String -> ConceptChunk
dcc "iAngle" (String -> NP
cn "initial angle") "The initial angle where the body is being displaced"
de, leftSide, ode, pde, rightSide :: CI
de :: CI
de = String -> NP -> String -> [IdeaDict] -> CI
commonIdeaWithDict "de" (String -> NP
cn' "differential equation") "DE" [IdeaDict
mathematics]
ode :: CI
ode = String -> NP -> String -> [IdeaDict] -> CI
commonIdeaWithDict "ode" (String -> NP
cn' "ordinary differential equation") "ODE" [IdeaDict
mathematics]
pde :: CI
pde = String -> NP -> String -> [IdeaDict] -> CI
commonIdeaWithDict "pde" (String -> NP
cn' "partial differential equation") "PDE" [IdeaDict
mathematics]
leftSide :: CI
leftSide = String -> NP -> String -> [IdeaDict] -> CI
commonIdeaWithDict "leftSide" (String -> String -> NP
nounPhrase "left hand side" "left hand sides" ) "LHS" [IdeaDict
mathematics]
rightSide :: CI
rightSide = String -> NP -> String -> [IdeaDict] -> CI
commonIdeaWithDict "rightSide" (String -> String -> NP
nounPhrase "right hand side" "right hand sides") "RHS" [IdeaDict
mathematics]
euclidN :: ConceptChunk
euclidN = String -> NP -> String -> ConceptChunk
dcc "euclidNorm" (ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI ConceptChunk
euclidSpace ConceptChunk
norm) "euclidean norm"
normalV :: ConceptChunk
normalV = String -> NP -> String -> ConceptChunk
dcc "normal vector" (ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI ConceptChunk
normal ConceptChunk
vector) "unit outward normal vector for a surface"
perpV :: ConceptChunk
perpV = String -> NP -> String -> ConceptChunk
dcc "perp_vect" (ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI ConceptChunk
perp ConceptChunk
vector) "vector perpendicular or 90 degrees to another vector"
rOfChng :: ConceptChunk
rOfChng = String -> NP -> String -> ConceptChunk
dcc "rOfChng" (ConceptChunk
rate ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
`of_` ConceptChunk
change) "ratio between a change in one variable relative to a corresponding change in another"
surArea :: ConceptChunk
surArea = String -> NP -> String -> ConceptChunk
dcc "surArea" (ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI ConceptChunk
surface ConceptChunk
area) "a measure of the total area that the surface of the object occupies"
unitV :: ConceptChunk
unitV = String -> NP -> String -> ConceptChunk
dcc "unit_vect" (ConceptChunk -> ConceptChunk -> NP
forall c d. (NamedIdea c, NamedIdea d) => c -> d -> NP
combineNINI ConceptChunk
unit_ ConceptChunk
vector) "a vector that has a magnitude of one"