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

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.