1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
<html>
<head><title>SET-NON-LINEARP.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>SET-NON-LINEARP</h2>to turn on or off non-linear arithmetic reasoning
<pre>Major Section: <a href="EVENTS.html">EVENTS</a>
</pre><p>
<pre>
Examples:
(set-non-linearp t)
(set-non-linearp nil)
</pre>
<p>
See <a href="NON-LINEAR-ARITHMETIC.html">non-linear-arithmetic</a>. This event is equivalent to
<code>(table acl2-defaults-table :non-linearp <t-or-nil>)</code>,
and hence is <code><a href="LOCAL.html">local</a></code> to any <a href="BOOKS.html">books</a> and <code><a href="ENCAPSULATE.html">encapsulate</a></code> <a href="EVENTS.html">events</a>
in which it occurs; see <a href="ACL2-DEFAULTS-TABLE.html">acl2-defaults-table</a>.<p>
The initial value is <code>nil</code>.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
