|
A.3.11 Kernel of module homomorphisms
Let
,
be two matrices of size
over the ring
and consider the corresponding maps
We want to compute the kernel of the map
This can be done using the modulo command:
More precisely, the output of modulo(A,B) is a module
such that the given generating vector s span the kernel on the
right-hand side.
|