| ### 3.9.7 option(warn) If this option is set some constructs which may lead to bug will result in a warning. While there are legitimate uses for them and they are not errors is is worth thinking about it. change of options during a procedure call: is this side effect intended? use of `def`: avoids type checking, but useful if a procedure handles several types at once `ASSUME` outside of procedures: while a failed `ASSUME` aborts the current procedures and return to the top level - what should it do at top level? See option.

User manual for Singular version 4.3.2, 2023, generated by texi2html.