Difference between revisions of "Z3Commands"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
=Commands= | =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= | =Short Cut Keys= | ||
CTRL+G - to convert into Greek Code | CTRL+G - to convert into Greek Code | ||
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
- - If
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