Singular Manual: option(warn)

| ### 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-1-3p2, 2020, generated by texi2html.