Singular/Sources — pull request #445 by jakobkroeker (2013-12-06 17:08:02+00:00)
Title: fixed primdecint::quotientZ bug (538)

fix for the bug

http://www.singular.uni-kl.de:8002/trac/ticket/538