System Function CR: Difference between revisions

From NARS2000
Jump to navigationJump to search
VisualWikitext
(New page: ==Monadic Function== <table border="1" cellpadding="5" cellspacing="0" rules="none" summary=""> <tr> <td> <table border="0" cellpadding="5" cellspacing="0" summary=""> <tr> ...)
 
No edit summary
 
(9 intermediate revisions by 2 users not shown)
Line 1: Line 1:
This function is available in both monadic and dyadic forms
==Monadic Function==
==Monadic Function==
 
{{BoxStart|<apll>Z←⎕CR R</apll>
<table border="1" cellpadding="5" cellspacing="0" rules="none" summary="">
|returns the canonical representation of the function/operator/hyperator named in <apll>R</apll>.}}
<tr>
{{BoxLine|<apll>R</apll> is a character scalar or vector.}}
  <td>
{{BoxEnd|<apll>Z</apll> is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).}}
    <table border="0" cellpadding="5" cellspacing="0" summary="">
    <tr>
      <td valign="top"><apll>Z←{quad}CR R</apll></td>
      <td></td>
      <td></td>
      <td>returns the canonical representation of the user-defined function or operator named in <apll>R</apll>.</td>
    </tr>
    </table>
  </td>
</tr>
<tr>
  <td><apll>R</apll> is a character scalar or vector.</td>
</tr>
<tr>
  <td><apll>Z</apll> is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).</td>
</tr>
 
</table>
<br />


<p>This monadic function behaves the same as described in the Extended APL Standard, except it also displays the canonical representation of an assigned function or operator.</p>
<p>This monadic function behaves the same as described in the Extended APL Standard, except it also displays the canonical representation of an assigned function or operator.</p>
Line 28: Line 10:
<p>For example,</p>
<p>For example,</p>


<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f←,∘⍋∘⍋∘,<br />
<apll><pre>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;⍴⎕←⎕cr 'f'<br />
      f←,∘⍋∘⍋∘,  
,∘⍋∘⍋∘,<br />
      ⍴⎕←⎕CR 'f'  
1 7</apll>
,∘⍋∘⍋∘,  
1 7
      f←{⍺+⍵}
      ⍴⎕←⎕CR 'f'
f←{⍺+⍵}
1 7</pre></apll>


<p>If the assigned function references an unnamed value which is not a simple scalar, the representation shows a marker in that spot.</p>
<p>If the assigned function references an unnamed value which is not a simple scalar or vector, the representation shows a marker in that spot.</p>


<p>For example,</p>
<p>For example,</p>


<apll>
<apll><pre>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f←'abcdefg'∘⎕cr<br />
      f←(2 3⍴'abcdef')∘⎕CR
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;⎕cr 'f'<br />
      ⎕CR 'f'  
…∘⎕cr
…∘⎕cr
</apll>
<br />
<apll>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f←⎕cr<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;⎕cr 'f'<br />
f<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f 'f'<br />
f<br />
</apll>
<br />
<br />


==Dyadic Function==
      f←⎕CR
      ⎕CR 'f'
f
      f 'f'
f
</pre></apll>


<table border="1" cellpadding="5" cellspacing="0" rules="none" summary="">
<tr>
  <td>
    <table border="0" cellpadding="5" cellspacing="0" summary="">
    <tr>
      <td valign="top"><apll>Z←L {quad}CR R</apll></td>
      <td></td>
      <td></td>
      <td>returns the canonical representation of the user-defined function or operator or magic function named in <apll>R</apll>.</td>
    </tr>
    </table>
  </td>
</tr>
<tr>
  <td><apll>R</apll> is a character scalar or vector.</td>
</tr>
<tr>
  <td><apll>L</apll> is an integer scalar whose value is one of <apll>¯2</apll>, <apll>¯1</apll>, <apll>1</apll>, or <apll>2</apll>.</td>
</tr>


</table>
==Dyadic Function==
<br />
{{BoxStart|<apll>Z←L ⎕CR R</apll>
|returns the canonical representation of the user-defined function/operator/hyperator or magic function named in <apll>R</apll>.}}
{{BoxLine|<apll>R</apll> is a character scalar or vector.}}
{{BoxEnd|<apll>L</apll> is an integer scalar whose value is either <apll>1</apll> or <apll>2</apll>.}}
<br/>
<p>If the first character in <apll>R</apll> is <apll>#</apll>, then <apll>R</apll> is assumed to name an internal Magic Function; otherwise <apll>R</apll> is assumed to name a user-defined function/operator/hyperator or a directly assigned function (e.g., <apll>f←+.×</apll>).</p>


