LinearOrdinaryDifferentialOperatorCategory

Next: adjoint Up: Univariate Skew Polynomials and Previous: LinearOrdinaryDifferentialOperator Contents Index

LinearOrdinaryDifferentialOperatorCategory

$\begin{usage} LinearOrdinaryDifferentialOperatorCategory~R: Category \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{Ring}}{Ring} & The coefficient ring of the operators\\\end{params}$

$\begin{descr} LinearOrdinaryDifferentialOperatorCategory~R is the category of linear ordinary differential operators with coefficients in R. \end{descr}$

Exports

UnivariateSkewPolynomialCategory R

adjoint: % $\to$ % Adjoint operator

apply: (%, R) $\to$ R Applies an operator to an element of R

derivation: $\to$ Derivation R The derivation used on R

if R has IntegralDomain then
exteriorPower: (%, Integer) $\to$ % Exterior power

symmetricPower: (%, Integer) $\to$ % Symmetric power

Subsections

adjoint
apply
derivation
exteriorPower,symmetricPower

Manuel Bronstein 2000-12-13

`UnivariateSkewPolynomialCategory` R
`adjoint`:	% $\to$ %	Adjoint operator
`apply`:	(%, R) $\to$ R	Applies an operator to an element of R
`derivation`:	$\to$ `Derivation` R	The derivation used on R

`exteriorPower`:	(%, `Integer`) $\to$ %	Exterior power
`symmetricPower`:	(%, `Integer`) $\to$ %	Symmetric power