ideas-1.6: Feedback services for intelligent tutoring systems

Safe HaskellSafe
LanguageHaskell98

Ideas.Text.OpenMath.Dictionary.Calculus1

Synopsis

Documentation

calculus1List :: [Symbol] Source #

List of symbols defined in calculus1 dictionary

diffSymbol :: Symbol Source #

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

nthdiffSymbol :: Symbol Source #

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.

partialdiffSymbol :: Symbol Source #

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.

intSymbol :: Symbol Source #

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

defintSymbol :: Symbol Source #

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.