Difference between revisions of "Z3Commands"
Jump to navigation
Jump to search
| Line 22: | Line 22: | ||
:: - If | :: - If | ||
::: - switch | ::: - switch | ||
| + | </pre> | ||
=Short Cut Keys= | =Short Cut Keys= | ||
Revision as of 23:41, 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