Adjust line breaks to fix overrunning the margin / overfull hboxes #548
Conversation
Since there are many changes, I may fix more overfull hbox warnings in a separate PR (although it is easier to do it in one PR, or wait until this is merged before making more related fixes).
| \Xi_{\mathtt{SNARKV}}(\boldsymbol{\sigma}_1, g, I, \mathbf{t}) & \text{if} \quad r = 8 \\ | ||
| \Xi(\boldsymbol{\sigma}_1, g, I, \mathbf{t}) & \text{otherwise} \end{cases} | ||
| \end{equation} | ||
|
|
There was a problem hiding this comment.
Why did these lines move to another paragraph?
There was a problem hiding this comment.
I moved them because it was tricky to fit them all on one side of a cases/piecemeal equation, without getting an overfull hbox error, or just looking awkward.
There was a problem hiding this comment.
But I see what you mean, I've moved them again.
There was a problem hiding this comment.
Let's not move stuff around for layout reasons until the document is stable enough.
There was a problem hiding this comment.
It still seems like eight or nine lines moved their positions.
There was a problem hiding this comment.
That was intentional, at the moment, some of these lines spill over the margins, which is why I rearranged it to fix that.
|
The conflict is too big for me to fix on the spot. |
...using Libre Open Office with match case and regular expressions ticked as options.
|
@pirapira this should be OK to merge. |
Paper.tex
Outdated
| @@ -407,8 +410,8 @@ \subsubsection{Holistic Validity} | |||
| \begin{array}[t]{lclc} | |||
| \linkdest{new_state_H__r}{}H_{\mathrm{r}} &\equiv& \mathtt{\small TRIE}(L_S(\Pi(\boldsymbol{\sigma}, B))) & \wedge \\ | |||
| \linkdest{Ommer_block_hash_H__o}{}H_{\mathrm{o}} &\equiv& \mathtt{\small KEC}(\mathtt{\small RLP}(L_H^*(B_{\mathbf{U}}))) & \wedge \\ | |||
| \linkdest{tx_block_hash_H__t}{}H_{\mathrm{t}} &\equiv& \mathtt{\small TRIE}(\{\forall i < \lVert B_{\mathbf{T}} \rVert, i \in \mathbb{P}: p(i, L_{T}(B_{\mathbf{T}}[i]))\}) & \wedge \\ | |||
| \linkdest{Receipts_Root_H__e}{}H_{\mathrm{e}} &\equiv& \mathtt{\small TRIE}(\{\forall i < \lVert B_{\mathbf{R}} \rVert, i \in \mathbb{P}: p(i, \hyperlink{transaction_receipt_preparation_function_for_RLP_serialisation}{L_{R}}(B_{\mathbf{R}}[i]))\}) & \wedge \\ | |||
| \linkdest{tx_block_hash_H__t}{}H_{\mathrm{t}} &\equiv& \mathtt{\small TRIE}(\{\forall i < \lVert B_{\mathbf{T}} \rVert, i \in \mathbb{P}: &\\&& \quad\quadp (i, L_{T}(B_{\mathbf{T}}[i]))\}) & \wedge \\ | |||
|
Can we get this merged so that I don't have to keep fixing merge conflicts? |
You can view overfull hbox in the output (rather than in the log) in draft mode (as an option to documentclass). I have fixed all overfull hbox warnings, i.e. there are none in the log nor visible in the output in draft mode.