edited index pages

The script "update.py" was modified so that the index pages "Proofs without Source" and "Definitions without Source" include the number of proofs or definitions with missing source.

Author: JoramSoch

I/DwS.md

@@ -4,6 +4,8 @@ title: "Definitions without Source"
 ---
 
 
+### Missing source (23 definitions)
+
 - [Beta-binomial data](/D/betabin-data)
 - [Beta-distributed data](/D/beta-data)
 - [Binomial observations](/D/bin-data)

I/PwS.md

@@ -4,6 +4,8 @@ title: "Proofs without Source"
 ---
 
 
+### Missing source (185 proofs)
+
 - [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
 - [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
 - [Bayesian information criterion for multiple linear regression](/P/mlr-bic)

update.py

@@ -17,7 +17,7 @@
 E-Mail: joram.soch@bccn-berlin.de
 
 First edit: 2019-09-27 12:55:00
- Last edit: 2022-07-21 07:47:00
+ Last edit: 2025-10-31 15:35:00
 """
 
 
@@ -274,12 +274,12 @@
     user_proofs = [proof for proof in proofs if proof['username'].lower() == user]
     user_titles = [proof['title_sort'] for proof in user_proofs]
     user_name   = user_proofs[0]['username']
-    f4a.write(sect_hdr.format(user_name, len(user_proofs), pr_words[len(user_proofs)>1]))
     sort_ind    = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(user_titles)])]
+    f4a.write(sect_hdr.format(user_name, len(user_proofs), pr_words[len(user_proofs)>1]))
     for i in sort_ind:
         f4a.write('- [' + user_proofs[i]['title'] + '](/P/' + user_proofs[i]['shortcut'] + ')\n')
 f4a.close()
-del pr_words, pr_users, sect_hdr, sort_ind
+del pr_users, sect_hdr, sort_ind
 print('   - successfully written to disk!')
 
 
@@ -300,46 +300,48 @@
     user_defs   = [definition for definition in defs if definition['username'].lower() == user]
     user_titles = [definition['title_sort'] for definition in user_defs]
     user_name   = user_defs[0]['username']
-    f4b.write(sect_hdr.format(user_name, len(user_defs), def_words[len(user_defs)>1]))
     sort_ind    = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(user_titles)])]
+    f4b.write(sect_hdr.format(user_name, len(user_defs), def_words[len(user_defs)>1]))
     for i in sort_ind:
         f4b.write('- [' + user_defs[i]['title'] + '](/D/' + user_defs[i]['shortcut'] + ')\n')
 f4b.close()
-del def_words, def_users, sect_hdr, sort_ind
+del def_users, sect_hdr, sort_ind
 print('   - successfully written to disk!')
 
 
 # Proofs without Source: prepare index file
 #-----------------------------------------------------------------------------#
 print('\n5a.Proofs without Source:')
 f5a = open('I/PwS.md', 'w')
-f5a.write('---\nlayout: page\ntitle: "Proofs without Source"\n---\n\n\n')
+f5a.write('---\nlayout: page\ntitle: "Proofs without Source"\n---\n\n')
 
 # Proofs without Source: sort by Title
 #-----------------------------------------------------------------------------#
-sort_ind = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(pr_titles)])]
+pr_ws     = [proof for proof in proofs if not proof['source']]
+pr_titles = [proof['title_sort'] for proof in pr_ws]
+sort_ind  = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(pr_titles)])]
+f5a.write('\n### Missing source ({} {})\n\n'.format(len(pr_ws), pr_words[len(pr_ws)>1]))
 for i in sort_ind:
-    source = proofs[i]['source']
-    if not source:
-        f5a.write('- [' + proofs[i]['title'] + '](/P/' + proofs[i]['shortcut'] + ')\n')
+    f5a.write('- [' + pr_ws[i]['title'] + '](/P/' + pr_ws[i]['shortcut'] + ')\n')
 f5a.close()
-del sort_ind, source
+del pr_words, sort_ind
 print('   - successfully written to disk!')
 
 
 # Definitions without Source: prepare index file
 #-----------------------------------------------------------------------------#
 print('\n5b.Definitions without Source:')
 f5b = open('I/DwS.md', 'w')
-f5b.write('---\nlayout: page\ntitle: "Definitions without Source"\n---\n\n\n')
+f5b.write('---\nlayout: page\ntitle: "Definitions without Source"\n---\n\n')
 
 # Definitions without Source: sort by Title
 #-----------------------------------------------------------------------------#
-sort_ind = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(def_titles)])]
+def_ws     = [definition for definition in defs if not definition['source']]
+def_titles = [definition['title_sort'] for definition in def_ws]
+sort_ind   = [i for (v, i) in sorted([(v, i) for (i, v) in enumerate(def_titles)])]
+f5b.write('\n### Missing source ({} {})\n\n'.format(len(def_ws), def_words[len(def_ws)>1]))
 for i in sort_ind:
-    source = defs[i]['source']
-    if not source:
-        f5b.write('- [' + defs[i]['title'] + '](/D/' + defs[i]['shortcut'] + ')\n')
+    f5b.write('- [' + def_ws[i]['title'] + '](/D/' + def_ws[i]['shortcut'] + ')\n')
 f5b.close()
-del sort_ind, source
+del def_words
 print('   - successfully written to disk!')