added a test for dim() for rings over integers
fix dim test
fix dim test again
added the 'dim-test_for_rings_over_integers.tst' to 'Short.lst', also now the test file ends with a '$'
scrambled hostname in stat file
1. adds operation counting in sba
2. enables partial tailred for incremental sba
adds new comparison checks in sba:
counts also number of steps during the interreduction process
of incremental sba variants
adds experimental sba tailred (disabled by default)
workin sba tail reduction (disabled by default)
fix for deep sba tail reduction
moves sba tail reduction stuff to kstd2
fixes sba tail reduction
=> enabled by default
=> speed-up
adjusts tests for sba due to implementing better tail reduction
removes debug printing, improves options
adjusts tests again due to previous commit
changes incremental flag to sbaOrder, no longer BOOLEAN
=> preparation in order to introduce more module orders for sba
adds TOP(term over position) module order in sba
adjusts documentation for sba according to last commit (adds TOP order)
fixes signature computation in TOP for sba
fixes overwrite procedure for generation of new syzygies