-- 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"