Skip to content

Commit 9c2a58d

Browse files
committed
edited "write_book"
In "write_book.py", support for external links, i.e. not of the form "[text](/P/shortcut)" or "[text](/D/shortcut)", was added.
1 parent 0740c98 commit 9c2a58d

File tree

8 files changed

+144
-130
lines changed

8 files changed

+144
-130
lines changed

BookTools.py

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -187,9 +187,10 @@ def extract_body(file_txt):
187187
#-----------------------------------------------------------------------------#
188188
def replace_links(line, rep_dir):
189189
"""
190-
Replace links such as [text](/P/shortcut) or [text](/D/shortcut)
191-
by (-> Proof I/1.2.3) or (Definition "shortcut").
190+
Replace links in line from proof or definition
192191
"""
192+
# Replace links such as [text](/P/shortcut) or [text](/D/shortcut)
193+
# by (-> Proof I/1.2.3) or (Definition "shortcut").
193194
while line.find('](/') > -1:
194195
# get bracket/parantheses indices
195196
i2 = line.find('](/')
@@ -213,4 +214,15 @@ def replace_links(line, rep_dir):
213214
new_ref = ' ($\\rightarrow$ ' + file_type + ' "' + shortcut + '")'
214215
# adapt to new reference
215216
line = line[0:i1] + line[i1+1:i2] + new_ref + line[i4+1:]
217+
# Replace links such as [text](URL) by \footnote{\url{URL}}
218+
while line.find('](') > -1:
219+
# get bracket/parantheses indices
220+
i2 = line.find('](')
221+
i3 = i2 + 1
222+
i4 = line.find(')', i2)
223+
i1 = line.rfind('[', 0, i2)
224+
# create new reference
225+
new_ref = '\\footnote{\\url{' + line[i3+1:i4] + '}}'
226+
# adapt to new reference
227+
line = line[0:i1] + line[i1+1:i2] + new_ref + line[i4+1:]
216228
return line

write_book/StatProofBook.aux

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1302,29 +1302,29 @@
13021302
\newlabel{eq:wald-mgf-mgf-var}{{4}{158}}
13031303
\newlabel{eq:wald-mgf-wald-mgf-s1}{{5}{158}}
13041304
\newlabel{eq:wald-mgf-bessel-de}{{6}{158}}
1305-
\newlabel{eq:wald-mgf-bessel-fact1}{{7}{158}}
1305+
\newlabel{eq:wald-mgf-bessel-fact1}{{7}{159}}
13061306
\newlabel{eq:wald-mgf-bessel-fact2}{{8}{159}}
13071307
\newlabel{eq:wald-mgf-wald-mgf-s2}{{9}{159}}
13081308
\newlabel{eq:wald-mgf-wald-mgf-s3}{{10}{159}}
13091309
\newlabel{eq:wald-mgf-wald-mgf-s4}{{11}{159}}
1310-
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.7.4}\textbf {Mean}}{159}\protected@file@percent }
1311-
\newlabel{sec:wald-mean}{{3.7.4}{159}}
1310+
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.7.4}\textbf {Mean}}{160}\protected@file@percent }
1311+
\newlabel{sec:wald-mean}{{3.7.4}{160}}
13121312
\newlabel{eq:wald-mean-wald}{{1}{160}}
13131313
\newlabel{eq:wald-mean-wald-mean}{{2}{160}}
13141314
\newlabel{eq:wald-mean-wald-moment}{{3}{160}}
13151315
\newlabel{eq:wald-mean-wald-mgf}{{4}{160}}
13161316
\newlabel{eq:wald-mean-wald-mean-s1}{{5}{160}}
13171317
\newlabel{eq:wald-mean-wald-mean-s2}{{6}{160}}
1318-
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.7.5}\textbf {Variance}}{160}\protected@file@percent }
1319-
\newlabel{sec:wald-var}{{3.7.5}{160}}
1320-
\newlabel{eq:wald-var-wald}{{1}{160}}
1318+
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.7.5}\textbf {Variance}}{161}\protected@file@percent }
1319+
\newlabel{sec:wald-var}{{3.7.5}{161}}
1320+
\newlabel{eq:wald-var-wald}{{1}{161}}
13211321
\newlabel{eq:wald-var-wald-var}{{2}{161}}
13221322
\newlabel{eq:wald-var-var-mean}{{3}{161}}
13231323
\newlabel{eq:wald-var-wald-moment}{{4}{161}}
13241324
\newlabel{eq:wald-var-wald-mgf}{{5}{161}}
13251325
\newlabel{eq:wald-var-wald-var-s1}{{6}{161}}
13261326
\newlabel{eq:wald-var-wald-var-s2}{{7}{161}}
1327-
\newlabel{eq:wald-var-wald-var-s3}{{8}{161}}
1327+
\newlabel{eq:wald-var-wald-var-s3}{{8}{162}}
13281328
\newlabel{eq:wald-var-wald-var-s4}{{9}{162}}
13291329
\@writefile{toc}{\contentsline {section}{\numberline {4}Multivariate continuous distributions}{163}\protected@file@percent }
13301330
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Multivariate normal distribution}{163}\protected@file@percent }

0 commit comments

Comments
 (0)