☰

マクロで二重の添え字を結合する

tag-icon • tag-icon macros subscripts
マクロで二重の添え字を結合する

\des1 つの引数を持ち、それに下付き文字を追加する、つまり\des{a}に対応するマクロを定義したいと思いますa_{des}。 これまでのところ解決策は明らかですが、マクロは、すでに下付き文字/上付き文字を含む引数も受け入れ、必要に応じてコンマを使用して下付き文字を結合する必要があります。 実際には と\des{a_{foo1}^{foo2}}同じ結果を出したいと思いますa_{foo1, des}^{foo2}。

気がついたこれ答えてこれしかし、私のケースには適応できません。さらに、コマンドは\des図のキャプションなどにも表示される可能性があり、ハイパー参照や引数の展開に関連する問題が発生するようです。

ご助力ありがとうございます。

答え1

expl3で

  • _の引数内にがあるかどうかを確認します\des。
  • 内部にない場合は_、;_{\textnormal{des}}の引数に追加するだけです。\des
  • 実際に が少なくとも 1 つ存在する場合_、それをマクロ ( \riccardo_dessb:n) に置き換えます。マクロは展開されると、1 つの引数 (元の添え字) を取り、 に変換されます_{<original subscript>,\textnormal{des}}(基本的に_{<whatever>}に変換されます_{<whatever>,\textnormal{des}})。

正しいコードはこちら

\documentclass{scrartcl}

\usepackage{xparse,mathtools}

