Difference between revisions of "Infinity"

From NARS2000
Jump to navigationJump to search
 
Line 3: Line 3:
 
<p>For example,</p>
 
<p>For example,</p>
  
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;⌊/⍬<br />
+
<apll><pre>
</apll><br /><br />
+
      ⌊/⍬
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;⌈/⍬<br />
+
¯∞</apll><br /><br />
+
      ⌈/⍬
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;9*999<br />
+
¯∞
</apll><br /><br />
+
      9*999
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;÷0<br />
+
</apll><br /><br />
+
      ÷0
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;÷¯∞ ∞<br />
+
0 0</apll><br /><br />
+
      ÷¯∞ ∞
<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;('&lt;',a),a⍪a∘.&lt;a←¯∞ 0 ∞<br />
+
0 0
&nbsp;&nbsp;&lt; ¯∞ 0 ∞<br />
+
      ('&lt;',a),a⍪a∘.&lt;a←¯∞ 0 ∞
&nbsp;¯∞&nbsp;&nbsp;0 1 1<br />
+
  &lt; ¯∞ 0 ∞
&nbsp;&nbsp;0&nbsp;&nbsp;0 0 1<br />
+
¯∞ 0 1 1
&nbsp;&nbsp;&nbsp;&nbsp;0 0 0</apll><br />
+
  0 0 0 1
<br />
+
  0 0 0
 +
</pre></apll>
  
 
<p>Also, see the description of the system variable [[System Variable IC|<apll>⎕IC</apll>]] (Indeterminate Control) for a way to control how infinity along with other indeterminates are handled.
 
<p>Also, see the description of the system variable [[System Variable IC|<apll>⎕IC</apll>]] (Indeterminate Control) for a way to control how infinity along with other indeterminates are handled.

Latest revision as of 00:15, 16 April 2018

The two infinities are now valid values to be used as the upper and lower numeric limits. The infinity symbol () is entered from the keyboard using the key combination Alt-f. The other infinity is obtained from the positive form by preceding it with a negative symbol (¯∞).

For example,

      ⌊/⍬
∞
      ⌈/⍬
¯∞
      9*999
∞
      ÷0
∞
      ÷¯∞ ∞
0 0
      ('<',a),a⍪a∘.<a←¯∞ 0 ∞
  < ¯∞ 0 ∞
 ¯∞  0 1 1
  0  0 0 1
  ∞  0 0 0

Also, see the description of the system variable ⎕IC (Indeterminate Control) for a way to control how infinity along with other indeterminates are handled.

NARS 2000 Lang
Tool
Bar
+ - × ÷ * ! ? |
< = >
~ § π .. ,
/ \ ¨ .
_ ¯
Second Row i j k i j k l g p r v x