Resize long expressions in LaTeX to prevent overflow

[BilalM04]

Contributes to #718

• Detailed description in LaTeX: Long expressions fall out of page boundaries #718 (comment).
• Adjusts block equations within definition tables to 80% of the page width if they overflow.
• Adjusts standard block equations to the full page width if they overflow.

To save you the trouble of compiling, here is a precompiled example of SSP_SRS.pdf for your reference.

[smiths]

The new pdfs are an improvement over the previous ones. I like this change to the generated stable files. @JacquesCarette or @balacij should review the Drasil code changes.

[samm82]

Minor, likely non-blocking notes on another solid PR!

[JacquesCarette]

Nice, but since you've opened this can of worms, may as well do it right!

[JacquesCarette]

We can predict that we'll likely want more processing of expressions in the future, so may as well abstract from that now. In other words, introduce a \formatExpr macro that wraps expressions, which would then just be resizeExpression{#1}{0.8}.

[BilalM04]

Since we have both \resizeExpression{#1}{0.8} (printed by lo') and \resizeExpression{#1}{1.0} (printed by lo), does that mean we need to introduce two macros? For a more detailed explanation on why the differences in scale exist, please refer to #3910 (comment).

[JacquesCarette]

No. The macro should take a parameter that indicates whether to choose the in-definition or outside-definition case. While there should be booleans, it might still make sense to give them symbolic names, to make it clear what the meaning of the parameter is.

[BilalM04]

To clarify, are you suggesting the following?

In addition to the existing variables/commands I created in this PR, which are as follows:

\def\inDefScale{0.8}
\def\outDefScale{1.0}

\newsavebox{\mybox}

\newcommand{\resizeExpression}[2]{
  \savebox{\mybox}{$#1$}
  \ifdim\wd\mybox>#2\linewidth
    \resizebox{#2\textwidth}{!}{\usebox{\mybox}}
  \else
    \usebox{\mybox}
  \fi
}

we want the following macro:

\newcommand{\InDef}{true}
\newcommand{\OutDef}{false}

\newcommand{\formatExpr}[2]{
  \if#2
    \resizeExpression{#1}{\inDefScale}
  \else
    \resizeExpression{#1}{\outDefScale}
  \fi
}

Thus, expressions will be printed as follows:

\formatExpr{...}{\outDef} % Outside definition table
\formatExpr{...}{\inDef} % Inside definition table

That’s how I understand it. Please let me know if I’ve misunderstood anything.