<p>If <apll>2=|L</apll>, then <apll>Z</apll> is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).</p>
<p>If <apll>L=2</apll>, then <apll>Z</apll> is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).</p>


<p>if <apll>1=|L</apll>, then <apll>Z</apll> is a vector of character vectors with as many elements in <apll>Z</apll> as there are lines in the function (including the header), and each element of <apll>Z</apll> is a character vector representation of the corresponding line (or header) in the function.</p>
<p>If <apll>L=1</apll>, then <apll>Z</apll> is either a simple character vector (for directly assigned functions), or a vector of character vectors (for user-defined functions/operators) with as many elements in <apll>Z</apll> as there are lines in the function (including the header), and each element of <apll>Z</apll> is a character vector representation of the corresponding line (or header) in the function.</p>


<p>If <apll>L&gt;0</apll>, then <apll>R</apll> is assumed to name a user-defined function or operator.</p>
<p>For example,</p>
 
<p>If <apll>L&lt;0</apll>, then <apll>R</apll> is assumed to name a magic function.</p>
 
<p>In both cases, the canonical representation of that function is returned, as per the above two rules.</p>


<p>For example,</p>
<apll><pre>
      f←+.×
      ⍴⎕←2 ⎕CR 'f'
+.×
1 3
      ⍴⎕←1 ⎕CR 'f'
+.×
3
      2 ⎕CR '#MonIota'
Z←#MonIota R
Z←⊃∘.,/⍳¨R
      1 ⎕CR '#MonIota'
&nbsp;Z←#MonIota R Z←⊃∘.,/⍳¨R
</pre></apll>


<apll>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;¯2 ⎕cr '#MonIota'<br />
<p>When this was written, the existing magic functions were named <apll>#MonIota</apll>, <apll>#DydIota</apll>, <apll>#MonDnShoe</apll>, <apll>#DydTilde</apll>, <apll>#MonRank</apll>, <apll>#DydRank</apll>, <apll>#Conform</apll>, <apll>#MonFMT</apll>, <apll>#Box</apll>, and <apll>#MonVR</apll>.<br/>
Z←F R    <br />
Z←⊃∘.,/⍳¨R<br />
</apll>


<p>When this was written, the existing magic functions were named <apll>#MonIota</apll>, <apll>#DydIota</apll>, <apll>#MonUpShoe</apll>, <apll>#DydTilde</apll>, <apll>#MonRank</apll>, <apll>#DydRank</apll>, and <apll>#Conform</apll>.
{{SFDM|CR}}

Latest revision as of 10:00, 19 March 2019

This function is available in both monadic and dyadic forms

Monadic Function

Z←⎕CR R returns the canonical representation of the function/operator/hyperator named in R.
R is a character scalar or vector.
Z is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).

This monadic function behaves the same as described in the Extended APL Standard, except it also displays the canonical representation of an assigned function or operator.

For example,

      f←,∘⍋∘⍋∘, 
      ⍴⎕←⎕CR 'f' 
,∘⍋∘⍋∘, 
1 7
      f←{⍺+⍵}
      ⍴⎕←⎕CR 'f'
f←{⍺+⍵}
1 7

If the assigned function references an unnamed value which is not a simple scalar or vector, the representation shows a marker in that spot.

For example,

      f←(2 3⍴'abcdef')∘⎕CR
      ⎕CR 'f' 
…∘⎕cr

      f←⎕CR
      ⎕CR 'f' 
f 
      f 'f' 
f


Dyadic Function

Z←L ⎕CR R returns the canonical representation of the user-defined function/operator/hyperator or magic function named in R.
R is a character scalar or vector.
L is an integer scalar whose value is either 1 or 2.


If the first character in R is #, then R is assumed to name an internal Magic Function; otherwise R is assumed to name a user-defined function/operator/hyperator or a directly assigned function (e.g., f←+.×).

If L=2, then Z is a character matrix with as many rows as there are lines in the function (including the header), and as many columns as the longest line (including the header).

If L=1, then Z is either a simple character vector (for directly assigned functions), or a vector of character vectors (for user-defined functions/operators) with as many elements in Z as there are lines in the function (including the header), and each element of Z is a character vector representation of the corresponding line (or header) in the function.

For example,

      f←+.× 
      ⍴⎕←2 ⎕CR 'f' 
+.× 
1 3 
      ⍴⎕←1 ⎕CR 'f' 
+.× 
3 
      2 ⎕CR '#MonIota' 
