Как сохранить вертикальный интервал вокруг уравнения на мини-странице?

Question

Следующий пример:

\documentclass{standalone}

\begin{document}
% outer minipages are not part of the test, and just demonstrate the inconsistency
\begin{minipage}[t]{0.5\textwidth}
    
    This is an equation
    \begin{equation}
        x = 1,
    \end{equation}
    which ends in a comma.
    
\end{minipage}%
\begin{minipage}[t]{0.5\textwidth}
    
    This is a minipage equation\par
    \begin{minipage}[t]{\textwidth}
        \begin{equation}
            x = 1,
        \end{equation}
        \par\nointerlineskip\xdef\tpd{\the\prevdepth}
    \end{minipage}%
    \par\prevdepth\tpd\noindent
    which ends in a comma.
    
\end{minipage}%

\end{document}

откуда prevdepthберется материалhttps://tex.stackexchange.com/a/34982/41112, отображается как

Как сделать так, чтобы столбец справа совпадал с столбцом слева, не удаляя мини-страницу? Обратите внимание, что строка $x=1$ также смещена, хотя и совсем немного.

---

Редактировать: Оказывается, это проблема XY, и решение моего вопроса выше на самом деле не работает для реальной проблемы. То есть:

\documentclass{article}
\usepackage{amsmath}
\usepackage{xcolor}

\begin{document}

This is some text that is long enough to wrap across multiple lines, or at least it ought to be. This gap is too big:\par\nointerlineskip\noindent
\begin{minipage}[t]{.5\textwidth}%
    \begin{subequations}\label{eq:tensor_tensor_tensor_left}%
    \begin{alignat}{2}%
    &
        (M \otimes_{\color{red} R} N) \otimes_{\color{blue} A} (P \otimes_{\color{red} R} Q) \nonumber \\
    \cong_{\color{blue} A} {}&
        ((M \otimes_{\color{red} R} N) \otimes_{\color{blue} A} P) \otimes_{\color{red} R} Q) \label{eq:ttt-left-assoc-1}
    \end{alignat}%
    \end{subequations}%
