LinearOrdinaryDifferenceOperatorCategory

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

LinearOrdinaryDifferenceOperatorCategory

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

$\begin{params} {\em R} & \htmlref{\texttt{Ring}}{Ring} & A ring\\ \end{params}$

$\begin{descr} LinearOrdinaryDifferenceOperatorCategory~R is the category of linear ordinary difference 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

shift: $\to$ Automorphism R The shift used on R

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

Subsections

adjoint
apply
exteriorPower
shift

Manuel Bronstein 2000-12-13

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