|Page 123 of 800||Search internet|
Each construct has a charge which is a dotted list of integers like 7.-9.13.
Trailing zeros in a charge are insignificant so that 7.11, 7.11.0, and 188.8.131.52 denote the same charge.
Charges are ordered lexicographically:
1 < 2 < 2.1 < 3.-1 < 3 < 3.1
Note that when comparing e.g. 3.-1 and 3, one first extends 3 to 3.0 and then compares lexicographically.
A charge is said to be even (odd) if its last, non-zero component is even (odd). As an example, 184.108.40.206.0.0 is odd. As a special case, charge zero is even.
Charges of constructs affect the location of understood parentheses as described in the following.
|Page 123 of 800||Search logiweb.eu|