Singular/Sources — pull request #473 by ederc (2014-01-10 10:44:23+00:00)
Title: Fixes for SBA

1. Interreduction in incremental computation needs adjustment for size differences
2. Smaller fix for F5 Rewritten Criterion, optimizes detection of redundant S-pairs