fix proposal for  variable conflicts in primdec.lib
omitted S1 ring by constructing a map
Merge remote-tracking branch 'origin/spielwiese' into spielwiese.patched
Merge remote-tracking branch 'smoothers/fix.hardcoded.variables.inPrimdec' into spielwiese.patched
Merge branch 'spielwiese.patched' of https://github.com/surface-smoothers/Sources into spielwiese.patched
Merge branch 'spielwiese.patched' of https://github.com/surface-smoothers/Sources into spielwiese.patched
merged with spielwiese
merged