simplified IdentityMatrix in CommonHomalgTableForLibSingTools
adapted syntax of SI_matrix to libsing v0.5