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...
fix: output and simplifation of rat. fct.: ntGreaterZero and heuristicGcdCancellation
Fixed walk
Updated result files since v3 result does not make sense