Major Section: SWITCHES-PARAMETERS-AND-MODES
Examples: (set-non-linearp t) (set-non-linearp nil)
See non-linear-arithmetic. This event is equivalent to
(table acl2-defaults-table :non-linearp <t-or-nil>),
and hence is local to any books and encapsulate events
in which it occurs; see acl2-defaults-table.
The initial value is nil.
