SET-NON-LINEARP.html -- ACL2 Version 6.3

## SET-NON-LINEARP

to turn on or off non-linear arithmetic reasoning

    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`.