Как определить макрос, который принимает определение макроса в качестве аргумента

Как определить макрос, который принимает определение макроса в качестве аргумента

Мы хотели бы определить макрос \ellipsis, который принимает четыре аргумента и имеет следующее поведение:

\ellipsis{x^{#DUMMY#}}{0}{5}{+}

и выходы:

введите описание изображения здесь

Строка шаблона #DUMMY#(которая не обязательно должна быть именно этой строкой) должна быть заменена вторым и третьим аргументами. Таким образом, первый аргумент — это определение макроса само по себе.


Мы пробовали несколько вещей, но всегда в итоге использовали два разных макроса для получения желаемого поведения. Например, делая

\newcommand{\ellipMacro}[1]{x^{#1}}
\newcommand{\ellip}[4]{\csuse{#1}{#2}#4\ldots #4 \csuse{#1}{#3}}

Здесь используется управляющая последовательность \csuseиз пакетаetoolbox(мы согласны использовать любые пакеты).

Мы хотели бы сделать это всего заодинкоманды, поэтому определение внутреннего макроса ( x^{#DUMMY}) необходимо поместить в определение большего макроса.

Пожалуйста, напишите любые идеи, как это сделать.

решение1

Это адаптация моего ответа наКак создать команду для автоматизации создания произведений, подобных разложению на простые множители?

\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse}

\ExplSyntaxOn
\NewDocumentCommand{\elliptic}{O{i}mmmm}
 {% #1 = item to substitute
  % #2 = main term
  % #3 = first index
  % #4 = last index
  % #5 = operation
  \group_begin:
  \lucas_elliptic:nnnnn { #1 } { #2 } { #3 } { #4 } { #5 }
  \group_end:
 }
\tl_new:N \l__lucas_elliptic_term_tl
\cs_generate_variant:Nn \cs_set:Nn { NV }
\cs_new:Nn \lucas_elliptic:nnnnn
 {
  \tl_set:Nn \l__lucas_elliptic_term_tl { #2 }
  \regex_replace_all:nnN
   { #1 } % search
   { \cB\{\cP\#1\cE\} } % replace
   \l__lucas_elliptic_term_tl % what to act on
  \cs_set:NV \__lucas_elliptic_term:n \l__lucas_elliptic_term_tl
  \__lucas_elliptic_term:n { #3 }
  #5 \dots #5
  \__lucas_elliptic_term:n { #4 }
 }
\ExplSyntaxOff

\begin{document}

$\elliptic{x^{i}}{0}{5}{+}$

$\elliptic{x_{i}}{0}{5}{+}$

$\elliptic[k]{(x_{k}+y_{k}i)}{1}{n}{}$

\end{document}

введите описание изображения здесь

Если вы согласны использовать #1заполнитель, это можно упростить:

\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse}

\ExplSyntaxOn
\NewDocumentCommand{\elliptic}{mmmm}
 {% #1 = main term
  % #2 = first index
  % #3 = last index
  % #4 = operation
  \group_begin:
  \lucas_elliptic:nnnn { #1 } { #2 } { #3 } { #4 }
  \group_end:
 }
\cs_new:Nn \lucas_elliptic:nnnn
 {
  \cs_set:Nn \__lucas_elliptic_term:n { #1 }
  \__lucas_elliptic_term:n { #2 }
  #4 \dots #4
  \__lucas_elliptic_term:n { #3 }
 }
\ExplSyntaxOff

\begin{document}

$\elliptic{x^{#1}}{0}{5}{+}$

$\elliptic{x_{#1}}{0}{5}{+}$

$\elliptic{(x_{#1}+y_{#1}i)}{1}{n}{}$

\end{document}

решение2

введите описание изображения здесь

Для приведенного примера, где аргумент находится в конце заполнителя, вам не нужно определять никакую внутреннюю команду, но для общего случая форма \ellipsisbпринимает в качестве первого аргумента тело любого определения команды с одним аргументом. Это позволяет использовать форму 0^2...5^2, показанную в конце.

\documentclass{article}



\begin{document}

\newcommand\ellipsis[4]{#1{#2}#4\cdots#4#1{#3}}

$\ellipsis{x^}{0}{5}{+}$

\newcommand\ellipsisb[4]{%
\def\tmp##1{#1}\tmp{#2}#4\cdots#4\tmp{#3}}

$\ellipsisb{x^{#1}}{0}{5}{+}$

$\ellipsisb{{#1}^2}{0}{5}{+}$



\end{document}

решение3

Возможно, я не понимаю, чего вы хотите, но насколько я вижу, вам это \csuseздесь не нужно и я могу определить:

\newcommand\ellip[4]{{#1}^{#3}#2\dots#2{#1}^{#4}}

Таким образом, $\ellip x+04$ и $\ellip y-{-1}2$, соответственно, производят

введите описание изображения здесь

Если вам действительно нужна более навороченная версия, поддерживающая макрос, то я предлагаю не помещать макрос в показатель степени, а вместо этого просто заменить его x^на \csuse{#1}:

\newcommand\fancyellip[4]{\csuse{#1}{#3}#2\dots#2\csuse{#1}{#4}}

так что теперь $\fancyellip{xint}-{1}2$ производит

введите описание изображения здесь

для соответствующего определения \xint.

Вот полный код:

\documentclass{article}

\newcommand\ellip[4]{{#1}^{#3}#2\dots#2{#1}^{#4}}

\usepackage{etoolbox}
\newcommand\fancyellip[4]{\csuse{#1}{#3}#2\dots#2\csuse{#1}{#4}}
\newcommand\xint[1]{\int_{0}^{#1}x\,dx}

\begin{document}

  $\ellip x+04$

  $\ellip y-{-1}2$

  \bigskip

  $\fancyellip{xint}-{1}2$
\end{document}

решение4

Мой макрос

\replaceiandreplicate{<term with i>}%
                     {<loop-start-index>}%
                     {<loop-end-index>}%
                     {<separator>}%
                     {<end index>}

представлено в обсужденииЦиклический код для повторяющихся сумми в обсужденииКак создать команду для автоматизации создания произведений, подобных разложению на простые множители?может быть вам интересно:

\documentclass{article}

\makeatletter
%%=============================================================================
%% Paraphernalia:
%%    \UD@firstoftwo, \UD@secondoftwo,
%%    \UD@PassFirstToSecond, \UD@Exchange, \UD@removespace
%%    \UD@CheckWhetherNull, \UD@CheckWhetherBrace,
%%    \UD@CheckWhetherLeadingSpace, \UD@ExtractFirstArg
%%=============================================================================
\newcommand\UD@firstoftwo[2]{#1}%
\newcommand\UD@secondoftwo[2]{#2}%
\newcommand\UD@PassFirstToSecond[2]{#2{#1}}%
\newcommand\UD@Exchange[2]{#2#1}%
\newcommand\UD@removespace{}\UD@firstoftwo{\def\UD@removespace}{} {}%
%%-----------------------------------------------------------------------------
%% Check whether argument is empty:
%%.............................................................................
%% \UD@CheckWhetherNull{<Argument which is to be checked>}%
%%                     {<Tokens to be delivered in case that argument
%%                       which is to be checked is empty>}%
%%                     {<Tokens to be delivered in case that argument
%%                       which is to be checked is not empty>}%
%%
%% The gist of this macro comes from Robert R. Schneck's \ifempty-macro:
%% <https://groups.google.com/forum/#!original/comp.text.tex/kuOEIQIrElc/lUg37FmhA74J>
\newcommand\UD@CheckWhetherNull[1]{%
  \romannumeral0\expandafter\UD@secondoftwo\string{\expandafter
  \UD@secondoftwo\expandafter{\expandafter{\string#1}\expandafter
  \UD@secondoftwo\string}\expandafter\UD@firstoftwo\expandafter{\expandafter
  \UD@secondoftwo\string}\expandafter\expandafter\UD@firstoftwo{ }{}%
  \UD@secondoftwo}{\expandafter\expandafter\UD@firstoftwo{ }{}\UD@firstoftwo}%
}%
%%-----------------------------------------------------------------------------
%% Check whether argument's first token is a catcode-1-character
%%.............................................................................
%% \UD@CheckWhetherBrace{<Argument which is to be checked>}%
%%                      {<Tokens to be delivered in case that argument
%%                        which is to be checked has leading
%%                        catcode-1-token>}%
%%                      {<Tokens to be delivered in case that argument
%%                        which is to be checked has no leading
%%                        catcode-1-token>}%
\newcommand\UD@CheckWhetherBrace[1]{%
  \romannumeral0\expandafter\UD@secondoftwo\expandafter{\expandafter{%
  \string#1.}\expandafter\UD@firstoftwo\expandafter{\expandafter
  \UD@secondoftwo\string}\expandafter\expandafter\UD@firstoftwo{ }{}%
  \UD@firstoftwo}{\expandafter\expandafter\UD@firstoftwo{ }{}\UD@secondoftwo}%
}%
%%-----------------------------------------------------------------------------
%% Check whether brace-balanced argument starts with a space-token
%%.............................................................................
%% \UD@CheckWhetherLeadingSpace{<Argument which is to be checked>}%
%%                             {<Tokens to be delivered in case <argument
%%                               which is to be checked>'s 1st token is a
%%                               space-token>}%
%%                             {<Tokens to be delivered in case <argument
%%                               which is to be checked>'s 1st token is not
%%                               a space-token>}%
\newcommand\UD@CheckWhetherLeadingSpace[1]{%
  \romannumeral0\UD@CheckWhetherNull{#1}%
  {\expandafter\expandafter\UD@firstoftwo{ }{}\UD@secondoftwo}%
  {\expandafter\UD@secondoftwo\string{\UD@CheckWhetherLeadingSpaceB.#1 }{}}%
}%
\newcommand\UD@CheckWhetherLeadingSpaceB{}%
\long\def\UD@CheckWhetherLeadingSpaceB#1 {%
  \expandafter\UD@CheckWhetherNull\expandafter{\UD@secondoftwo#1{}}%
  {\UD@Exchange{\UD@firstoftwo}}{\UD@Exchange{\UD@secondoftwo}}%
  {\UD@Exchange{ }{\expandafter\expandafter\expandafter\expandafter
   \expandafter\expandafter\expandafter}\expandafter\expandafter
   \expandafter}\expandafter\UD@secondoftwo\expandafter{\string}%
}%
%%-----------------------------------------------------------------------------
%% Extract first inner undelimited argument:
%%
%%   \UD@ExtractFirstArg{ABCDE} yields  {A}
%%
%%   \UD@ExtractFirstArg{{AB}CDE} yields  {AB}
%%.............................................................................
\newcommand\UD@RemoveTillUD@SelDOm{}%
\long\def\UD@RemoveTillUD@SelDOm#1#2\UD@SelDOm{{#1}}%
\newcommand\UD@ExtractFirstArg[1]{%
  \romannumeral0%
  \UD@ExtractFirstArgLoop{#1\UD@SelDOm}%
}%
\newcommand\UD@ExtractFirstArgLoop[1]{%
  \expandafter\UD@CheckWhetherNull\expandafter{\UD@firstoftwo{}#1}%
  { #1}%
  {\expandafter\UD@ExtractFirstArgLoop\expandafter{\UD@RemoveTillUD@SelDOm#1}}%
}%
%%=============================================================================
%% \DefineReplacementMacro{<replacement-macro>}%
%%                        {<internal helper-macro>}%
%%                        {<single non-explicit-space/non-explicit-brace-token to replace>}%
%%
%%  defines <replacement-macro> to fetch two arguments,
%%  #1 = <replacement for item to replace>
%%  #2 = <token sequence with item to replace>
%%  , and to deliver after two expansion-steps:
%%  <token sequence with all instances of 
%%  <single non-explicit-space/non-explicit-brace-token to replace> replaced 
%%  by <replacement for item to replace>. >
%%
%% Internally an <internal helper-macro> is needed.
%%
%%  (!!! <replacement-macro> does also replace all pairs of matching 
%%       explicit character tokens of catcode 1/2 by matching brace-tokens!!!
%%       Under normal circumstances this is not a problem as under normal
%%       circumstances { and } are the only characters of catcode 1 respective 2.)
%%-----------------------------------------------------------------------------
\newcommand\DefineReplacementMacro[3]{%
  \newcommand#2{}\long\def#2##1#3{}%
  \newcommand#1[2]{%
    \romannumeral0\UD@ReplaceAllLoop{##2}{##1}{}{#2}{#3}%
  }%
}%
\newcommand\UD@ReplaceAllLoop[5]{%
  \UD@CheckWhetherNull{#1}{ #3}{%
    \UD@CheckWhetherLeadingSpace{#1}{%
       \expandafter\UD@ReplaceAllLoop
       \expandafter{\UD@removespace#1}{#2}{#3 }{#4}{#5}%
    }{%
      \UD@CheckWhetherBrace{#1}{%
        \expandafter\expandafter\expandafter\UD@PassFirstToSecond
        \expandafter\expandafter\expandafter{%
        \expandafter\UD@PassFirstToSecond\expandafter{%
            \romannumeral0\expandafter\UD@ReplaceAllLoop
            \romannumeral0\UD@ExtractFirstArgLoop{#1\UD@SelDOm}{#2}{}{#4}{#5}%
        }{#3}}%
        {\expandafter\UD@ReplaceAllLoop\expandafter{\UD@firstoftwo{}#1}{#2}}%
        {#4}{#5}%
      }{%
       \expandafter\UD@CheckWhetherNoReplacement
       \romannumeral0\UD@ExtractFirstArgLoop{#1\UD@SelDOm}{#1}{#2}{#3}{#4}{#5}%
      }%
    }%
  }%
}%
\newcommand\UD@CheckWhetherNoReplacement[6]{%
  \expandafter\UD@CheckWhetherNull\expandafter{#5#1#6}%
  {%
    \expandafter\UD@ReplaceAllLoop
    \expandafter{\UD@firstoftwo{}#2}{#3}{#4#1}{#5}{#6}%
  }{%
    \expandafter\UD@ReplaceAllLoop
    \expandafter{\UD@firstoftwo{}#2}{#3}{#4#3}{#5}{#6}%
  }%
}%
%%=============================================================================
%% \UD@ReplaceAlli -- Replace all "i" in undelimited Argument:
%%
%%   \UD@ReplaceAlli{<replacement for i>}{<token sequence with i>}
%%   yields  <token sequence with all i replaced by replacement for i>
%%
%%  <replacement for i> may contain i.
%%
%%  (This routine does also replace all pairs of matching explicit 
%%   character tokens of catcode 1/2 by matching braces!!!)
%%
%%  The letter "i" as item to replace is hard-coded.
%%  You cannot replace öetters other than I with this macro.
%%.............................................................................
\DefineReplacementMacro{\UD@ReplaceAlli}{\UD@gobbletoi}{i}%
%%
%%=============================================================================
%% \replaceiandreplicate{<term with i>}%
%%                      {<loop-start-index>}%
%%                      {<loop-end-index>}%
%%                      {<separator>}%
%%                      {<end index>}
%%
%% e.g., 
%%
%%  \replaceiandreplicate{p_i^{\epsilon_i}}{1}{3}{\cdots}{n}
%%.............................................................................
\newcommand\replaceiandreplicate[5]{%
   \romannumeral0\expandafter\expandafter
                 \expandafter            \UD@Exchange
                 \expandafter\expandafter
                 \expandafter{%
                 \UD@ReplaceAlli{#5}{#1}%
   }{%
     \replaceiandreplicateloop{#3}{#2}{#1}#4%
   }%
}%
\newcommand\replaceiandreplicateloop[3]{%
  \ifnum#1<#2 %
    \expandafter\UD@firstoftwo
  \else
   \expandafter\UD@secondoftwo
  \fi
  { }{%
    \expandafter\expandafter
    \expandafter            \UD@Exchange
    \expandafter\expandafter
    \expandafter{%
       \UD@ReplaceAlli{#1}{#3}%
    }{%
      \expandafter\replaceiandreplicateloop
      \expandafter{\number\numexpr\number#1-1\relax}{#2}{#3}%
    }%
  }%
}%
\makeatother

\parindent=0ex

\begin{document}

\begin{verbatim}
$\replaceiandreplicate{x^{i}}{0}{0}{+\ldots+}{5}$
\end{verbatim}

yields:\bigskip

$\replaceiandreplicate{x^{i}}{0}{0}{+\ldots+}{5}$

\bigskip\hrule

\begin{verbatim}
$\replaceiandreplicate{\if i0\else+\fi x^{i}}{0}{4}{}{5}$
\end{verbatim}

yields:\bigskip

$\replaceiandreplicate{\if i0\else+\fi x^{i}}{0}{4}{}{5}$

\bigskip\hrule

\begin{verbatim}
$\replaceiandreplicate{\ifnum i=-2 \else+\fi x^{\ifnum i<0(i)\else i\fi}}{-2}{4}{}{5}$
\end{verbatim}

yields:\bigskip

$\replaceiandreplicate{\ifnum i=-2 \else+\fi x^{\ifnum i<0(i)\else i\fi}}{-2}{4}{}{5}$

\bigskip\hrule

\begin{verbatim}
$\replaceiandreplicate{p_{i}^{\epsilon_{i}}}{1}{3}{\cdots}{n}$
\end{verbatim}

yields:\bigskip

$\replaceiandreplicate{p_{i}^{\epsilon_{i}}}{1}{3}{\cdots}{n}$

\bigskip\hrule

\begin{verbatim}
$\replaceiandreplicate{\if in+\fi p_{i}^{\epsilon_{i}}\if in\else+\fi}%
                      {1}%
                      {3}%
                      {\cdots}%
                      {n}$
\end{verbatim}

yields:\bigskip

$\replaceiandreplicate{\if in+\fi p_{i}^{\epsilon_{i}}\if in\else+\fi}{1}{3}{\cdots}{n}$

\end{document}

введите описание изображения здесь

Пожалуйста, не вкладывайте вызовы \replaceiandreplicateв первый аргумент \replaceiandreplicate. ;-)

Связанный контент