the constructor / now does not compute a distinguished basis of the ring relations

(this is the constructor for residue class ring)

the following procedures now check if the ring relations
have an already computed distinguished basis and display them
. CommonHomalgTableForResidueClassRings.RingName
. Display for matrices over residue class ring

this change depends on the previous changes/fixes in DecideZero*