an attempt to introduce better normalization for polynomials over number fields. Seems to work well in selected examples...
Merge pull request #300 from fieker/spielwiese

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