To turn on or off non-linear arithmetic reasoning
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.
