use AutoDoc
activated DiagMat in CommonHomalgTableForLibSingTools
fixes in PolynomialRing
added examples and used all of them in manual