Singular/Sources — pull request #401 by steenpass (2013-10-15 13:22:11+00:00)
Title: chg: update realclassify.lib

The implementation of the splitting lemma has been changed.