## 7.1.3.1 Charge format

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 `7.11.0.0` 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, `2.4.0.5.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 |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05