Manuscript XIV-E@1 · XIV-E.tex · section · e89fd2a5

The grouped characteristic target

E0: the six-branch contract › The grouped characteristic target · lines 492–516

XIV-E@1#eq:target

Back to manuscript

The complete formal two-line expression remains

On the retained mixed germ it is

The factor includes the two mixed slot orderings of XIV-D.

This difference stays grouped. Formula (eq:target) specifies the composition to be constructed; it does not assert its existence on the characteristic set.

Displayed formulas in this passage

  • XIV-E@1#eq:target · line 501

  • unlabeled · line 495