Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a

Compatibility of all new domains

Gate G: simultaneous new-domain and old-domain gluing › Compatibility of all new domains · lines 1210–1234

Metric–scalar homogeneity separates the locked first stages from the second stages. The species degrees are

de g (B) = (1, 1), de g (W) = (2, 0), de g (P) = (3, 1), de g (Q) = (1, 1) .

Here the entries count metric and scalar slots.

The six new domains therefore have argument species degrees

domain B \otimes W W \otimes B L_{4} \otimes B B \otimes R_{4} L_{2} \otimes B B \otimes R_{2} (first argument; second argument) ((1, 1); (2, 0)) ((2, 0); (1, 1)) ((3, 1); (1, 1)) ((1, 1); (3, 1)) ((1, 1); (1, 1)) ((1, 1); (1, 1)) .

Displayed formulas in this passage

unlabeled · line 1214
$de g (B) = (1, 1), de g (W) = (2, 0), de g (P) = (3, 1), de g (Q) = (1, 1) .$
unlabeled · line 1223
$domain B \otimes W W \otimes B L_{4} \otimes B B \otimes R_{4} L_{2} \otimes B B \otimes R_{2} (first argument; second argument) ((1, 1); (2, 0)) ((2, 0); (1, 1)) ((3, 1); (1, 1)) ((1, 1); (3, 1)) ((1, 1); (1, 1)) ((1, 1); (1, 1)) .$