LinearOrdinaryFirstOrderSystem

Next: changeVariable Up: Solutions of Differential and Previous: solution Contents Index

LinearOrdinaryFirstOrderSystem

$\begin{usage} import from LinearOrdinaryFirstOrderSystem~R \end{usage}$

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

$\begin{descr} LinearOrdinaryFirstOrderSystem~R provides linear ordinary systems of first order with coefficients in R. \end{descr}$

Exports

`matrix`:	% $\to$ (`Vector` R, `DenseMatrix` R)	Matrix representation
`order`:	% $\to$ `Integer`	Number of unknowns
`system`:	`DenseMatrix` R $\to$ %	Create a system
	(R, `DenseMatrix` R) $\to$ %
	(`Vector` R, `DenseMatrix` R) $\to$ %

if has GcdDomain then
changeVariable: (%, DenseMatrix Q, Automorphism Q, Q $\to$ Q Change of variable

system: DenseMatrix Q $\to$ % Create a system

if has Field then
changeVariable: (%, DenseMatrix R, Automorphism R, R $\to$ R Change of variable

where
Q == Fraction R

Subsections

Next: changeVariable Up: Solutions of Differential and Previous: solution Contents Index

Manuel Bronstein 2000-12-13

`changeVariable`:	(%, `DenseMatrix` Q, `Automorphism` Q, Q $\to$ Q	Change of variable
`system`:	`DenseMatrix` Q $\to$ %	Create a system