## SET-NON-LINEARP

to turn on or off non-linear arithmetic reasoning
Major Section: EVENTS

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`

.