## SET-NON-LINEARP

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

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 or `encapsulate`

in which it
occurs; see acl2-defaults-table.

The initial value is `nil`

.