fix: output and simplifation of rat. fct.: ntGreaterZero and heuristicGcdCancellation