☰

不使用 `amsthm` 对假设的 a,b 变体（或其他类似定理的环境）进行编号

tag-icon • tag-icon cross-referencing numbering theorems
不使用 `amsthm` 对假设的 a,b 变体（或其他类似定理的环境）进行编号

我希望有各种假设（如果你愿意，也可以叫它子假设）的变体，并将它们标记为 1a、2b 等。没有使用amsthm已知与出版商内部风格相冲突的软件包（通知管理科学样式文件）。 分子量：

平均能量损失

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Author template for Management Science (mnsc) for articles with no e-companion (EC)
%% Mirko Janc, Ph.D., INFORMS, [email protected]
%% ver. 0.95, December 2010
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[mnsc,blindrev]{informs3}
%\documentclass[mnsc,nonblindrev]{informs3} % current default for manuscript submission

\OneAndAHalfSpacedXI
%%\OneAndAHalfSpacedXII % Current default line spacing
%%\DoubleSpacedXII
%%\DoubleSpacedXI

% If hyperref is used, dvi-to-ps driver of choice must be declared as
%   an additional option to the \documentclass. For example
%\documentclass[dvips,mnsc]{informs3}      % if dvips is used
%\documentclass[dvipsone,mnsc]{informs3}   % if dvipsone is used, etc.

% Private macros here (check that there is no clash with the style)


%% Setup of theorem styles. Outcomment only one.
%% Preferred default is the first option.
\TheoremsNumberedThrough     % Preferred (Theorem 1, Lemma 1, Theorem 2)
%\TheoremsNumberedByChapter  % (Theorem 1.1, Lema 1.1, Theorem 1.2)
\ECRepeatTheorems

%% Setup of the equation numbering system. Outcomment only one.
%% Preferred default is the first option.
\EquationsNumberedThrough    % Default: (1), (2), ...
%\EquationsNumberedBySection % (1.1), (1.2), ...

% For new submissions, leave this number blank.
% For revisions, input the manuscript number assigned by the on-line
% system along with a suffix ".Rx" where x is the revision number.
\MANUSCRIPTNO{MS-0001-1922.65}

%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%

\begin{assumption}
    The first assumption.
\end{assumption}

Some text\ldots

\begin{assumption}
    I want this to be displayed and referenced as ``Assumption~2a''.
\end{assumption}

Some text\ldots (If the text here interferes with the solution, it can be omitted.)

\begin{assumption}
    I want this to be displayed and referenced as ``Assumption~2b''.
\end{assumption}

Some text\ldots

\begin{assumption}
    I want this to be displayed and referenced as ``Assumption~3''.
\end{assumption}

%%%%%%%%%%%%%%%%%
\end{document}
%%%%%%%%%%%%%%%%%

相关问题的答案使用amsthm包。我也试过答案在这里但它也不起作用。

*可能与解决方案无关：最终，我还想在某些假设变体（例如，假设~2b'）中添加 prime(')此方法；所以我希望该解决方案也与它兼容。

答案1

有些针对小型股，但对于其余股来说相当简单。

如果您需要不同的连续子假设组，您只需\stepcounter{assumption}在组之间发出即可。

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Author template for Management Science (mnsc) for articles with no e-companion (EC)
%% Mirko Janc, Ph.D., INFORMS, [email protected]
%% ver. 0.95, December 2010
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[mnsc,blindrev]{informs3}
%\documentclass[mnsc,nonblindrev]{informs3} % current default for manuscript submission

\OneAndAHalfSpacedXI
%%\OneAndAHalfSpacedXII % Current default line spacing
%%\DoubleSpacedXII
%%\DoubleSpacedXI

% If hyperref is used, dvi-to-ps driver of choice must be declared as
%   an additional option to the \documentclass. For example
%\documentclass[dvips,mnsc]{informs3}      % if dvips is used
%\documentclass[dvipsone,mnsc]{informs3}   % if dvipsone is used, etc.

% Private macros here (check that there is no clash with the style)


%% Setup of theorem styles. Outcomment only one.
%% Preferred default is the first option.
\TheoremsNumberedThrough     % Preferred (Theorem 1, Lemma 1, Theorem 2)
%\TheoremsNumberedByChapter  % (Theorem 1.1, Lema 1.1, Theorem 1.2)
\ECRepeatTheorems

