Singular/Sources — pull request #563 by adipopescu (2014-04-08 15:22:11+00:00)
Title: Interred

Fixed Bug #541: http://www.singular.uni-kl.de:8002/trac/ticket/541

Added Bug #541 as tests

TC Link:

/viewLog.html?buildId=12276&tab=buildResultsDiv&buildTypeId=bt7

The new test which fails was resolved in the "Rewrote test Manual/primeClosure" - it is the same ideal