-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathgenerate_listing.py
80 lines (64 loc) · 2.01 KB
/
generate_listing.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
from common import Problem
import fire
import re
LATEX_ESCAPES = {
'&': r'\&',
'%': r'\%',
'$': r'\$',
'#': r'\#',
'_': r'\_',
'{': r'\letteropenbrace{}',
'}': r'\letterclosebrace{}',
'~': r'\lettertilde{}',
'^': r'\letterhat{}',
'\\': r'\letterbackslash{}',
}
def escape_latex(s):
if isinstance(s, str):
# https://stackoverflow.com/questions/16259923/how-can-i-escape-latex-special-characters-inside-django-templates/16264094#16264094
return "".join([LATEX_ESCAPES.get(char, char) for char in s])
else:
return str(s)
def format_listing_var(m):
id = escape_latex(m.group(1))
return "{(*\\textbf{\\color{gridvar}" + id + "}*)}"
def value_to_latex(v):
latex = escape_latex(v)
if isinstance(v, str):
latex = f"'{latex}'"
latex = f"\\texttt{{{latex}}}"
return latex
def main(problem_name):
problem = Problem(problem_name)
text = problem.get_text()
listing = re.sub(r"\{([_a-z0-9]+)\}", format_listing_var, text)
grid = problem.grid
table = """\\begin{tabular}{p{0.35\\linewidth} | >{\\raggedright\\arraybackslash}p{0.6\\linewidth}}
\\toprule
\\textbf{Variable} & \\textbf{Values} \\\\
\\midrule\n"""
for var, values in grid.items():
clean_var = escape_latex(var)
clean_values = ', '.join(value_to_latex(v) for v in values)
table += f" \\texttt{{{clean_var}}} & {clean_values} \\\\ \n"
table += " \\bottomrule\n"
table += "\\end{tabular}"
# print(listing)
# print(table)
figure = r"""
\begin{figure*}[!htbp]
\begin{minipage}{.6\textwidth}
\begin{lstlisting}[language=Python, numbers=none]
$listing
\end{lstlisting}
\end{minipage}
\begin{minipage}{.3\textwidth}
$table
\end{minipage}
\caption{$caption}
\label{fig:gcd}
\end{figure*}
""".replace('$listing', listing).replace('$table', table).replace("$caption", escape_latex(problem_name))
print(figure)
if __name__ == '__main__':
fire.Fire(main)