Talk:Comma basis
left/right kernel
Technically there are two kernels, the left and right ones. To get the comma basis from a map you get the right kernel. To get the map from a comma basis you use the left one. They are related by the transpose (i.e. right kernel of A^T is left kernel of A). No need for anti-transposes. I understand you take the anti-transpose to get the commas in a nicer form, but this depends on the algorithm used for calculating the kernel and is not necessary.