Skip to content

Commit

Permalink
fix(pvm): t is actually bold_t in omega t
Browse files Browse the repository at this point in the history
  • Loading branch information
vekexasia committed Sep 23, 2024
1 parent d608cae commit 6cc5e82
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion text/pvm_invocations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -502,7 +502,7 @@ \subsection{Accumulate Functions}\label{sec:accumulatefunctions}
\end{cases} \\
\using b &= (\mathbf{x}_\mathbf{s})_b - a \\
(\omega'_0, \mathbf{x}'_\mathbf{t}, (\mathbf{x}'_\mathbf{s})_b) &\equiv \begin{cases}
(\mathtt{OOB}, \mathbf{x}_\mathbf{t}, (\mathbf{x}_\mathbf{s})_b) &\when t = \error \\
(\mathtt{OOB}, \mathbf{x}_\mathbf{t}, (\mathbf{x}_\mathbf{s})_b) &\when \mathbf{t} = \error \\
(\mathtt{WHO}, \mathbf{x}_\mathbf{t}, (\mathbf{x}_\mathbf{s})_b) &\otherwhen d \not \in \keys{\delta \cup \mathbf{x}_\mathbf{n}} \\
(\mathtt{LOW}, \mathbf{x}_\mathbf{t}, (\mathbf{x}_\mathbf{s})_b) &\otherwhen g < (\delta \cup \mathbf{x}_\mathbf{n})[d]_m \\
(\mathtt{HIGH}, \mathbf{x}_\mathbf{t}, (\mathbf{x}_\mathbf{s})_b) &\otherwhen \xi < g \\
Expand Down

0 comments on commit 6cc5e82

Please sign in to comment.