| Spinors Extras Package Symbol | Tutorials »|More About » |
| RefInvariantQ[expr, ref→{a, b, ...}] returns result of comparison between numerical values of expr with ref replaced by a, b, ... (those spinors should have declared numerical values). |
| RefInvariantQ[expr, patt→{a, b, ...}] replaces all occurrences of labels that match patt . |
| RefInvariantQ[expr, patt⧴{a, b, ...}] replaces all occurrences of labels that match patt . patt can contain named sub-patterns that can be used on RHS of ⧴. |
| RefInvariantQ[expr, ref] returns comparison between numerical values of expr with ref replaced by two different random spinors. |
| RefInvariantQ[expr, patt] replaces all occurrences of labels that match patt . |
| RefInvariantQ[expr, {ref1, ref2→{a2, b2, ...}, ...}] tests invariance with respect to reference vectors ref1, ref2, ... |
| RefInvariantQ[expr, {{ref11, ...}, {ref21→{a21, b21, ...}, ...}, ...}] returns a List, each element of this list is a result of invariance test of expr using subsequent list of patterns and rules. |
| RefInvariantQ[expr] tests invariance with respect to all explicit reference vectors found in expr. |
| "Accuracy" | Automatic | effective number of digits to the right of the decimal point used for testing of equality of numerical values for different reference vectors | |
| "PostReplace" | Identity | function used to postprocess result of reference vectors replacement | |
| "Comparison" | Equal | function used to compare results of reference vectors replacement | |
| "Verbose" | False | whether subsequent results should be printed |
EXAMPLES
Basic Examples 
Options