fix: output and simplifation of rat. fct.: ntGreaterZero and heuristicGcdCancellation
chg: clean up of FLINT interface
chg: updated test results due to changed primitiv_l.tst
Fixed walk
Updated result files since v3 result does not make sense
Eliminating warnings (from reduce: not SB)
Merge pull request #301 from jankoboehm/spielwiese

Updated result files since v3 result does not make sense
Merge pull request #302 from mmklee/Long_sw

Long sw
fix: avoid rational coeffs in numerator in maps Q->Q(t)
chg: added brackets around floating numbers

fixed latex lib and updated res files