8d87202b533f6fb8.tex
1: \begin{definition} 
2: Assume a breakpoint $p^k$ of a piecewise smooth path in $\mathbb{R}^6$ and a $Q$-variety, as mentioned in Theorems\,\ref{prismatic:limit}/\ref{theorem:basecones}, such that $\mathfrak{d}\left(p^k, Q\right) <\epsilon$ where $\epsilon\in\mathbb{R}^{+}$. If $u^{k}$ is the corresponding point to $p^k$ after variation and if $\mathfrak{q}^{k}$ is the orthogonal projection of $p^k$ on $Q$ then define
3: \begin{equation}
4: \hat{T}_{p^k} := (u^k - p^k) - \langle (u^k - p^k) , N_{p^k}\rangle\,N_{p^k},
5: \label{eq:tangenttoQ}
6: \end{equation}
7: where $N_{p^k}:= \left(p^k-\mathfrak{q}^{k}\right)/\|p^k-\mathfrak{q}^{k}\|$. Then the $k$-th breakpoint's update should be replaced by $\hat{T}_{p^k}$. 
8: \label{def:jointanalysis}
9: \end{definition}