Difference between revisions of "Z3Commands"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
=Commands= | =Commands= | ||
=List of Operators= | =List of Operators= | ||
| − | + | <pre> | |
+, -, *, /, ^, % - Arithmetic Operators | +, -, *, /, ^, % - Arithmetic Operators | ||
| | - Array Function and Creation Operator | | | - Array Function and Creation Operator | ||
Revision as of 23:39, 14 July 2016
Commands
List of Operators
+, -, *, /, ^, % - Arithmetic Operators
| | - Array Function and Creation Operator
.. - Arithmetic and Geometric Series Creation
... - Arithmetic and Geometric Series Creation
@ - apply to
# - Series or Special Case Qualifier for Dates, Calci Cells, and Sequences, etc.
<<< - Member or Variable Assignment
() - Function Call
[] - Set Creation
- Object Set
- Set Object Membership
. - Member Function Dereferencing.
. mf - Member Function
.$ mf(function, parameters) - Element-wise Function Application
.$$ mf (special – Row-wise Function Application
.$$$ mf (special) – Column-wise Function Application
.$_ mf (special) - Cumulative Function Application (all)
:: - If
::: - switch
Short Cut Keys
CTRL+G - to convert into Greek Code
CTRL+U - Converts SIGMA to Σ
SHIFT+SPACE - Gives Parameter Expansion
SHIFT+BACKSPACE - Toggle Capital and Small Letter [Ex: Convert FRACTAL to fractal and vice verse]
Reference Links
Calci Functions
Z3 Functions