Z←#MonIota R 
Z←⊃∘.,/⍳¨R 
      1 ⎕CR '#MonIota' 
 Z←#MonIota R Z←⊃∘.,/⍳¨R

When this was written, the existing magic functions were named #MonIota, #DydIota, #MonDnShoe, #DydTilde, #MonRank, #DydRank, #Conform, #MonFMT, #Box, and #MonVR.

Note: ⎕CR is available as both a monadic and dyadic form system function, you cannot assign a value to it.

System Variables (A value may be assigned to these except for ⎕DM)
⎕ALX ⎕CT ⎕DM ⎕DT ⎕ELX ⎕FC ⎕FEATURE ⎕FPC ⎕IC ⎕IO
⎕LR ⎕LX ⎕PP ⎕PR ⎕PW ⎕RL ⎕SA ⎕WSID
Niladic System Functions (a value cannot be assigned to these)
⎕A ⎕AV ⎕EM ⎕ET ⎕LC ⎕NNAMES ⎕NNUMS ⎕SI ⎕SYSID ⎕SYSVER
⎕T ⎕TC ⎕TCBEL ⎕TCBS ⎕TCESC ⎕TCFF ⎕TCHT ⎕TCLF ⎕TCNL ⎕TCNUL
⎕TS ⎕WA
Monadic or dyadic system functions (a value cannot be assigned to these)
⎕AT ⎕CR ⎕DC ⎕DFT ⎕DL ⎕DR ⎕EA ⎕EC ⎕ERROR ⎕ES
⎕EX ⎕FMT ⎕FX ⎕MF ⎕NAPPEND ⎕NC ⎕NCREATE ⎕NERASE ⎕NINFO ⎕NL
⎕NLOCK ⎕NREAD ⎕NRENAME ⎕NREPLACE ⎕NRESIZE ⎕NSIZE ⎕NTIE ⎕NUNTIE ⎕STOP ⎕TF
⎕TRACE ⎕UCS ⎕VR
Note that quad functions and variables (except for the ⎕A family of functions) are case insensitive


See Also
System Commands System Variables and Functions Operators


Keyboard
Alt+Shift ⍪ ≡ ≢ ⍒ ⍋ ⌽ ⍉ ⊖ ⍟ ⍱ ⍲ ⍠ ⌹
Alt ⋄ ¨ ¯ < ≤ ∅ ≥ > ≠ ∨ ∧ × ÷
Shift ~ ! @ # $ % ^ & * ( ) _ +
Key ` 1 2 3 4 5 6 7 8 9 0 - =
Alt+Shift ⍷ √ ⍨ ⍸ ⍥ ⍣ ⍞ ⍬ ⊣
Alt ? ⍵ ∊ ⍴ § ↑ ↓ ⍳ ○ π ← → ⊢
Shift Q W E R T Y U I O P { } |
Key q w e r t y u i o p [ ] \
Alt+Shift ∫ ∂ ⌻ ⍢ ⍙ ⍤ ⍫ ⌷
Alt ⍺ ⌈ ⌊ ∞ ∇ ∆ ∘ ‼ ⎕ ⍎ ⍕
Shift A S D F G H J K L : "
Key a s d f g h j k l ; '
Alt+Shift ⊆ ⊇ χ ⍡ ⍭ ⊙
Alt ⊂ ⊃ ∩ ∪ ⊥ ⊤ ⍦ ⍝ ⍀ ⌿
Shift Z X C V B N M < > ?
Key z x c v b n m , . /
NARS 2000 Lang
Tool
Bar 		← → + - × ÷ * ⍟ ⌹ ○ ! ? √ | ⌈ ⌊ ⊥ ⊤ ⊣ ⊢
≡ ≢ < ≤ = ≥ > ≠ ∨ ∧ ⍱ ⍲ ↑ ↓ ⊂ ⊃ ⌷ ⍋ ⍒
⍳ ∊ ⍸ ⍷ ∪ ∩ ⊆ ⊇ ~ § π .. , ⍪ ⍴ ⌽ ⊖ ⍉
/ \ ⌿ ⍀ ⊙ ¨ ⍨ ⍤ ⍣ ⍡ ⍥ ⍦ . ∘ ⍠ ‼ ⌻ ∂ ∫ ⍞ ⎕ ⍎ ⍕
⋄ ⍝ ∇ ∆ ⍙ _ ⍺ ⍵ ¯ ⍬ ∞ ∅
Second Row i j k i j k l g p r v x
Retrieved from "https://wiki.nars2000.org/index.php?title=System_Function_CR&oldid=3431"