Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav07_lecture_3_skeleton [2007/03/20 18:26] wikiadmin |
sav07_lecture_3_skeleton [2007/03/20 21:13] vkuncak |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ===== Converting programs (with simple values) to formulas ===== | ===== Converting programs (with simple values) to formulas ===== | ||
| + | |||
| ==== Context ==== | ==== Context ==== | ||
| Line 20: | Line 21: | ||
| What exactly do we prove about the formula R( c ) ? | What exactly do we prove about the formula R( c ) ? | ||
| - | We prove that this formula is **valid** | + | We prove that this formula is **valid**: |
| R( c ) -> error=false | R( c ) -> error=false | ||
| Line 117: | Line 118: | ||
| - | Test : \\ | ||
| - | \begin{eqnarray*} | ||
| - | \Psi_0 &=& -C_{abcd} Y_0^a m^b Y_1^c m^d e^{-2i\gamma} \\ | ||
| - | \Psi_4 &=& -C_{abcd} Y_1^a \bar{m}^b Y_1^c \bar{m}^d e^{2i\gamma} | ||
| - | \end{eqnarray*} | ||