\NewDocumentCommand\des{m}{\csname riccardo_des:nn\endcsname{#1}{_}}
\ExplSyntaxOn
\cs_new_protected:Npn \riccardo_des:nn #1 #2
 {
  \tl_set:Nn \l_tmpa_tl { #1 }
  \tl_if_in:NnTF \l_tmpa_tl { #2 }
   { \tl_replace_all:Nnn \l_tmpa_tl { #2 } { \riccardo_dessb:n } }
   { \tl_put_right:Nn \l_tmpa_tl { \sb { \textnormal{des} } } }
  \tl_use:N \l_tmpa_tl
 }
\cs_new_protected:Npn \riccardo_dessb:n #1
 { \sb { #1 , \textnormal{des} } }
\ExplSyntaxOff

\begin{document}
$\des{a}$ and $\des{a_{b}^{c}}$
\end{document}

ここに画像の説明を入力してください

追加

のような明確な構文を好む場合は、\des{a}_{b}^{c}ではなく の\des{a_{b}^{c}}ような解決策があります。いくつかのコード数週間前に投稿しました。面倒に見えるかもしれませんが、実際の定義はもっと短いです。

\documentclass{scrartcl}

\usepackage{xparse,mathtools}

% begin addition for new arguments
\ExplSyntaxOn
\cs_new_protected:Npn \__xparse_count_type_k:w #1
 {
  \__xparse_single_token_check:n { #1 }
  \quark_if_recursion_tail_stop_do:Nn #1 { \__xparse_bad_arg_spec:wn }
  \__xparse_count_mandatory:N
 }
\cs_new_protected:Npn \__xparse_count_type_K:w #1 #2
 {
  \__xparse_single_token_check:n { #1 }
  \quark_if_recursion_tail_stop_do:nn { #2 } { \__xparse_bad_arg_spec:wn }
  \__xparse_count_mandatory:N
 }
\cs_new_protected:Npn \__xparse_add_type_k:w #1
 { \exp_args:NNo \__xparse_add_type_K:w #1 { \c__xparse_no_value_tl } }
\cs_new_protected:Npn \__xparse_add_type_K:w #1 #2
 {
  \__xparse_flush_m_args:
  \__xparse_add_grabber_optional:N K
  \tl_put_right:Nn \l__xparse_signature_tl { #1 { #2 } }
  \__xparse_prepare_signature:N
 }
\cs_new_protected:Npn \__xparse_add_expandable_type_k:w #1
 {
  \exp_args:NNo \__xparse_add_expandable_type_K:w #1 { \c__xparse_no_value_tl }
 }
\cs_new_protected_nopar:Npn \__xparse_add_expandable_type_K:w #1 #2
 {
  \__msg_kernel_error:nnx { xparse } { invalid-expandable-argument-type } { K }
  \__xparse_add_expandable_type_m:w % May be create this?
 }
\cs_new_protected:Npn \__xparse_grab_K:w #1 #2 #3 \l__xparse_args_tl
 {
  \__xparse_grab_K_aux:NnnNn #1 { #2 } { #3 } \cs_set_protected_nopar:Npn
   { _ignore_spaces }
 }
\cs_new_protected:Npn \__xparse_grab_K_long:w #1 #2 #3 \l__xparse_args_tl
 {
  \__xparse_grab_K_aux:NnnNn #1 { #2 } { #3 } \cs_set_protected:Npn
   { _ignore_spaces }
 }
\cs_new_protected:Npn \__xparse_grab_K_trailing:w #1 #2 #3 \l__xparse_args_tl
 {
  \__xparse_grab_K_aux:NnnNn #1 { #2 } { #3 } \cs_set_protected_nopar:Npn
   { _ignore_spaces }
 }
\cs_new_protected:Npn \__xparse_grab_K_long_trailing:w #1 #2 #3 \l__xparse_args_tl
 {
  \__xparse_grab_K_aux:NnnNn #1 { #2 } { #3 } \cs_set_protected:Npn
   { _ignore_spaces }
 }
\cs_new_protected:Npn \__xparse_grab_K_aux:NnnNn #1 #2 #3 #4 #5
 {
  \exp_after:wN #4 \l__xparse_fn_tl ##1
   {
    \__xparse_add_arg:n { ##1 }
    #3 \l__xparse_args_tl
   }    
  \use:c { peek_meaning_remove #5 :NTF } #1
   { \l__xparse_fn_tl }
   {
    \__xparse_add_arg:n { #2 }
    #3 \l__xparse_args_tl
   }
 }

\prop_put:Nnn \c__xparse_shorthands_prop { a } { k \sb }
\prop_put:Nnn \c__xparse_shorthands_prop { b } { k \sp }
\prop_put:Nnn \c__xparse_shorthands_prop { A } { K \sb }
\prop_put:Nnn \c__xparse_shorthands_prop { B } { K \sp }
\ExplSyntaxOff
% end

\NewDocumentCommand\des{ma}
  {#1\IfValueTF{#2}{_{#2,\textnormal{des}}}{_{\textnormal{des}}}}

\begin{document}
$\des{a}$ and $\des{a}_{b}^{c}$
\end{document}

答え2

すべての可能性に対処するために、正規表現を使用できます。私が想定しているのは、 の後にスペースが続かないということだけです_が、これも同様に処理できます。

関数の名前はわかりやすいものにしてください。正規表現の構文については、 を参照してくださいtexdoc l3regex。

\documentclass{article}
\usepackage{xparse,l3regex}

\ExplSyntaxOn
\NewDocumentCommand{\des}{m}
 {
  \riccardo_des:n { #1 }
 }

\tl_new:N \l_riccardo_des_arg_tl

\cs_new_protected:Nn \riccardo_des:n
 {
  \regex_match:nnTF { \_ } { #1 }
   {
    \riccardo_des_sub:n { #1 }
   }
   {
    \riccardo_des_nosub:n { #1 }
   }
 }

% syntactic sugar
\cs_new_protected:Nn \riccardo_des_replace:nnn
 {
  \tl_set:Nn \l_riccardo_des_arg_tl { #3 }
  \regex_replace_once:nnN { #1 } { #2 } \l_riccardo_des_arg_tl
  \tl_use:N \l_riccardo_des_arg_tl
 }

\cs_new_protected:Nn \riccardo_des_nosub:n
 {
  \riccardo_des_replace:nnn { ([^\^]*) } { \1\cD\_\cB\{\c{destext}\cE\} } { #1 }
 }

\cs_new_protected:Nn \riccardo_des_sub:n
 {
  \regex_match:nnTF { \_\{ } { #1 }
   {
    \riccardo_des_sub_braced:n { #1 }
   }
   {
    \riccardo_des_sub_unbraced:n { #1 }
   }
 }

\cs_new_protected:Nn \riccardo_des_sub_unbraced:n
 {
  \riccardo_des_replace:nnn { \_(.) } { \cD\_\cB\{\1,\c{destext}\cE\} } { #1 }
 }

\cs_new_protected:Nn \riccardo_des_sub_braced:n
 {
  \riccardo_des_replace:nnn { \_\{(.*?)\} } { \cD\_\cB\{\1,\c{destext}\cE\} } { #1 }
 }

\ExplSyntaxOff

\newcommand{\destext}{\mathrm{des}}

\begin{document}

$\des{a}+\des{a^{}}+\des{a^2}$

$\des{a_1}+\des{a_1^2}+\des{a^2_1}$

$\des{a_{1}}+\des{a_{1}^2}+\des{a^2_{1}}$

$\des{a_{1}}+\des{a_{1}^{2}}+\des{a^{2}_{1}}$

\end{document}

ここに画像の説明を入力してください

関連情報