fix: output and simplifation of rat. fct.: ntGreaterZero and heuristicGcdCancellation
chg: added brackets around floating numbers

fixed latex lib and updated res files