From a5c5ef5cedb4183935d28a1e2f928b580862249a Mon Sep 17 00:00:00 2001
From: Sam Schiavone <sschiavo@mit.edu>
Date: Mon, 22 Apr 2024 11:35:19 -0400
Subject: [PATCH 1/2] adding knowls to HGM pages

---
 lmfdb/hypergm/templates/hgm_family.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/lmfdb/hypergm/templates/hgm_family.html b/lmfdb/hypergm/templates/hgm_family.html
index c462fd3283..15b3171ba8 100644
--- a/lmfdb/hypergm/templates/hgm_family.html
+++ b/lmfdb/hypergm/templates/hgm_family.html
@@ -37,10 +37,10 @@
       <tr><td>{{KNOWL('hgm.levelt_matrices', title="Levelt matrices")}}:<td>${h_{\infty}={{family.hinf_latex}},\;}$ ${h_0={{family.h0_latex}},\;}$ $ {h_1={{family.h1_latex}}}$ 
     </table>
   <p>
-<p><h2> $p$-parts of defining parameters</h2>
+<p><h2> {{ KNOWL('hgm.defining_parameter_ppart', title='$p$-parts of defining parameters') }} </h2>
 <p>
 <table>
-<tr> <th> $p$ <th> $A_p$ <th> $B_p$ <th> $C_p$
+<tr> <th> $p$ <th> {{ KNOWL('hgm.defining_parameter_ppart', title='$A_p$') }} <th> {{ KNOWL('hgm.defining_parameter_ppart', title='$B_p$') }} <th> {{ KNOWL('hgm.defining_parameter_ppart', title='$C_p$') }}
  {% for p, Ap, Bp, Cp  in family.ppart %}
  <tr>
    <td> ${{p}}$
@@ -59,11 +59,11 @@ <h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$</h2>
     <th> $\ell$ </th>
     <th> Index </th>
     <th> Subimage</th>
-    <th> Image  </th>
-    <th> $A^{\perp} _\ell$ </th>
-    <th> $B^{\perp} _\ell$ </th>
-    <th> $C^{\perp} _\ell$ </th>
-    <th> Imprimitivity </th>
+    <th> Image </th>
+    <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$A^{\perp} _\ell$') }} </th>
+    <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$B^{\perp} _\ell$') }} </th>
+    <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$C^{\perp} _\ell$') }} </th>
+    <th> {{ KNOWL('hgm.imprimitivity_index', title='Imprimitivity') }}  </th>
     {% for m in family.monodromy %}
       {% if m[1]!=0 %}
         <tr>

From 2f7b5873f7e14dccdef92b83f8d8a912b605dd19 Mon Sep 17 00:00:00 2001
From: Sam Schiavone <sschiavo@mit.edu>
Date: Mon, 22 Apr 2024 12:14:07 -0400
Subject: [PATCH 2/2] more knowls

---
 lmfdb/hypergm/templates/hgm_family.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lmfdb/hypergm/templates/hgm_family.html b/lmfdb/hypergm/templates/hgm_family.html
index 15b3171ba8..9a818888d3 100644
--- a/lmfdb/hypergm/templates/hgm_family.html
+++ b/lmfdb/hypergm/templates/hgm_family.html
@@ -57,9 +57,9 @@ <h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$</h2>
 <table>
   <tr>
     <th> $\ell$ </th>
-    <th> Index </th>
-    <th> Subimage</th>
-    <th> Image </th>
+    <th> {{ KNOWL('hgm.monodromy_index', title='Index') }} </th>
+    <th> {{ KNOWL('hgm.monodromy_subimage', title='Subimage') }}</th>
+    <th> {{ KNOWL('hgm.monodromy_image', title='Image') }}</th>
     <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$A^{\perp} _\ell$') }} </th>
     <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$B^{\perp} _\ell$') }} </th>
     <th> {{ KNOWL('hgm.defining_parameter_primetoppart', title='$C^{\perp} _\ell$') }} </th>
@@ -84,7 +84,7 @@ <h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$</h2>
 </table>
 {% if family.defaultp %}
 <p>
-<h2>Good Euler factors</h2>
+<h2>{{KNOWL('hgm.good_prime', title="Good")}} {{KNOWL('hgm.euler_factor', title="Euler factors")}} </h2>
 <form id='euler_factors'>
   <table>
     <tr>