Singular/Sources — pull request #594 by jakobkroeker (2014-06-02 12:58:40+00:00)
Title: added some precondition checks to 'primdec.lib'

Added ASSUME statements to check the monomial ordering and that we are not in a quotient ring.

I apologize for the multiple commits - I failed with rebasing.
I'll be happy if someone succeeds with squashing the changes into a single commit.

Jakob