However, even when the cochain stabilizes as in the above proposition, there is
no effective procedure to compute the kernel of a \(K\) -linear map for a semiring
\(K\)  since this involves Gaussian elimination. For specific semirings, a similar
algorithm has been proposed in the case of
probabilities [1]}, fields [2]},
rings [3]}, division rings [4]}
and principal ideal domains [5]}. See
[6]} for a detailed summary.
