Safe -- an option used to tell functions whether not to do checks.
Description
If set to true, then certain functions will perform checks to make sure the user didn't pass something unreasonable. You can use isWellDefined to ensure that a constructed divisor is constructed correctly.