LinearOrdinaryRecurrenceTools

Next: kernel Up: Solutions of Differential and Previous: values Contents Index

LinearOrdinaryRecurrenceTools

$\begin{usage} import from LinearOrdinaryRecurrenceTools(R, F, $\iota$, RX, RXE) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & A... ...nearOrdinaryRecurrenceCategory} RX & A recurrence type over RX\\\end{params}$

$\begin{descr} LinearOrdinaryRecurrenceTools(R, F, $\iota$, RX, RXE) provides to... ...s generators of sequences satisfying the corresponding recurrences. \end{descr}$

Exports

`kernel`:	RXE $\to$ `Generator` V F	compute all solutions
	(RXE, Z) $\to$ `Generator` V F
	(RXE, A, V V F) $\to$ `Generator` V F
	(RXE, Z, A, V V F) $\to$ `Generator` V F
`values`:	RXE $\to$ V F $\to$ `Generator` F	compute a solution
	(RXE, Z) $\to$ V F $\to$ `Generator` F
	(RXE, Z) $\to$ (V F, `Generator` F) $\to$ `Generator` F

where
A == PrimitiveArray MachineInteger

V == Vector

Z == Integer

Subsections

kernel
values

Manuel Bronstein 2000-12-13