fixed accidental option modifications in primdec.lib
fixed syntax error
removed empty line
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
fixes small memory leak in test of sig-safeness in reduction
1. some more memory leaks fixed
2. preparation for buchber product criterion check