updated docu: new Singular 4.0.x permutes ideals