-- Automatically generated from content dictionary calculus1.ocd.  Do not change.

module Ideas.Text.OpenMath.Dictionary.Calculus1 where



import Ideas.Text.OpenMath.Symbol



-- | List of symbols defined in calculus1 dictionary

calculus1List :: [Symbol]

calculus1List = [diffSymbol, nthdiffSymbol, partialdiffSymbol, intSymbol, defintSymbol]



{-| This symbol is used to express ordinary differentiation of a unary
function. The single argument is the unary function. -}

diffSymbol :: Symbol

diffSymbol = makeSymbol "calculus1" "diff"



{-| This symbol is used to express the nth-iterated ordinary differentiation
of a unary function. The first argument is n, and the second the unary
function. -}

nthdiffSymbol :: Symbol

nthdiffSymbol = makeSymbol "calculus1" "nthdiff"



{-| This symbol is used to express partial differentiation of a function of
more than one variable. It has two arguments, the first is a list of integers
which index the variables of the function, the second is the function. -}

partialdiffSymbol :: Symbol

partialdiffSymbol = makeSymbol "calculus1" "partialdiff"



{-| This symbol is used to represent indefinite integration of unary
functions. The argument is the unary function. -}

intSymbol :: Symbol

intSymbol = makeSymbol "calculus1" "int"



{-| This symbol is used to represent definite integration of unary functions.
It takes two arguments; the first being the range (e.g. a set) of integration,
and the second the function. -}

defintSymbol :: Symbol

defintSymbol = makeSymbol "calculus1" "defint"