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