Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
M.3 Contact space, graph maps, and invisible directions
M.3 Contact space, graph maps, and invisible directions · lines 916–926
coefficient expansion. Because , expand the switch-free factor over coefficient monomials ; the output component is part of the monomial. (The overall factor in factors out of the linear algebra on coefficients.) Then
graph_contact_map.txt lists a basis of each as vectors , labelled by their pivot monomials .
Displayed formulas in this passage
unlabeled · line 922
Nearby in this section
- definition: Definition: Coherent contact space
- definition: Definition: Three graph maps and two named variants
- proposition: Proposition: Reduction of G
- remark: Remark: Faithfulness for the specializations
- theorem: Theorem: Ambient freedom versus graph-visible collision freedom
- lemma: Lemma: Reported computation for M.3