Manuscript X-Enter-ST@1 · X-Enter-ST.tex · assumption · f76acc1f
Assumption: Frozen convolution data
Stage A: the inherited host and the frozen coefficient › The convolution input contract · lines 334–368
X-Enter-ST@1#ass:convolution, X-Enter-ST@1#eq:gap, X-Enter-ST@1#eq:orbit
Fix the source-specific convolution operator , switch and Cauchy prescription, compact real observation test , and real-linear supported gauge algebra of X-A–Convolution. Retain the following explicit inputs:
for the source's operators,
an admitted witness has the finite real coefficient
every real multiple remains in , and the evaluated first-order coefficient has the orbit
The operators, normalization, width range, and witness in these statements retain their source meanings XConv,XEnter.
Displayed formulas in this passage
X-Enter-ST@1#eq:gap · line 349
X-Enter-ST@1#eq:orbit · line 360
unlabeled · line 343