Hm... IMHO what you do here is a very specialized ring modification. I would prefer it to be a separate routine somewhere in `libpolys/poly/` if possible.

I suppose that this modification cannot be made generally for ANY coeff. RING... right? Then i would add a warning/error message output in case of a different coeff. RING (e.g. which is unsupported by Singular at the moment)...