マクロの定義を引数として受け取るマクロを定義する方法

Question 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}

Answer

これは私が答えたものを改変したものです素因数分解のような積の作成を自動化するコマンドを作成するにはどうすればよいですか?

\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}

Question 2

引数がプレースホルダーの最後にある例では、内部コマンドを定義する必要はありませんが、一般的なケースでは、フォームは\ellipsisb1 つの引数を持つコマンド定義の本体を最初の引数として受け取ります。これにより、最後に示す 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}

Answer

引数がプレースホルダーの最後にある例では、内部コマンドを定義する必要はありませんが、一般的なケースでは、フォームは\ellipsisb1 つの引数を持つコマンド定義の本体を最初の引数として受け取ります。これにより、最後に示す 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}

Question 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}

Answer