In der Kryptographie umfasst der Beweis eine Abfolge von Spielen. Jedes Spiel enthält eine Liste von Zeilen. Aneinandergrenzende Spiele sind bis auf eine kleine Anzahl von Zeilen (normalerweise 1) fast gleich. Früher habe ich das alte Spiel in das nächste kopiert und das neue geändert. Aber das ist wirklich umständlich und schwer zu pflegen. Die resultierende Quelldatei ist außerdem unnötig groß. Denken Sie nur an einen Beweis mit 20 Spielen und jedes davon hat 10 Zeilen.
Also habe ich beschlossen, eine Umgebung dafür zu erstellen. Sie sieht aus wie eine „Enumerate“-Umgebung, in der jedes ihrer Elemente ebenfalls eine „Enumerate“-Umgebung ist. Jedes Mal, wenn ich ein neues Element (Spiel) für den äußeren Enumerator erstelle, gebe ich auch als variadischen Parameter an, welche Zeilen des letzten Spiels ich ändern möchte. Ich möchte, dass die Umgebung selbst jede Zeile aus dem letzten Spiel kopiert, die nicht automatisch im Parameter angegeben ist.
Irgendeine Idee, wie das erreicht werden kann?
Antwort1
Nach einigem Kampf damit (beim ersten Verwenden prop
) glaube ich, dass es funktioniert, obwohl es ein bisschen eine Mischung aus verschiedenen Dingen ist und es vielleicht besser wäre, sich eine bessere „Benutzeroberfläche“ auszudenken.
Erstens haben Sie eine Umgebung , die wie ein Except cryptolist
ist , das ein Argument hat. hat ein optionales Argument, nämlich dasenumerate
\item{…}
cryptolist
Name der Liste(standardmäßig ist es default
), was Ihnen die Möglichkeit gibt, mehrere verschiedene Listen gleichzeitig zu verwalten.
Dann gibt es zwei Befehle \replacecryptoitems
(der Name im optionalen Argument und eine normale Schlüssel-Wert-Liste der zu ersetzenden Elemente) und \printcryptolist
(der Name im optionalen Argument). Sie können es beispielsweise mit \replacecryptoitems{2=Modified second item, 3=modified third item}
und dann \printcryptolist
ausdrucken.
Um eine neue Kryptoliste zu initialisieren, benötigen Sie \newcryptolist{name}
.
\documentclass{scrartcl}
\usepackage{xparse,enumitem}
\ExplSyntaxOn
\NewDocumentCommand \newcryptolist { m }
{
\prop_new:c { g_cryptolist_#1_prop }
\int_new:c { g_cryptolist_#1_int }
}
\NewDocumentEnvironment { cryptolist } { O{default} }
{
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\int_gzero:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int }
\prop_gclear:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
\enumerate
\cs_set_eq:NN \normalitem \item
\cs_set_eq:NN \item \cryptoitem
}
{ \endenumerate }
\NewDocumentCommand \cryptoitem { o m }
{
\int_gincr:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int }
\tl_set:Nx \l_cryptolist_item_tl
{ \int_use:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int } }
\prop_gput:con { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
{ \l_cryptolist_item_tl }
{ #2 }
\IfValueTF { #1 } { \normalitem [ #1 ] } { \normalitem }
#2
}
\NewDocumentCommand \printcryptolist { O{default} }
{ \cc_printitems:n { #1 } }
\NewDocumentCommand \replacecryptoitems { O{default} m }
{ \cc_replaceitems:nn { #1 } { #2 } }
\tl_new:N \l_cryptolist_name_tl
\tl_new:N \l_cryptolist_item_tl
\prop_new:N \g_cryptolist_default_prop
\int_new:N \g_cryptolist_default_int
\keys_define:nn { cryptolist }
{
unknown .code:n =
\prop_gput:cVn { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
\l_keys_key_tl { #1 }
}
\cs_new_protected:Npn \cc_printitems:n #1
{
\begin{enumerate}
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\int_step_inline:nnnn { 1 } { 1 }
{ \int_use:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int } }
{
\item
\prop_item:cn { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
{ ##1 }
}
\end{enumerate}
}
\cs_new_protected:Npn \cc_replaceitems:nn #1 #2
{
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\keys_set:nn { cryptolist } { #2 }
}
\ExplSyntaxOff
\newcryptolist{anotherlist}
\begin{document}
\begin{cryptolist}[anotherlist]
\item{First item to be used later;}
\item{second item.}
\end{cryptolist}
\begin{cryptolist}
\item{First item}
\item{Second item}
\item{Third item}
\item{Last item}
\end{cryptolist}
\replacecryptoitems{2 = Second (modified) item, 4 = Last modified item.}
\printcryptolist
\replacecryptoitems[anotherlist]{1=Changing the first one to be used now;}
\printcryptolist[anotherlist]
\end{document}
Erweiterter Code, um die neue Anfrage zu unterstützen. In diesem Fall werden bei jeder Verwendung \replacecryptoitems
die ersetzten Einträge aufgezeichnet. Und das nächste Mal \printcryptoitems
wird angegeben (nurbeim nächsten Mal wird es nach einmaligem Benutzen zurückgesetzt) werden die geänderten Einträge \gamediff{…}
bearbeitet.
\documentclass{scrartcl}
\usepackage{xparse,enumitem}
\usepackage[x11names]{xcolor}
\ExplSyntaxOn
\NewDocumentCommand \gamediff { m }
{ \textcolor { Tomato3 } { #1 } }
\NewDocumentCommand \newcryptolist { m }
{
\prop_new:c { g_cryptolist_#1_prop }
\int_new:c { g_cryptolist_#1_int }
\seq_new:c { g_cryptolist_modifieditems_#1_seq }
}
\NewDocumentEnvironment { cryptolist } { O{default} }
{
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\int_gzero:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int }
\prop_gclear:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
\enumerate[noitemsep]
\cs_set_eq:NN \normalitem \item
\cs_set_eq:NN \item \cryptoitem
}
{ \endenumerate }
\NewDocumentCommand \cryptoitem { o m }
{
\int_gincr:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int }
\tl_set:Nx \l_cryptolist_item_tl
{ \int_use:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int } }
\prop_gput:con { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
{ \l_cryptolist_item_tl }
{ #2 }
\IfValueTF { #1 } { \normalitem [ #1 ] } { \normalitem }
#2
}
\NewDocumentCommand \printcryptolist { O{default} }
{ \cc_printitems:n { #1 } }
\NewDocumentCommand \replacecryptoitems { O{default} m }
{ \cc_replaceitems:nn { #1 } { #2 } }
\tl_new:N \l_cryptolist_name_tl
\tl_new:N \l_cryptolist_item_tl
\prop_new:N \g_cryptolist_default_prop
\seq_new:N \g_cryptolist_modifieditems_default_seq
\int_new:N \g_cryptolist_default_int
\keys_define:nn { cryptolist }
{
unknown .code:n =
\seq_gput_right:cV
{ g_cryptolist_modifieditems_ \tl_use:N \l_cryptolist_name_tl _seq }
\l_keys_key_tl
\prop_gput:cVn { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
\l_keys_key_tl { #1 }
}
\cs_new_protected:Npn \cc_printitems:n #1
{
\begin{enumerate}[noitemsep]
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\int_step_inline:nnnn { 1 } { 1 }
{ \int_use:c { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _int } }
{
\item
\group_begin:
\seq_if_in:cnF
{ g_cryptolist_modifieditems_ \tl_use:N \l_cryptolist_name_tl _seq }
{ ##1 }
{ \cs_set_eq:NN \gamediff \prg_do_nothing: }
{
\prop_item:cn { g_cryptolist_ \tl_use:N \l_cryptolist_name_tl _prop }
{ ##1 }
}
\group_end:
}
\end{enumerate}
\seq_gclear:c
{ g_cryptolist_modifieditems_ \tl_use:N \l_cryptolist_name_tl _seq }
}
\cs_new_protected:Npn \cc_replaceitems:nn #1 #2
{
\tl_set:Nn \l_cryptolist_name_tl { #1 }
\keys_set:nn { cryptolist } { #2 }
}
\ExplSyntaxOff
\newcryptolist{anotherlist}
\begin{document}
\begin{cryptolist}
\item{First item}
\item{Second item}
\item{Third item}
\item{Last item}
\end{cryptolist}
\replacecryptoitems{2 = Second \gamediff{(modified)} item, 4 = Last modified \gamediff{item}.}
\printcryptolist
And this next time they are not highlighted.
\printcryptolist
\end{document}
Antwort2
\documentclass{article}
\usepackage{color}
\usepackage{expl3}
\newcommand\gamediff[2][red]{\color{#1}{\underline{\color{black}{#2}}}\color{black}{}}
\newsavebox\MBox
\newcommand\gamediffeq[2][red]{{\sbox\MBox{$#2$}\rlap{\usebox\MBox}\color{#1}\rule[-1.2\dp\MBox]{\wd\MBox}{0.5pt}}}
\ExplSyntaxOn
\seq_new:N \g_crypto__gameseq_seq
\tl_new:N \g_crypto__gameseq_tl
\int_new:N \g_crypto__gameseq_i
\cs_new:Npn \crypto__gameseq_move:ccn #1#2#3
{
\int_step_inline:nnnn { 1 } { 1 } { #3 }
{
\seq_gpop_left:cN { #1 } \g_crypto__gameseq_tl
\seq_gput_left:cV { #2 } \g_crypto__gameseq_tl
}
}
\cs_new:Npn \crypto__gameseq_store:cn #1#2
{
\crypto__gameseq_move:ccn { #1 } { g_crypto__gameseq_seq } { #2 }
}
\cs_new:Npn \crypto__gameseq_load:cn #1#2
{
\crypto__gameseq_move:ccn { g_crypto__gameseq_seq } { #1 } { #2 }
}
\cs_new:Npn \crypto__gameseq_out:N #1
{
\item \tl_use:N #1
}
\cs_new:Npn \crypto_gameseq_new:c #1
{
\seq_gclear_new:c { g_crypto_gameseq_#1 }
\int_gzero_new:c { g_crypto_gameseq_#1_num }
}
\cs_new:Npn \crypto_gameseq_add:cnn #1#2#3
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
\seq_gput_left:cn { g_crypto_gameseq_#1 } { #3 }
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
}
\cs_new:Npn \crypto_gameseq_del:cnn #1#2#3
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
}
\cs_new:Npn \crypto_gameseq_mod:cnn #1#2#3
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\seq_gput_left:cn { g_crypto_gameseq_#1 } { #3 }
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { \int_eval:n { #2 - 1 } }
}
\cs_new:Npn \crypto_gameseq_get:c #1
{
\int_gincr:c { g_crypto_gameseq_#1_num }
\item[Game~\int_use:c { g_crypto_gameseq_#1_num }.]
\begin{enumerate}
\seq_map_function:cN { g_crypto_gameseq_#1 } \crypto__gameseq_out:N
\end{enumerate}
}
\cs_new_eq:NN \seqnew \crypto_gameseq_new:c
\cs_new_eq:NN \seqout \crypto_gameseq_get:c
\cs_new_eq:NN \seqadd \crypto_gameseq_add:cnn
\cs_new_eq:NN \seqdel \crypto_gameseq_del:cnn
\cs_new_eq:NN \seqmod \crypto_gameseq_mod:cnn
\ExplSyntaxOff
\begin{document}
\begin{itemize}
\seqnew{cc}
\seqadd{cc}{1}{first item}
\seqadd{cc}{2}{third item}
\seqadd{cc}{2}{fourth item}
\seqout{cc}
\seqmod{cc}{2}{\gamediff{second} item}
\seqout{cc}
\seqout{cc}
\end{itemize}
\end{document}
seq
Um das erste Problem zu lösen, habe ich anstelle von verwendet prop
. Und das Ergebnis ist
Aber ich habe nicht herausgefunden, wie ich das zweite Problem lösen könnte. Ich habe zwei Ideen:
Gehen Sie bei jedem Ausdrucken eines Spiels alle Elemente durch und entfernen Sie alle Aufrufe von
gamediff
. Das Hindernisgamediff
muss nicht auf der obersten Ebene liegen. Es kann{{gamediff}}
oder sein$gamediff$
.Wenn ein Element in der Liste gespeichert wird, ruft der Benutzer es nicht direkt auf , sondern ruft eine Funktion auf, die das aktuelle Spiel
gamediff
generiert . Und wenn ein Spiel ausgedruckt wird, wird es ausgewertet und nur diejenigen, deren erster Parameter dem aktuellen Spiel entspricht, heben dessen Inhalt hervor.gamediff[i]
i
gamediff
Mit Manuels Idee ist auch Problem 2 gelöst.
\documentclass{article}
\usepackage{color}
\usepackage{expl3}
\newcommand\highlight[2][red]{\color{#1}{\underline{\color{black}{#2}}}\color{black}{}}
\newsavebox\MBox
\newcommand\highlighteq[2][red]{{\sbox\MBox{$#2$}\rlap{\usebox\MBox}\color{#1}\rule[-1.2\dp\MBox]{\wd\MBox}{0.5pt}}}
\ExplSyntaxOn
\seq_new:N \g_crypto__gameseq_seq
\tl_new:N \g_crypto__gameseq_tl
\int_new:N \g_crypto__gameseq_i
\cs_new:Npn \crypto__gameseq_move:ccn #1#2#3
{
\int_step_inline:nnnn { 1 } { 1 } { \int_eval:n { \int_eval:n { #3 } * 2 } }
{
\seq_gpop_left:cN { #1 } \g_crypto__gameseq_tl
\seq_gput_left:cV { #2 } \g_crypto__gameseq_tl
}
}
\cs_new:Npn \crypto__gameseq_store:cn #1#2
{
\crypto__gameseq_move:ccn { #1 } { g_crypto__gameseq_seq } { #2 }
}
\cs_new:Npn \crypto__gameseq_load:cn #1#2
{
\crypto__gameseq_move:ccn { g_crypto__gameseq_seq } { #1 } { #2 }
}
\cs_new:Npn \crypto_gameseq_new:c #1
{
\seq_gclear_new:c { g_crypto_gameseq_#1 }
\int_gzero_new:c { g_crypto_gameseq_#1_num }
}
\cs_new:Npn \crypto_gameseq_add:cnn #1#2#3
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { #2 - 1 }
\seq_gput_left:cn { g_crypto_gameseq_#1 } { #3 }
\seq_gput_left:cn { g_crypto_gameseq_#1 } { 1 }
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { #2 - 1 }
}
\cs_new:Npn \crypto_gameseq_del:cnn #1#2
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { #2 - 1 }
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { #2 - 1 }
}
\cs_new:Npn \crypto_gameseq_mod:cnn #1#2#3
{
\crypto__gameseq_store:cn { g_crypto_gameseq_#1 } { #2 - 1 }
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\seq_gput_left:cn { g_crypto_gameseq_#1 } { #3 }
\seq_gput_left:cn { g_crypto_gameseq_#1 } { 1 }
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { #2 - 1 }
}
\cs_new:Npn \crypto_gameseq_get:c #1
{
\int_gincr:c { g_crypto_gameseq_#1_num }
\item[Game~\int_use:c { g_crypto_gameseq_#1_num }.]
\begin{enumerate}
\int_step_variable:nnnNn { 1 } { 1 } { \seq_count:c { g_crypto_gameseq_#1 } } \g_crypto__gameseq_i
{
\seq_gpop_left:cN { g_crypto_gameseq_#1 } \g_crypto__gameseq_tl
\int_if_odd:nTF \g_crypto__gameseq_i
{
\tl_if_empty:NTF { \g_crypto__gameseq_tl }
{
\cs_set_eq:NN \gamediff \prg_do_nothing:
\cs_set_eq:NN \gamediffeq \prg_do_nothing:
}
{
\cs_set_eq:NN \gamediff \highlight
\cs_set_eq:NN \gamediffeq \highlighteq
}
\seq_gput_left:Nn \g_crypto__gameseq_seq {}
}
{
\item \tl_use:N \g_crypto__gameseq_tl
\seq_gput_left:cV { g_crypto__gameseq_seq } \g_crypto__gameseq_tl
}
}
\crypto__gameseq_load:cn { g_crypto_gameseq_#1 } { \int_eval:n { \seq_count:c { g_crypto__gameseq_seq } / 2 } }
\end{enumerate}
}
\cs_new_eq:NN \seqnew \crypto_gameseq_new:c
\cs_new_eq:NN \seqout \crypto_gameseq_get:c
\cs_new_eq:NN \seqadd \crypto_gameseq_add:cnn
\cs_new_eq:NN \seqdel \crypto_gameseq_del:cnn
\cs_new_eq:NN \seqmod \crypto_gameseq_mod:cnn
\cs_new_eq:NN \gamediff \highlight
\cs_new_eq:NN \gamediffeq \highlighteq
\ExplSyntaxOff
\begin{document}
\begin{itemize}
\seqnew{cc}
\seqadd{cc}{1}{first item}
\seqout{cc}
\seqadd{cc}{2}{\gamediff{third} item}
\seqout{cc}
\seqadd{cc}{2}{fourth item}
\seqout{cc}
\seqmod{cc}{2}{\gamediff{second} item}
\seqout{cc}
\seqout{cc}
\seqdel{cc}{2}
\seqout{cc}
\end{itemize}
\end{document}
Das Ergebnis ist