Singular/Sources — pull request #437 by ederc (2013-12-03 21:11:42+00:00)
Title: Improvements for SBA

1. Improved tail reduction
2. Enables SBA to use term-over-position module order