☰

Cs_show не срабатывает

tag-icon • tag-icon latex3
Cs_show не срабатывает

Я новичок в Latex3. Тест MWE:

\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse} % loads expl3
\begin{document}
\ExplSyntaxOn
\cs_set:Npn \my_mod:nn #1#2 {
  % store #1//#2 in \l_tmpa_int
  \int_set:Nn \l_tmpa_int { \int_div_truncate:nn {#1}{#2} }
  % compute (#1)-\l_tmpa_int*(#2)
  % make sure to surround operands with parentheses
  % so that when #1 is an expression (e.g. 3-2)
  % the order of arithmetic will not change
  \int_eval:n { (#1) - \l_tmpa_int * (#2) }
}
% define LaTeX interface
\newcommand{\mymod}[2]{
  \my_mod:nn {#1} {#2}
}
\ExplSyntaxOff
\mymod{5}{3}\mymod{6}{3}\mymod{7}{1+2}%201
\end{document}

И на этом этапе работает нормально. Печатает "201", как и ожидалось.

Затем я попытался увидеть, что находится внутри \my_modфункции, чтобы лучше понять ее.Латекс3. Я написал:

\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse} % loads expl3
\begin{document}
\ExplSyntaxOn
\cs_set:Npn \my_mod:nn #1#2 {
    % store #1//#2 in \l_tmpa_int
    \int_set:Nn \l_tmpa_int { \int_div_truncate:nn {#1}{#2} }
    % compute (#1)-\l_tmpa_int*(#2)
    % make sure to surround operands with parentheses
    % so that when #1 is an expression (e.g. 3-2)
    % the order of arithmetic will not change
    \int_eval:n { (#1) - \l_tmpa_int * (#2) }
}

\newcommand{\showw}[2]{
    \cs_show:c \my_mod
}
% define LaTeX interface
\newcommand{\mymod}[2]{
    \my_mod:nn {#1} {#2}
    
}

\ExplSyntaxOff
\mymod{5}{3}

\mymod{6}{3}

\mymod{7}{1+2}%201

\showw{3}{7}
\end{document}

И на этом этапе TexStudio не удалось скомпилировать, что привело кНеопределенная последовательность управления. \showw{3}{7}ошибка. Я должен упомянуть, что та же ошибка возникла, когда я изменил \cs_show:cфункцию на \cs_show:N.

\cs_showКак правильно использовать функцию?

решение1

\cs_show:Nпросто регистрирует определение следующей последовательности управления и не показывает ее «работу».

Обратите внимание также, что \my_mod:nnи \my_modне связаны никаким образом с точки зрения TeX. Вы определяете первое, но не последнее, и его отображение даст «не определено».

На самом деле, вы можете увидеть работу, используя unravel.

\documentclass{article}
\usepackage{unravel}

\ExplSyntaxOn
\cs_set:Npn \my_mod:nn #1#2 {
    % store #1//#2 in \l_tmpa_int
    \int_set:Nn \l_tmpa_int { \int_div_truncate:nn {#1}{#2} }
    % compute (#1)-\l_tmpa_int*(#2)
    % make sure to surround operands with parentheses
    % so that when #1 is an expression (e.g. 3-2)
    % the order of arithmetic will not change
    \int_eval:n { (#1) - \l_tmpa_int * (#2) }
}

\newcommand{\mymod}[2]{
    \my_mod:nn {#1} {#2}
}

\ExplSyntaxOff

\begin{document}

\hbox{\unravel{\mymod{5}{3}}}

%\mymod{6}{3}

%\mymod{7}{1+2}%201

\end{document}

Это \hboxнеобходимо для того, чтобы избежать ложных эффектов, возникающих, \everyparкогда TeX пытается набрать результат. Вы увидите 63 шага, из которых я показываю только несколько.

======== Welcome to the unravel package ========
    "<|" denotes the output to TeX's stomach.
    "||" denotes tokens waiting to be used.
    "|>" denotes tokens that we will act on.
    Press <enter> to continue; 'h' <enter> for help.

|| 
|> \mymod {5}{3}

[===== Step 1 =====] \mymod = \long macro:#1#2->\my_mod:nn {#1}{#2}
|| 
|> \my_mod:nn {5}{3}

[===== Step 2 =====] \my_mod:nn = \long macro:#1#2->\int_set:Nn \l_t...
|| 
|> \int_set:Nn \l_tmpa_int {\int_div_truncate:nn {5}{3}}\int_eval:n
|> {(5)-\l_tmpa_int *(3)}

[===== Step 3 =====] \int_set:Nn = \protected\long macro:#1#2->#1=\_...
|| 
|> \l_tmpa_int =\__int_eval:w \int_div_truncate:nn {5}{3}\__int_eval_end:
|> \int_eval:n {(5)-\l_tmpa_int *(3)}

[...steps omitted...]

[===== Step 63 =====] )
|| \tex_the:D 
|| \__int_eval:w (5)-1*(3)
|> \__int_eval_end: 

[===== Step 64 =====] \tex_the:D =>2
|| 
|> 2

[===== Step 65 =====] 2
<| 2
|| 
|> 

[===== End =====]

Поскольку вы учитесь, несколько слов совета. Функция \my_mod:nnдолжна быть protected, потому что вы делаете задание. Но вы можете этого избежать:

\cs_new:Npn \my_mod:nn #1 #2
 {
  \int_eval:n { (#1) - \int_div_truncate:nn {#1}{#2} * (#2) }
 }

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