an attempt to introduce better normalization for polynomials over number...

... fields. Seems to work well in selected examples...