Home Online Manual
Top
Back: rootofUnity
Forward: hasNumericCoeffs
FastBack:
FastForward:
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.11.16 optionIsSet

Procedure from library ring.lib (see ring_lib).

Usage:
optionIsSet( optionName )

Parameters:
optionName: a name as string of an option of interest

Return:
true, if the by optionName given option is active, false otherwise.

Example:
 
LIB "ring.lib";
// check if the option "warn" is set.
optionIsSet("warn");
==> 0
option("warn");
// now the option is set
optionIsSet("warn");
==> 1
option("nowarn");
// now the option is unset
optionIsSet("warn");
==> 0