%% Setup of the equation numbering system. Outcomment only one.
%% Preferred default is the first option.
\EquationsNumberedThrough    % Default: (1), (2), ...
%\EquationsNumberedBySection % (1.1), (1.2), ...

% For new submissions, leave this number blank.
% For revisions, input the manuscript number assigned by the on-line
% system along with a suffix ".Rx" where x is the revision number.
\MANUSCRIPTNO{MS-0001-1922.65}

\newtheorem{subassumption}{Assumption\normalfont}[assumption]
\renewcommand{\thesubassumption}{\theassumption\alph{subassumption}}}

\newenvironment{assumption*}
 {\ifnum\value{subassumption}=0 \stepcounter{assumption}\fi\subassumption}
 {\endsubassumption}
\newenvironment{assumption+}[1]
 {\renewcommand{\thesubassumption}{#1}\subassumption}
 {\endsubassumption}

%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%

\begin{assumption}\label{a1}
    The first assumption.
\end{assumption}

Some text\ldots

\begin{assumption*}\label{a2a}
    I want this to be displayed and referenced as ``Assumption~2a''.
\end{assumption*}

Some text\ldots (If the text here interferes with the solution, it can be omitted.)

\begin{assumption*}\label{a2b}
    I want this to be displayed and referenced as ``Assumption~2b''.
\end{assumption*}

Some text\ldots

\begin{assumption+}{\ref{a2b}$'$}\label{a2b'}
    I want this to be displayed and referenced as ``Assumption~2b''.
\end{assumption+}

Some text\ldots

\begin{assumption}\label{a3}
    I want this to be displayed and referenced as ``Assumption~3''.
\end{assumption}

References: \ref{a1}, \ref{a2a}, \ref{a2b}, \ref{a2b'}, \ref{a3}.

%%%%%%%%%%%%%%%%%
\end{document}
%%%%%%%%%%%%%%%%%

在此处输入图片描述

不同的版本，引入一个subassumptions环境，以...为模型subequations。

我定义辅助环境是fixedassumption为了避免用小写字母打印标签 2a。

请注意，此版本assumption*用来代替assumption+以前的版本。

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Author template for Management Science (mnsc) for articles with no e-companion (EC)
%% Mirko Janc, Ph.D., INFORMS, [email protected]
%% ver. 0.95, December 2010
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[mnsc,blindrev]{informs3}
%\documentclass[mnsc,nonblindrev]{informs3} % current default for manuscript submission

\OneAndAHalfSpacedXI
%%\OneAndAHalfSpacedXII % Current default line spacing
%%\DoubleSpacedXII
%%\DoubleSpacedXI

% If hyperref is used, dvi-to-ps driver of choice must be declared as
%   an additional option to the \documentclass. For example
%\documentclass[dvips,mnsc]{informs3}      % if dvips is used
%\documentclass[dvipsone,mnsc]{informs3}   % if dvipsone is used, etc.

% Private macros here (check that there is no clash with the style)


%% Setup of theorem styles. Outcomment only one.
%% Preferred default is the first option.
\TheoremsNumberedThrough     % Preferred (Theorem 1, Lemma 1, Theorem 2)
%\TheoremsNumberedByChapter  % (Theorem 1.1, Lema 1.1, Theorem 1.2)
\ECRepeatTheorems

%% Setup of the equation numbering system. Outcomment only one.
%% Preferred default is the first option.
\EquationsNumberedThrough    % Default: (1), (2), ...
%\EquationsNumberedBySection % (1.1), (1.2), ...

% For new submissions, leave this number blank.
% For revisions, input the manuscript number assigned by the on-line
% system along with a suffix ".Rx" where x is the revision number.
\MANUSCRIPTNO{MS-0001-1922.65}

% not to be used directly
\newcounter{subassumption}
\theoremstyle{TH}
\newtheorem{fixedassumption}[assumption]{Assumption\normalfont}
\newenvironment{subassumptions}
 {%
  \refstepcounter{assumption}%
  \edef\theassumption{\theassumption\noexpand\alph{assumption}}%
  \setcounter{subassumption}{\value{assumption}}%
  \setcounter{assumption}{0}%
  \let\assumption\fixedassumption
  \let\endassumption\endfixedassumption
  \ignorespaces
 }
 {\setcounter{assumption}{\value{subassumption}}\ignorespacesafterend}

\newenvironment{assumption*}[1]
 {\renewcommand{\theassumption}{#1}\fixedassumption}
 {\endfixedassumption}

%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%

\begin{assumption}\label{a1}
    The first assumption.
\end{assumption}

Some text\ldots

\begin{subassumptions}
\begin{assumption}\label{a2a}
    I want this to be displayed and referenced as ``Assumption~2a''.
\end{assumption}

Some text\ldots (If the text here interferes with the solution, it can be omitted.)

\begin{assumption}\label{a2b}
    I want this to be displayed and referenced as ``Assumption~2b''.
\end{assumption}
\end{subassumptions}

Some text\ldots

\begin{assumption*}{\ref{a2b}$'$}\label{a2b'}
    I want this to be displayed and referenced as ``Assumption~2b''.
\end{assumption*}

Some text\ldots

\begin{assumption}\label{a3}
    I want this to be displayed and referenced as ``Assumption~3''.
\end{assumption}

References: \ref{a1}, \ref{a2a}, \ref{a2b}, \ref{a2b'}, \ref{a3}.

%%%%%%%%%%%%%%%%%
\end{document}
%%%%%%%%%%%%%%%%%

答案2

也许我误解了这个问题，似乎这需要两个不同的环境：一个用于assumptions，一个用于subassumptions。在底层，所有类似定理的环境都使用，\trivlist所以这里自然要做的就是定义使用相同机制的新环境。

下面的代码定义了两个环境，assumption和assumption*，用于假设和子假设。与标准定理类环境一样，这两个环境都接受可选参数。调整上面的 MWE，输出为：

在此处输入图片描述

以下是代码：

\documentclass{article}

\newcounter{assumption}
\newcounter{subassumption}
\renewcommand\theassumption{Assumption~\arabic{assumption}}
\renewcommand\thesubassumption{\theassumption\alph{subassumption}}
\makeatletter
\@addtoreset{subassumption}{assumption}
\newenvironment{assumption}[1][]{%
  \refstepcounter{assumption}%
  \def\@currentlabel{Assumption~\arabic{assumption}}%
  \if\relax\detokenize{#1}\relax\let\@assumptionextra\relax%
  \else\def\@assumptionextra{\space(#1)}%
  \fi%
  \trivlist\item[\textsc{Assumption}~\arabic{assumption}\@assumptionextra\space]%
    \ignorespaces\itshape%
  }{\endtrivlist}%
\newenvironment{assumption*}[1][]{%
  % change the assumption counter if this is the first subassumption
  \ifnum\value{subassumption}=0\refstepcounter{assumption}\fi%
  \refstepcounter{subassumption}%
  \def\@currentlabel{Assumption~\arabic{assumption}\alph{subassumption}}%
  \if\relax\detokenize{#1}\relax\let\@assumptionextra\relax%
  \else\def\@assumptionextra{\space(#1)}%
  \fi%
  \trivlist\item[\textsc{Assumption}~\arabic{assumption}\alph{subassumption}%
    \@assumptionextra\space]\ignorespaces\itshape%
  }{\endtrivlist}%
\makeatother

\begin{document}

    \begin{assumption}
        The first assumption.
        \label{Assumption1}
    \end{assumption}

    Some text\ldots

    \begin{assumption*}
        I want this to be displayed and referenced as ``Assumption~2a''.
        \label{Assumption2a}
    \end{assumption*}

    Some text\ldots (If the text here interferes with the solution, it can be omitted.)

    \begin{assumption*}
        I want this to be displayed and referenced as ``Assumption~2b''.
        \label{Assumption2b}
    \end{assumption*}

    \begin{assumption*}[$c>a$]
        I want this to be displayed and referenced as ``Assumption~2b''.
        \label{Assumption2c}
    \end{assumption*}

    Some text\ldots

    \begin{assumption}
        I want this to be displayed and referenced as ``Assumption~3''.
        \label{Assumption3}
    \end{assumption}

    Labels: \ref{Assumption1}, \ref{Assumption2a}, \ref{Assumption2b}
    and \ref{Assumption3}

\end{document}

相关内容