Canonical construction of polytope Barabanov norms and antinorms for sets of matrices.