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

(this is the constructor for residue class ring)

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