Singular/Sources — pull request #443 by jakobkroeker (2013-12-06 12:07:23+00:00)
Title: Fix option modification by accident in primdec.lib

Hello,

this is a proposal for eliminating accidental option modifications by 'primdec.ib'.

```
minAssPrimes,
algeDeco,
splitCharp,
minAssPrimesold,
newDecompStep
```
needs a positive review related to changed option handling before merging.

Thanks,

Jakob