diff --git a/lmfdb/hypergm/main.py b/lmfdb/hypergm/main.py index 44854d5d93..fd1ba61874 100644 --- 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 index 472fb7969d..5ea9aeb9a6 100644 --- a/lmfdb/hypergm/templates/hgm-index.html +++ b/lmfdb/hypergm/templates/hgm-index.html @@ -15,7 +15,8 @@

Browse

- + +
diff --git a/lmfdb/hypergm/templates/hgm-show-motive.html b/lmfdb/hypergm/templates/hgm-show-motive.html index bf1085292d..c67bc1cee4 100644 --- a/lmfdb/hypergm/templates/hgm-show-motive.html +++ b/lmfdb/hypergm/templates/hgm-show-motive.html @@ -21,7 +21,7 @@
$w$ \ $d$ 1 3 5 7 9
{{KNOWL('hgm.type', 'Type')}}:  {{info.type}}
{{KNOWL('hgm.hodge_vector', 'Hodge vector')}}:  ${{info.hodge}}$ -
{{KNOWL('hgm.familyhodgevector', 'Family Hodge vector')}}:  ${{info.famhodge}}$ +
{{KNOWL('hgm.hodge_vector', 'Family Hodge vector')}}:  ${{info.famhodge}}$
{{KNOWL('hgm.signature', 'Signature')}}:  {{info.sig}}
{{KNOWL('hgm.conductor', 'Conductor')}}:  ${{info.cond}}$
{{KNOWL('hgm.determinant', 'Determinant character')}}:  $\chi_{ {{info.det}} }$ @@ -36,21 +36,38 @@

{{ KNOWL('hgm.local_information', 'Local information') }}

-

- -
$p$ $c_p$ $F_p(x)$ 2 3 5 7 $\card{\textrm{Gal}(F_p(x))}$ $|D|$ -{% for loc in info.locinfo: %} -
${{loc[0]}}$: -${{loc[1]}}$ -${{loc[2]}}$ -${{loc[3]}}$ -${{loc[4]}}$ -${{loc[5]}}$ -${{loc[6]}}$ -${{loc[7]}}$ -${{loc[8]}}$ -{% endfor %} -
${{info.lcms[0]}}$ ${{info.lcms[1]}}$ ${{info.lcms[2]}}$ ${{info.lcms[3]}}$ +

+ + + + + + + + + + + + + + + + + {% for loc in info.locinfo: %} + + +
Order of semisimple Frobenius at $\ell$
$p$ {{ KNOWL('hgm.conductor', '$c_p$') }} {{ KNOWL('modlgal.frobenius_charpoly', '$F_p(T)$') }} 2 3 5 7 $\card{\operatorname{Gal}(F_p(T))}$ {{ KNOWL('hgm.local_discriminant', '$D$') }}
${{loc[0]}}$ + ${{loc[1]}}$ + ${{loc[2]}}$ + ${{loc[3]}}$ + ${{loc[4]}}$ + ${{loc[5]}}$ + ${{loc[6]}}$ + ${{loc[7]}}$ + ${{loc[8]}}$ + {% endfor %} +
LCMs${{info.lcms[0]}}$ ${{info.lcms[1]}}$ ${{info.lcms[2]}}$ ${{info.lcms[3]}}$ +
diff --git a/lmfdb/hypergm/templates/hgm_family.html b/lmfdb/hypergm/templates/hgm_family.html index c1fa777e16..c6c60615fe 100644 --- a/lmfdb/hypergm/templates/hgm_family.html +++ b/lmfdb/hypergm/templates/hgm_family.html @@ -39,22 +39,24 @@

{{ KNOWL('hgm.defining_parameter_ppart', title='$p$-parts of defining parameters') }}

- -
$p$ {{ KNOWL('hgm.defining_parameter_ppart', title='$A_p$') }} {{ KNOWL('hgm.defining_parameter_ppart', title='$B_p$') }} {{ KNOWL('hgm.defining_parameter_ppart', title='$C_p$') }} + + {% for p, Ap, Bp, Cp in family.ppart %} {% endfor %}
$p$ {{ KNOWL('hgm.defining_parameter_ppart', title='$A_p$') }} {{ KNOWL('hgm.defining_parameter_ppart', title='$B_p$') }} {{ KNOWL('hgm.defining_parameter_ppart', title='$C_p$') }} +
${{p}}$ ${{Ap}}$ ${{Bp}}$ ${{Cp}}$ +

-

{{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$

- +

{{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$

+
@@ -84,7 +86,7 @@

{{ KNOWL('hgm.monodromy', title='Monodromy groups') }} modulo $\ell$

$\ell$ {{ KNOWL('hgm.monodromy_index', title='Index') }}
{% if family.defaultp %}

-

{{KNOWL('hgm.good_prime', title="Good")}} {{KNOWL('hgm.euler_factor', title="Euler factors")}}

+

{{KNOWL('hgm.good_prime', title="Good")}} {{KNOWL('lfunction.euler_product', title="Euler factors")}}

@@ -113,7 +115,7 @@

${{var}}={{value}}$

{% else %} {% set colspan = 2 %} {% endif %} - + {% if family.weight > 0 %} {% set colspan = colspan + 1 %}
$F_p(T)$ {{ KNOWL('modlgal.frobenius_charpoly', '$F_p(T)$') }} Ordinary?