Z3Commands
Jump to navigation
Jump to search
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 <> - Unit Conversion <+> - Unit Addition <-> - Unit Substraction <*> - Unit Multiplication </> - Unit Division () - 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+ENTER- Gives Parameter Expansion Double tap SHIFT - Toggle Capital and Small Letter [Ex: Convert FRACTAL to fractal and vice verse] CTRL+SPACE - Function Listing
Reference Links
Calci Functions Z3 Functions