Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909

M.2 Numerical-kernel relations and Gate S-bv

M.2 Numerical-kernel relations and Gate S-bv · lines 392–396

Back to manuscript

XVI-L does not compute the full relation space of its admissible labels (XVI-L, thm:L5). This section constructs the presentation , , degree by degree.

Nearby in this section