fix: tr.588 (from master)
fix: tr. 587 (qring q=ideal(0);.... sres()..)
add; test for tr.587
format
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
add: automatic conversion Number ->number,poly