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.

The initial value is nil.