Presentation descent

For binary constructions the same criterion is required in each slot. The ideal of presentation relations must also be stable under the proposed products.

The boundary and auxiliary identities in this paper are identities of actual classical functionals. Our finite-width free products are evaluated on their admitted kernels, so they respect those off-shell identities. A sharp graph extension specified on presentations must separately pass Proposition prop:descent.

For example,

is a null presentation with two nonzero summands. Selecting a highest presentation degree is not a construction on the resulting zero distribution. Cheung's XIV-J makes this exact test in its internal amplitude module CheungXIVJ.