Singular/Sources — pull request #624 by jakobkroeker (2014-07-30 14:23:05+00:00)
Title: add quotient ring check to normal.lib

(without the incorrect ASSUME in getOneVar).
May contain other incorrect ASSUME statements (but all tests should pass)