|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.11.2.6 rightKernel
Procedure from librarycontrol.lib (see control_lib).
- Usage:
- rightKernel(M); M a matrix
- Return:
- module
- Purpose:
- computes the right kernel of matrix M (a module of all elements v such that Mv=0)
LIB "control.lib"; ring r = 0,(x,y,z),dp; matrix M[1][3] = x,y,z; print(M); ==> x,y,z matrix R = rightKernel(M); print(R); ==> 0, -y,-z, ==> -z,x, 0, ==> y, 0, x // check: print(M*R); ==> 0,0,0 |