Logiweb(TM)

7.1.3.1 Charge format

Prev Up Next 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.

Prev Up Next Page 123 of 800 Search logiweb.eu

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