Operators: Difference between revisions

From NARS2000
Jump to navigationJump to search
No edit summary
(add cat)
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
In NARS2000, operators are symbols used to perform an action based on the arguments to the left, the right, or the left and right of the operator. The following symbols on the keyboard are operators:
Operators are symbols used to perform an action based on the operands (functions, variables, or jots) to its left (monadic operator) or left and right (dyadic operator), along with the zero, one, or two arguments to the derived function from the operator.  That is, the derived function may be niladic (no arguments), monadic (right argument only), or dyadic (left and right arguments).  For example, <apll>⍨</apll> is a monadic operator (a single operand on its left, e.g. <apll>f⍨</apll>), and the derived function from this operator is ambivalent (that is, may be called with a right argument only as in <apll>f⍨ R</apll> or both left and right arguments, as in <apll>L f⍨ R</apll>).




{{Article footer}}
The list of monadic operators is as follows:
 
{| border="1" cellpadding="5" cellspacing="0"
|-
| <apll>/</apll> || [[Reduction]] || <apll>f/ R</apll> || <apll>L f/ R</apll>
|-
| <apll>\</apll> || [[Scan]] || <apll>f\ R</apll> || <apll>L f\ R</apll>
|-
| <apll>¨</apll> || [[Each]] || <apll>f¨ R</apll> || <apll>L f¨ R</apll>
|-
| <apll>⍨</apll> || [[Commute-Duplicate|Duplicate/Commute]] || <apll>f⍨ R</apll> || <apll>L f⍨ R</apll>
|-
| <apll>⍦</apll> || [[Multisets]] || <apll>f⍦ R</apll> || <apll>L f⍦ R</apll>
|-
| <apll>‼</apll> || [[Combinatorial]] || <apll>v‼ R</apll> ||
|-
| <apll>⊙</apll> || [[Null]] || <apll>f⊙ R</apll> || <apll>L f⊙ R</apll>
|}
 
 
The list of dyadic operators is as follows:
 
{| border="1" cellpadding="5" cellspacing="0"
|-
| <apll>⍤</apll> || [[Rank]] || <apll>f⍤w R</apll> || <apll>L f⍤w R</apll>
|-
| <apll>⍡</apll> || [[Convolution]] || || <apll>L f⍡g R</apll>
|-
| <apll>⍥</apll> || [[Composition]] || || <apll>L f⍥g R</apll>
|-
| <apll>.</apll> || [[Determinant_Operator|Determinant<br />Inner Product<br />Outer product]] || <apll>f.g R</apll><br /><br /><br /> || <br /><apll>L f.g R</apll><br /><apll>L ∘.g R</apll>
|-
| <apll>∘</apll> || [[Compose]] || <apll>f∘g R</apll><br /><apll>f∘w R</apll><br /><apll>v∘g R</apll> || <apll>L f∘g R</apll>
|-
| <apll>⍠</apll> || [[Variant]] || <apll>f⍠w R</apll> || <apll>L f⍠w R</apll>
|}
 
Where <apll>f</apll> and <apll>g</apll> represent functions and <apll>v</apll> and <apll>w</apll> represent variables.
 
{{Article footer|0|NO}}


{{stub}}
{{stub}}
[[Category:Examples]][[Category:Definitions]]

Revision as of 15:39, 16 October 2019

Operators are symbols used to perform an action based on the operands (functions, variables, or jots) to its left (monadic operator) or left and right (dyadic operator), along with the zero, one, or two arguments to the derived function from the operator. That is, the derived function may be niladic (no arguments), monadic (right argument only), or dyadic (left and right arguments). For example, ⍨ is a monadic operator (a single operand on its left, e.g. f⍨), and the derived function from this operator is ambivalent (that is, may be called with a right argument only as in f⍨ R or both left and right arguments, as in L f⍨ R).


The list of monadic operators is as follows:

/ Reduction f/ R L f/ R
\ Scan f\ R L f\ R
¨ Each f¨ R L f¨ R
⍨ Duplicate/Commute f⍨ R L f⍨ R
⍦ Multisets f⍦ R L f⍦ R
‼ Combinatorial v‼ R
⊙ Null f⊙ R L f⊙ R


The list of dyadic operators is as follows:

⍤ Rank f⍤w R L f⍤w R
⍡ Convolution L f⍡g R
⍥ Composition L f⍥g R
. Determinant
Inner Product
Outer product		 f.g R
L f.g R
L ∘.g R
∘ Compose f∘g R
f∘w R
v∘g R		 L f∘g R
⍠ Variant f⍠w R L f⍠w R

Where f and g represent functions and v and w represent variables.


See Also
System Commands System Variables and Functions Operators


Keyboard
A+S ⍪ ≡ ≢ ⍒ ⍋ ⌽ ⍉ ⊖ ⍟ ⍱ ⍲ ⍠ ⌹
Alt ⋄ ¨ ¯ < ≤ ∅ ≥ > ≠ ∨ ∧ × ÷
Sh ~ ! @ # $ % ^ & * ( ) _ +
Key ` 1 2 3 4 5 6 7 8 9 0 - =
A+S ⍷ √ ⍨ ⍸ ⍥ ⍣ ⍞ ⍬ ⊣
Alt ? ⍵ ∊ ⍴ § ↑ ↓ ⍳ ○ π ← → ⊢
Sh Q W E R T Y U I O P { } |
Key q w e r t y u i o p [ ] \
A+S ∫ ∂ ⌻ ⍢ ⍙ ⍤ ⍫ ⌷
Alt ⍺ ⌈ ⌊ ∞ ∇ ∆ ∘ ‼ ⎕ ⍎ ⍕
Sh A S D F G H J K L : "
Key a s d f g h j k l ; '
A+S ⊆ ⊇ χ ⍡ ⍭ ⊙
Alt ⊂ ⊃ ∩ ∪ ⊥ ⊤ ⍦ ⍝ ⍀ ⌿
Sh 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




This NARS2000 article is a stub and needs further work.
Retrieved from "http://wiki.nars2000.org/index.php?title=Operators&oldid=3681"