Commit aeb6b0a5 authored by Michael Keller's avatar Michael Keller
Browse files

.

parent 815170b9
......@@ -212,5 +212,9 @@ statement with a condition on $R$ might be helpful:
&+ R(c_\alpha, c_\beta) \cdot ((u_\alpha - \lambda) \cdot (v_\beta - \lambda) - u_\alpha \cdot v_{\beta})\\
&+ R(c_\beta, c_\alpha) \cdot ((u_\beta + \lambda) \cdot (v_\alpha + \lambda) - u_\beta \cdot v_{\alpha})\\
&+ R(c_\beta, c_\beta) \cdot ((u_\beta + \lambda) \cdot (v_\beta - \lambda) - u_\beta \cdot v_{\beta})\\
&= R(c_\alpha, c_\alpha) \cdot (u_\alpha \cdot \lambda - v_\alpha \cdot \lambda - \lambda^2)\\
&+ R(c_\alpha, c_\beta) \cdot (- u_\alpha \cdot \lambda - v_\beta \cdot \lambda + \lambda^2)\\
&+ R(c_\beta, c_\alpha) \cdot (u_\beta \cdot \lambda + v_\alpha \cdot \lambda + \lambda^2)\\
&+ R(c_\beta, c_\beta) \cdot (- u_\beta \cdot \lambda + v_\beta \cdot \lambda - \lambda^2)\\
\end{align*}
\end{proof}
\ No newline at end of file
No preview for this file type
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment