Singular/Sources — pull request #457 by jakobkroeker (2013-12-20 18:40:32+00:00)
Title: proposal for checking if a certain option is set or not

sometimes it is necessary to check if a certain option is set or not.
Here is a proposal for optionIsSet() which does the job based on find()

regress tests for new routines in 'ring.lib' will be provided later
(fix for slocus() bug is in preparation)