diff --git a/report.tex b/report.tex index 02ce10d..62171ca 100644 --- a/report.tex +++ b/report.tex @@ -908,7 +908,7 @@ $} \end{frame} \begin{frame}{Appendix}{Why can't we fully automate the workflow using Mathematica?} - There are coefficients before each constraint term we add, and it's very common that they have to meet some conditions to recover the hyperbolicity, for example, in GH they require that $\gamma_3 = \gamma_1 \gamma_2$, and in FOBSSN they require that $\kappa^\phi = 0$. And many coefficients cannot be parameters at all, they may have to be something like the lapse function $\lapse$. + There are coefficients before each constraint term we add, and it's very common that they have to meet some conditions to recover the hyperbolicity, for example, in GH they require that $\gamma_3 = \gamma_1 \gamma_2$, and in FOBSSN they require that $\kappa^\phi = 0$. And many coefficients cannot be parameters at all, they may have to be something specific like the lapse function $\lapse$. Then what about adding all possible terms with undetermined coefficients, and solve the coefficients by the conditions of hyperbolicity?