solve!

Next: span! Up: ModulopGaussElimination Previous: rowEchelon! Contents Index

solve!

$\begin{usage} solve!(a,ra,ca,b,cb,p,w,d,k) \end{usage}$

Signature

solve!: (A A Z,Z,Z,A A Z,Z,Z,A A Z,A Z,A A Z) $\to$ Z

where
Z == MachineInteger

A == PrimitiveArray

$\begin{params} {\em a,b,w,k} & \htmlref{\texttt{PrimitiveArray}}{PrimitiveArra... ...} \htmlref{\texttt{MachineInteger}}{MachineInteger} & a vector\\\end{params}$

$\begin{retval} Fills $w$\ and $d$\ such that $d_i \in \{0,1\}$\ for each $i$\ a... ...ich must be large enough, and returns the dimension of the kernel. \end{retval}$

$\begin{remarks} For each $i$, $d_i = 1$\ if and only if the system $a x = {(i+1... ...-place, modifying the entries of $a$, while $b$\ is not modified. \end{remarks}$

Manuel Bronstein 2000-12-13