update: auto commit

report.tex

@@ -245,11 +245,11 @@
     \begin{equation}
       \pdvt{u^I} + \tensor{A}{^i^I_J} \pdv{u^J}{x^i} = S^I,
     \end{equation}
-    where both $A$ and $S$ can depend on $u^I$ but not their derivatives. For any unit covector $\xi_i$, the \emph{Principal symbol} matrix is defined as $P(\xi) := \tensor{A}{^i^I_J} \xi_i$.
+    where both $A$ and $S$ can depend on $u^I$ but not their derivatives. For any unit covector $\xi_i$, the \emph{Principal symbol} matrix is defined as $\tensor{P}{^I_J}(\xi) := \tensor{A}{^i^I_J} \xi_i$.
     The system is said to be:
     \begin{itemize}
-      \item \emph{weekly hyperbolic} if for any $\xi_i$, $P(\xi)$ has only real eigenvalues.
-      \item \emph{strongly hyperbolic} if for any $\xi_i$, $P(\xi)$ has only real eigenvalues and a complete set of eigenvectors, i.e., it is diagonalizable.
+      \item \emph{weekly hyperbolic} if for any $\xi_i$, $\tensor{P}{^I_J}(\xi)$ has only real eigenvalues.
+      \item \emph{strongly hyperbolic} if for any $\xi_i$, $\tensor{P}{^I_J}(\xi)$ has only real eigenvalues and a complete set of eigenvectors, i.e., it is diagonalizable.
       \item \emph{symmetrically hyperbolic} if there exists a positive definite symmetrizer matrix $H_{IJ}$ such that $H_{IK} \tensor{A}{^i^K_J}$ is symmetric for each $i$.
     \end{itemize}
   \end{frame}