LinearOrdinaryFirstOrderSystemPolynomialSolutions

Next: degreeBound Up: Solutions of Differential and Previous: system Contents Index

LinearOrdinaryFirstOrderSystemPolynomialSolutions

$\begin{usage} import from LinearOrdinaryFirstOrderSystemPolynomialSolutions(R, F, $\iota$, RX, RXY, FX) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & A... ... F\\ & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} &\\\end{params}$

$\begin{descr} LinearOrdinaryFirstOrderSystemPolynomialSolutions(R, F, $\iota$, ... ...ry differential or recurrence systems with polynomial coefficients. \end{descr}$

Exports

kernel: (SYS RX, Integer) $\to$ DenseMatrix FX Polynomial solutions

if has RationalRootRing then
degreeBound: SYS RX $\to$ Integer Degree bound

kernel: SYS RX $\to$ DenseMatrix FX Polynomial solutions

where
SYS == LinearOrdinaryFirstOrderSystem

Subsections

degreeBound
kernel

Manuel Bronstein 2000-12-13

`degreeBound`:	SYS RX $\to$ `Integer`	Degree bound
`kernel`:	SYS RX $\to$ `DenseMatrix` FX	Polynomial solutions