update: auto commit

report.tex

@@ -864,6 +864,27 @@ $}
     In short, we are looking for a series of hyprbolicity-preserving modifications to FOCCZ4, to get a first order reduction of Z4c with constraint damping. This is working in progress.
   \end{frame}
 
+  \begin{frame}{Searching for a first order Z4c}{Current status}
+    \begin{itemize}
+      \item What we have:
+      \begin{itemize}
+        \item A mathematica note book that takes readable tensor equations as input, and automatically computes the principal symbol matrix
+      \end{itemize}
+      \item What we are doing:
+      \begin{itemize}
+        \item In a loop of modifying the evolution equations, look at the principle symbol, checking the hyperbolicity, and modifying again.
+      \end{itemize}
+      \item What's hard:
+      \begin{itemize}
+        \item The principle symbol matrix is large, and it's hard to evaluate if it's diagonalizable or not.
+      \end{itemize}
+      \item What's the best we have:
+      \begin{itemize}
+        \item A weakly hyperbolic system.
+      \end{itemize}
+    \end{itemize}
+  \end{frame}
+
   \begin{frame}{References}
     \printbibliography
   \end{frame}