add implementation check namespace
fix ns name
add zero-count and nonzero-count implementations
add compute-matrix implementation
fix PComputeMatrix, implement equality protocols