Merge pull request #6010 from SamSchiavone/hgm

Changing table and polynomial format
LMFDB · Apr 23, 2024 · 235a427 · 235a427
2 parents d94a05f + 22987ff
commit 235a427
Show file tree

Hide file tree

Showing 4 changed files with 44 additions and 24 deletions.
diff --git a/lmfdb/hypergm/main.py b/lmfdb/hypergm/main.py
@@ -506,7 +506,7 @@ def render_hgm_webpage(label):
     for j in range(len(locinfo)):
         locinfo[j] = [primes[j]] + locinfo[j]
         # locinfo[j][2] = poly_with_factored_coeffs(locinfo[j][2], primes[j])
-        locinfo[j][2] = list_to_factored_poly_otherorder(locinfo[j][2], vari='x')
+        locinfo[j][2] = list_to_factored_poly_otherorder(locinfo[j][2], vari='T')
     hodge = data['hodge']
     famhodge = data['famhodge']
     prop2 = [

diff --git a/lmfdb/hypergm/templates/hgm-index.html b/lmfdb/hypergm/templates/hgm-index.html
@@ -15,7 +15,8 @@ <h2>Browse</h2>
 </div>
 
 <div>
-<table border=1 cellpadding=5 class='right_align_table'>
+  <!--<table border=1 cellpadding=5 class='right_align_table'>-->
+  <table style="margin-left:1%;" border="1" class="ntdata">
 <tr>
 <th>$w$ \ $d$</th>
 <th>1</th> <th>3</th> <th>5</th> <th>7</th> <th class="rightline">9</th>

diff --git a/lmfdb/hypergm/templates/hgm-show-motive.html b/lmfdb/hypergm/templates/hgm-show-motive.html
@@ -21,7 +21,7 @@
     <table>
       <tr><td>{{KNOWL('hgm.type', 'Type')}}:<td>&nbsp;&nbsp;<td>{{info.type}}
       <tr><td>{{KNOWL('hgm.hodge_vector', 'Hodge vector')}}:<td>&nbsp;&nbsp;<td>${{info.hodge}}$
-      <tr><td>{{KNOWL('hgm.familyhodgevector', 'Family Hodge vector')}}:<td>&nbsp;&nbsp;<td>${{info.famhodge}}$
+      <tr><td>{{KNOWL('hgm.hodge_vector', 'Family Hodge vector')}}:<td>&nbsp;&nbsp;<td>${{info.famhodge}}$
       <tr><td>{{KNOWL('hgm.signature', 'Signature')}}:<td>&nbsp;&nbsp;<td>{{info.sig}}
       <tr><td>{{KNOWL('hgm.conductor', 'Conductor')}}:<td>&nbsp;&nbsp;<td>${{info.cond}}$
       <tr><td>{{KNOWL('hgm.determinant', 'Determinant character')}}:<td>&nbsp;&nbsp;<td>$\chi_{  {{info.det}} }$
@@ -36,21 +36,38 @@
 
 <p><h2> {{ KNOWL('hgm.local_information', 'Local information') }}</h2>
 
-  <p>
-    <table>
-<tr> <th> $p$ <th> $c_p$ <th> $F_p(x)$ <th> 2 <th> 3 <th> 5 <th> 7 <th> $\card{\textrm{Gal}(F_p(x))}$ <th> $|D|$
-{% for loc in info.locinfo: %}
-<tr><td> ${{loc[0]}}$:
-<td>${{loc[1]}}$
-<td>${{loc[2]}}$
-<td>${{loc[3]}}$
-<td>${{loc[4]}}$
-<td>${{loc[5]}}$
-<td>${{loc[6]}}$
-<td>${{loc[7]}}$
-<td>${{loc[8]}}$
-{% endfor %}
-<tr><td><td><td><td>${{info.lcms[0]}}$<td> ${{info.lcms[1]}}$ <td>${{info.lcms[2]}}$ <td>${{info.lcms[3]}}$
+<p>
+  <table style="margin-left:1%;" border="0" class="ntdata">
+<!--TODO make better knowl for charpol of Frob-->
+  <thead>
+    <tr>
+      <th colspan="3"></th>
+      <th colspan="4">Order of semisimple Frobenius at $\ell$</th>
+      <th colspan="2"></th>
+    </tr>
+    <tr style="border-bottom: 1px solid #000;">
+    <th> $p$ </th>
+    <th> {{ KNOWL('hgm.conductor', '$c_p$') }} </th>
+    <th> {{ KNOWL('modlgal.frobenius_charpoly', '$F_p(T)$') }} </th>
+    <th> 2 <th> 3 <th> 5 <th> 7 </th>
+    <th> $\card{\operatorname{Gal}(F_p(T))}$ </th>
+    <th> {{ KNOWL('hgm.local_discriminant', '$D$') }} </th>
+  </thead>
+  {% for loc in info.locinfo: %}
+  <tr><td> ${{loc[0]}}$
+  <td>${{loc[1]}}$
+  <td>${{loc[2]}}$
+  <td>${{loc[3]}}$
+  <td>${{loc[4]}}$
+  <td>${{loc[5]}}$
+  <td>${{loc[6]}}$
+  <td>${{loc[7]}}$
+  <td>${{loc[8]}}$
+  {% endfor %}
+  <tr style="border-top: 2px solid #000;">
+    <!--<td><td><td><td>${{info.lcms[0]}}$<td> ${{info.lcms[1]}}$ <td>${{info.lcms[2]}}$ <td>${{info.lcms[3]}}$-->
+    <td colspan=3>LCMs<td>${{info.lcms[0]}}$<td> ${{info.lcms[1]}}$ <td>${{info.lcms[2]}}$ <td>${{info.lcms[3]}}$ <td colspan=2>
+  </tr>
 </table>
 
 

diff --git a/lmfdb/hypergm/templates/hgm_family.html b/lmfdb/hypergm/templates/hgm_family.html
@@ -39,22 +39,24 @@
   <p>
 <p><h2> {{ KNOWL('hgm.defining_parameter_ppart', title='$p$-parts of defining parameters') }} </h2>
 <p>
-<table>
-<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$') }}
+<table style="margin-left:1%;" border="0" class="ntdata">
+  <thead> <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$') }}
+  </thead>
  {% for p, Ap, Bp, Cp  in family.ppart %}
  <tr>
    <td> ${{p}}$
    <td> ${{Ap}}$
    <td> ${{Bp}}$
    <td> ${{Cp}}$
+ </tr>
  {% endfor %}
 
 </table>
 
 <p>
 <p>
-<h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$</h2>
-<table>
+<h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$ </h2>
+<table style="margin-left:1%;" border="0" class="ntdata">
   <tr>
     <th> $\ell$ </th>
     <th> {{ KNOWL('hgm.monodromy_index', title='Index') }} </th>
@@ -84,7 +86,7 @@ <h2> {{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$</h2>
 </table>
 {% if family.defaultp %}
 <p>
-<h2>{{KNOWL('hgm.good_prime', title="Good")}} {{KNOWL('hgm.euler_factor', title="Euler factors")}} </h2>
+<h2>{{KNOWL('hgm.good_prime', title="Good")}} {{KNOWL('lfunction.euler_product', title="Euler factors")}} </h2>
 <form id='euler_factors'>
   <table>
     <tr>
@@ -113,7 +115,7 @@ <h3>${{var}}={{value}}$</h3>
       {% else %}
         {% set colspan = 2 %}
       {% endif %}
-      <th class='weight'> $F_p(T)$ </th>
+      <th class='weight'> {{ KNOWL('modlgal.frobenius_charpoly', '$F_p(T)$') }} </th>
       {% if family.weight > 0 %}
         {% set colspan = colspan + 1 %}
         <th class='weight'> Ordinary? </th>