\end{minipage}%
\begin{minipage}[t]{.5\textwidth}%
    \begin{subequations}\label{eq:tensor_tensor_tensor_right}%
    \begin{alignat}{2}%
    &
        (M \otimes_{\color{red} R} N) \otimes_{\color{blue} A} (P \otimes_{\color{red} R} Q) \nonumber \\
    \cong_{\color{blue} A} {}&
        M \otimes_{\color{red} R} (N \otimes_{\color{blue} A} (P \otimes_{\color{red} R} Q) \label{eq:ttt-right-assoc-1}
    \end{alignat}%
    \end{subequations}%
  \par\xdef\tpd{\the\prevdepth}%
  \vspace*{\belowdisplayskip}\vspace*{-\baselineskip}%
  \end{minipage}\par\prevdepth=\tpd\noindent
and some more unindented text. The gap above is too small. Toegther they add to the right amount.
\begin{alignat}{2}%
&
    (M \otimes_{\color{red} R} N) \otimes_{\color{blue} A} (P \otimes_{\color{red} R} Q) \nonumber \\
\cong_{\color{blue} A} {}&
    M \otimes_{\color{red} R} (N \otimes_{\color{blue} A} (P \otimes_{\color{red} R} Q) \label{eq:ttt-right-assoc-1}
\end{alignat}%
These two gaps are just right, and is a bit bigger than the one above

\end{document}

который дает:

Answer 1

Позвольте мне изменить ваш пример, так что вторая внешняя мини-страница просто показывает эффект рядом с первой мини-страницей. На второй мини-странице первая строка и уравнение находятся на мини-странице, а следующий за ней текст находится снаружи.

\documentclass{article}

\begin{document}
% outer minipages are not part of the test, and just demonstrate the inconsistency
\noindent
\begin{minipage}[t]{0.5\textwidth}
  This is an equation
  \begin{equation}
    x = 1,
  \end{equation}
  which ends in a comma.
\end{minipage}%
\begin{minipage}[t]{0.5\textwidth}
  \begin{minipage}[t]{\linewidth}
    This is a minipage equation
        \begin{equation}
            x = 1,
        \end{equation}
  \par\xdef\tpd{\the\prevdepth}%
  \vspace*{\belowdisplayskip}\vspace*{-\baselineskip}
  \end{minipage}\par\prevdepth=\tpd
   which ends in a comma.
\end{minipage}

\end{document}

Однако это может потерпеть неудачу по нескольким причинам, поскольку пропуск после уравнения может быть слишком большим, \belowdisplayshortskipи для его определения потребуется довольно сложная процедура.

---

Онастоящийпроблему, я предлагаю решать по принципуhttps://tex.stackexchange.com/a/550010/4427

Предпочитаю .\mathcolor{red}{R}​\color{red} R

\documentclass{article}
\usepackage{amsmath}
\usepackage{xcolor}

\newcommand{\sidebysidesubequations}[5][0.5]{%
  $$% Yes! We're consciously doing it
  \begin{minipage}{#1\displaywidth}%
  \setlength{\abovedisplayskip}{0pt}%
  \begin{subequations}\label{#2}
  \noindent#3
  \end{subequations}
  \end{minipage}
  \begin{minipage}{\dimeval{\displaywidth-#1\displaywidth}}
  \setlength{\abovedisplayskip}{0pt}%
  \begin{subequations}\label{#4}
  \noindent#5
  \end{subequations}
  \end{minipage}
  $$%
}

\begin{document}

This is some text that is long enough to wrap across multiple lines, or 
at least it ought to be.
\sidebysidesubequations{eq:tensor_tensor_tensor_left}{
  \begin{align}
    & (M \otimes_{\mathcolor{red}{R}} N)
    \otimes_{\mathcolor{blue}{A}}
    (P \otimes_{\mathcolor{red}{R}} Q) \nonumber \\
  \cong_{\mathcolor{blue}{A}} {}&
    M \otimes_{\mathcolor{red}{R}}
    (N \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \label{eq:ttt-left-assoc-1}
 \\
    & (M \otimes_{\mathcolor{red}{R}} N)
    \otimes_{\mathcolor{blue}{A}}
    (P \otimes_{\mathcolor{red}{R}} Q) \nonumber \\
  \cong_{\mathcolor{blue}{A}} {}&
    M \otimes_{\mathcolor{red}{R}}
    (N \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \label{foo1}
  \end{align}
}{eq:tensor_tensor_tensor_right}{
  \begin{align}
    & (M \otimes_{\mathcolor{red}{R}} N)
    \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \nonumber \\
  \cong_{\mathcolor{blue}{A}} {}&
      M \otimes_{\mathcolor{red}{R}}
  (N \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \label{eq:ttt-right-assoc-1}
  \\
    & (M \otimes_{\mathcolor{red}{R}} N)
    \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \nonumber \\
  \cong_{\mathcolor{blue}{A}} {}&
      M \otimes_{\mathcolor{red}{R}}
  (N \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \label{foo2}
  \end{align}
}
and some more unindented text
and some more unindented text
and some more unindented text
and some more unindented text.
\begin{align}
  & (M \otimes_{\mathcolor{red}{R}} N)
    \otimes_{\mathcolor{blue}{A}} (P \otimes_{\mathcolor{red}{R}} Q) \nonumber \\
  \cong_{\mathcolor{blue}{A}} {}&
    M \otimes_{\mathcolor{red}{R}}
    (N \otimes_{\mathcolor{blue}{A}}
    (P \otimes_{\mathcolor{red}{R}} Q) \label{eq:ttt-right-assoc-2}
  \end{align}
These two gaps are just right, and is a bit bigger than the one above

\end{document}