From e1b8ea41326bdf09fd376d7009d2e59f7b8b2aff Mon Sep 17 00:00:00 2001
From: Yingjie Wang <phywyj@gmail.com>
Date: Fri, 10 Apr 2026 02:52:06 -0400
Subject: [PATCH] update: auto commit

---
 report.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/report.tex b/report.tex
index d4814b8..38d919d 100644
--- a/report.tex
+++ b/report.tex
@@ -902,4 +902,8 @@ $}
     \end{figure}
   \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$.
+  \end{frame}
+
 \end{document}
\ No newline at end of file