Merge branch 'main' into bmf0curves

Author: JohnCremona

StyleGuide.md

@@ -45,7 +45,7 @@ contains other conventions and information for the development process.
 
 - Object page templates should extend homepage.html and include a content block.
 - Every object page should have a properties box, and when relevant/available, a related objects box, and a downloads box.
-- Content should be organized intos sections (with`<h2>` headings).  The first section should contain the information that defines the object, the second section should contain standard invariants associated to the object, and from there they should be ordered from least to most technical/obscure.
+- Content should be organized into sections (with`<h2>` headings).  The first section should contain the information that defines the object, the second section should contain standard invariants associated to the object, and from there they should be ordered from least to most technical/obscure.
 - Content tables that are lists (each row is the same type of thing, e.g. local data at a prime) should use row striping (ntdata table).
 - Content captions should be knowls (or contain a knowl) and be followed by colons.
 - Any invariant listed in the properties box should also appear in the body (or header) of the page -- all information should be visible even with the property box closed.

lmfdb/api2/searchers.py

@@ -73,7 +73,6 @@ def register_search_function(name, human_name, description, auto_search=None, fu
     Only populate if you want to have full control over the search return
 
     """
-    global searchers
     searchers[name] = searcher(human_name, description, auto_search=auto_search, full_info=full_info, full_inventory=full_inventory, full_search=full_search, inv=inv)
 
 
@@ -90,6 +89,5 @@ def register_singleton(url, table, key=None, simple_search=None, full_search=Non
     full_search -- A function that performs a search itself and returns the results
     """
 
-    global singletons
     singletons[url] = {'table':table, 'key':key,
         'simple_search':simple_search, 'full_search':full_search}

lmfdb/bianchi_modular_forms/bianchi_modular_form.py

@@ -64,13 +64,19 @@ def index():
     """
     info = to_dict(request.args, search_array=BMFSearchArray(), stats=BianchiStats())
     if not request.args:
-        gl2_fields = ["2.0.{}.1".format(d) for d in [4,8,3,20,24,7,40,11,52,56,15,68,19,84,88,23]]#,31,35,39,43,47,51,53,55,59,67,71,79,83,87,91,95,163]]
-        sl2_fields = ["2.0.{}.1".format(d) for d in [4,8,3,20,7,11,19,43,67,163]]
-        gl2_names = [r"\(\Q(\sqrt{-%s})\)" % d for d in [1,2,3,5,6,7,10,11,13,14,15,17,19,21,22,23]]#,31,35,39,43,47,51,53,55,59,67,71,79,83,87,91,95,163]]
-        sl2_names = [r"\(\Q(\sqrt{-%s})\)" % d for d in [1,2,3,5,7,11,19,43,67,163]]
+        gl2_fields = [f"2.0.{d}.1" for d in [4,8,3,20,24,7,40,11,52,56,15,68,19,84,88,23]]
+        gl2_forms_max = "2.0.2491.1"
+        gl2_forms_max_name = r"\(\Q(\sqrt{-2491})\)"
+        gl2_dims_max = "2.0.2495.1"
+        gl2_dims_max_name = r"\(\Q(\sqrt{-2495})\)"
+        sl2_fields = [f"2.0.{d}.1" for d in [4,8,3,20,7,11,19,43,67,163]]
+        gl2_names = [r"\(\Q(\sqrt{-{%s}})\)" % d for d in [1,2,3,5,6,7,10,11,13,14,15,17,19,21,22,23]]
+        sl2_names = [r"\(\Q(\sqrt{-{%s}})\)" % d for d in [1,2,3,5,7,11,19,43,67,163]]
         info['gl2_field_list'] = [{'url':url_for("bmf.render_bmf_field_dim_table_gl2", field_label=f), 'name':n} for f,n in zip(gl2_fields,gl2_names)]
         info['sl2_field_list'] = [{'url':url_for("bmf.render_bmf_field_dim_table_sl2", field_label=f), 'name':n} for f,n in zip(sl2_fields,sl2_names)]
         info['field_forms'] = [{'url':url_for("bmf.index", field_label=f), 'name':n} for f,n in zip(gl2_fields,gl2_names)]
+        info['last_field_forms'] = {'url':url_for("bmf.index", field_label=gl2_forms_max), 'name':gl2_forms_max_name}
+        info['last_field_dims'] = {'url':url_for("bmf.render_bmf_field_dim_table_gl2", field_label=gl2_dims_max), 'name':gl2_dims_max_name}
 
         t = 'Bianchi modular forms'
         bread = get_bread()

lmfdb/bianchi_modular_forms/templates/bmf-browse.html

@@ -10,13 +10,13 @@ <h2> Browse </h2>
 <table class="browse">
   <tr>
     <td>{{ KNOWL('mf.bianchi.newform', 'Newforms')}} by base field:</td>
-    <td>{% for f in info.field_forms %} <a href={{f.url}}>{{f.name}}</a>&nbsp;&nbsp; {%-endfor %} ...</td>
+    <td>{% for f in info.field_forms %} <a href={{f.url}}>{{f.name}}</a>&nbsp; {%-endfor %} ... <a href={{info.last_field_forms.url}}>{{info.last_field_forms.name}}</a></td>
   </tr><tr>
     <td>{{ KNOWL('mf.bianchi.level', '\(\GL_2\)')}} {{ KNOWL('mf.bianchi.spaces', 'newform spaces')}} by base field:</td>
-    <td>{% for f in info.gl2_field_list %} <a href={{f.url}}>{{f.name}}</a>&nbsp;&nbsp; {% endfor %} ...</td>
+    <td>{% for f in info.gl2_field_list %} <a href={{f.url}}>{{f.name}}</a>&nbsp; {% endfor %} ... <a href={{info.last_field_dims.url}}>{{info.last_field_dims.name}}</a></td>
   </tr><tr>
     <td>{{ KNOWL('mf.bianchi.level', '\(\SL_2\)')}}  {{ KNOWL('mf.bianchi.spaces', 'newform spaces')}} by base field:</td>
-    <td>{% for f in info.sl2_field_list %} <a href={{f.url}}>{{f.name}}</a>&nbsp;&nbsp; {% endfor %}</td>
+    <td>{% for f in info.sl2_field_list %} <a href={{f.url}}>{{f.name}}</a>&nbsp; {% endfor %}</td>
   </tr><tr>
     <td colspan="2">Some <a href="{{url_for('.interesting')}}">interesting Bianchi modular forms</a> or a <a href={{url_for('.random_bmf')}}>random Bianchi modular form</a></td>
   </tr>

lmfdb/classical_modular_forms/download.py

@@ -492,7 +492,7 @@ def _magma_MakeCharacters(self, newform, hecke_nf):
             self.explain.append(explain)
             out += [
                 explain,
-                'function MakeCharacter_%d_%s_Hecke( : Kf := None)' % (newform.level, newform.char_orbit_label),
+                'function MakeCharacter_%d_%s_Hecke( : Kf := false)' % (newform.level, newform.char_orbit_label),
                     '    ' + magma.assign('N', level).rstrip('\n'), # level
                     '    ' + magma.assign('order', order).rstrip('\n'), # order of the character
                     '    ' + magma.assign('char_gens', char_gens).rstrip('\n'), # generators

lmfdb/galois_groups/main.py

@@ -277,8 +277,6 @@ def render_group_webpage(args):
         data['parity'] = "$%s$" % data['parity']
         data['subinfo'] = subfield_display(n, data['subfields'])
         data['resolve'] = resolve_display(data['quotients'])
-        gp_label = data['abstract_label']
-        data['groupid'] = abstract_group_display_knowl(gp_label, gp_label)
         data['otherreps'] = wgg.otherrep_list()
         ae = data['arith_equiv']
         if ae > 0:
@@ -325,6 +323,8 @@ def render_group_webpage(args):
         if len(pretty) > 0:
             prop2.extend([('Group:', pretty)])
             data['pretty_name'] = pretty
+        gp_label = data['abstract_label']
+        data['groupid'] = abstract_group_display_knowl(gp_label, pretty if pretty else gp_label)
         data['name'] = re.sub(r'_(\d+)',r'_{\1}',data['name'])
         data['name'] = re.sub(r'\^(\d+)',r'^{\1}',data['name'])
         data['nilpotency'] = '$%s$' % data['nilpotency']

lmfdb/galois_groups/templates/gg-show-group.html

@@ -10,63 +10,71 @@
 }
 </style>
 
-<p> {{ place_code('gg') }}</p> 
-  <p><h2>{{ KNOWL('gg.group_action_invariants', title='Group action invariants') }}</h2>
+<p> {{ place_code('gg') }}</p>
+
+<h2> {{ KNOWL('gg.invariants', title='Group invariants') }}</h2>
+  <div>
     <table>
-      <tr><td>{{KNOWL('gg.degree', 'Degree')}} $n$:<td>&nbsp;&nbsp;<td>${{info.n}}$</td>
-      <td>{{ place_code('n') }}</td></tr>
+      <tr><td>{{KNOWL('group.small_group_label','Abstract group')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.groupid | safe}}</td>
+        <td>{{place_code('id')}}</td></tr>
+      <tr><td>{{KNOWL('group.order','Order')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.ordermsg }}</td>
+      <td>{{place_code('order')}}</td></tr>
+      <tr><td>{{KNOWL('group.cyclic','Cyclic')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.yesno(info.cyc)}}</td>
+      <td>{{place_code('cyclic')}}</td></tr>
+      <tr><td>{{KNOWL('group.abelian', 'Abelian')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.yesno(info.ab)}}</td>
+      <td>{{place_code('abelian')}}</td></tr>
+      <tr><td>{{KNOWL('group.solvable', 'Solvable')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.yesno(info.solv)}}</td>
+      <td>{{place_code('solvable')}}</td></tr>
+      <tr><td class="nowrap">{{KNOWL('group.nilpotent', 'Nilpotency class')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.nilpotency}}</td><td>{{ place_code('nilpotent') }}</td></tr>
+    </table>
+  </div>
+
+  <h2>{{ KNOWL('gg.group_action_invariants', title='Group action invariants') }}</h2>
+    <table>
+      <tr><td>{{KNOWL('gg.degree', 'Degree')}} $n$:</td><td>&nbsp;&nbsp;</td><td>${{info.n}}$</td>
+        <td>{{ place_code('n') }}</td></tr>
       <tr><td class="nowrap">{{KNOWL('gg.tnumber', 'Transitive number')}} $t$:<td>&nbsp;&nbsp;<td>${{info.t}}$</td>
-      <td>{{ place_code('t') }}</td></tr>
-      {% if info.pretty_name %}
-      <tr><td>{{KNOWL('gg.simple_name', title='Group')}}:<td>&nbsp;&nbsp;<td>{{info.pretty_name}}</tr>
-      {% endif %}
+        <td>{{ place_code('t') }}</td></tr>
       {% if info.n < 16 %}
-      <tr><td>{{KNOWL('gg.conway_name', title='CHM label')}}:<td>&nbsp;&nbsp;<td>
+      <tr><td>{{KNOWL('gg.conway_name', title='CHM label')}}:</td><td>&nbsp;&nbsp;</td><td>
       {% if info.n == 1 %}
         {{info.name}}
       {% else %}
         ${{info.name}}$
       {% endif %}
-      </tr>
+      </td></tr>
       {% endif %}
-      <tr><td>{{KNOWL('gg.parity','Parity')}}:<td>&nbsp;&nbsp;<td>{{info.parity}}
+      <tr><td>{{KNOWL('gg.parity','Parity')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.parity}}</td>
       <td>{{ place_code('even') }}</td></tr>
-      <tr><td>{{KNOWL('gg.primitive', 'Primitive')}}:<td>&nbsp;&nbsp;<td>{{info.yesno(info.prim)}}</td>
+      <tr><td>{{KNOWL('gg.primitive', 'Primitive')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.yesno(info.prim)}}</td>
       <td>{{ place_code('primitive') }}</td></tr>
-      <td>{{ place_code('nilpotent') }}</td></tr>
-      <tr><td class="nowrap">{{KNOWL('gg.field_automorphisms', '$\card{\Aut(F/K)}$')}}:<td>&nbsp;&nbsp;<td>${{info.auts}}$</td>
+      <tr><td class="nowrap">{{KNOWL('gg.field_automorphisms', '$\card{\Aut(F/K)}$')}}:</td><td>&nbsp;&nbsp;</td><td>${{info.auts}}$</td>
       <td>{{ place_code('auts') }}</td></tr>
-      <tr><td>{{KNOWL('group.generators', 'Generators')}}:<td>&nbsp;&nbsp;<td>{{info.gens}}
+      <tr><td>{{KNOWL('group.generators', 'Generators')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.gens}}</td>
       <td>{{ place_code('gens') }}</td></tr>
     </table>
-  </p>
 
-  <p><h2>{{KNOWL('gg.resolvents', 'Low degree resolvents')}}</h2>
+  <h2>{{KNOWL('gg.resolvents', 'Low degree resolvents')}}</h2>
   <blockquote>
   {{info.resolve|safe}}
 
-<p> Resolvents shown for degrees $\leq {{info.wgg.quotient_bound()}}$
+  <p>Resolvents shown for degrees $\leq {{info.wgg.quotient_bound()}}$</p>
   </blockquote>
 
-  <p><h2>{{ KNOWL('gg.subfields', title='Subfields') }}</h2>
-   <p>
+  <h2>{{ KNOWL('gg.subfields', title='Subfields') }}</h2>
    <blockquote>
     {{info.subinfo|safe}}
    </blockquote>
-   </p>
 
-  <p><h2>{{ KNOWL('gg.other_representations', title='Low degree siblings') }}</h2>
-   <p>
+  <h2>{{ KNOWL('gg.other_representations', title='Low degree siblings') }}</h2>
    <blockquote>
     {{info.otherreps|safe}}
    </blockquote>
    <blockquote>
       {{info.arith_equiv|safe}}
    </blockquote>
-   </p>
 
-  <p><h2>{{ KNOWL('gg.conjugacy_classes', title='Conjugacy classes') }}</h2>
-   <p>
+  <h2>{{ KNOWL('gg.conjugacy_classes', title='Conjugacy classes') }}</h2>
 
       {% if info.cclasses is defined %}
    <table class="ntdata">
@@ -85,9 +93,9 @@
       </tbody>
       </table>
    <p>
-   {{KNOWL('gg.malle_a', "Malle's constant $a(G)$")}}: &nbsp; &nbsp; 
+   {{KNOWL('gg.malle_a', "Malle's constant $a(G)$")}}: &nbsp; &nbsp;
    {% if info.malle_a is not none %}
-   ${{info.malle_a}}$ 
+   ${{info.malle_a}}$
    {% else %}
    not computed
    {% endif %}
@@ -99,64 +107,39 @@
    </p>
    <p>{{ place_code('ccs') }}</p>
 
-
-
-<p><h2> {{ KNOWL('gg.invariants', title='Group invariants') }}</h2>
-  <div>
-    <table>
-      <tr><td>{{KNOWL('group.order','Order')}}:<td>&nbsp;&nbsp;<td>{{info.ordermsg }}</td>
-      <td>{{place_code('order')}}</td></tr>
-      <tr><td>{{KNOWL('group.cyclic','Cyclic')}}:<td>&nbsp;&nbsp;<td>{{info.yesno(info.cyc)}}</td>
-      <td>{{place_code('cyclic')}}</td></tr>
-      <tr><td>{{KNOWL('group.abelian', 'Abelian')}}:<td>&nbsp;&nbsp;<td>{{info.yesno(info.ab)}}</td>
-      <td>{{place_code('abelian')}}</td></tr>
-      <tr><td>{{KNOWL('group.solvable', 'Solvable')}}:<td>&nbsp;&nbsp;<td>{{info.yesno(info.solv)}}</td>
-      <td>{{place_code('solvable')}}</td></tr>
-      <tr><td class="nowrap">{{KNOWL('group.nilpotent', 'Nilpotency class')}}:<td>&nbsp;&nbsp;<td>{{info.nilpotency}}</td>
-      <tr><td>{{KNOWL('group.small_group_label','Label')}}:<td>&nbsp;&nbsp;<td>{{info.groupid | safe}}
-      <td>{{place_code('id')}}</td></tr>
-      <tr><td>{{KNOWL('group.complex_character_table', 'Character table')}}:
+   <h2>{{KNOWL('group.complex_character_table', 'Character table')}}</h2>
       {% if not info.wgg.can_chartable %}
-        <td>&nbsp;&nbsp;
-        <td> not computed
-        </table> </div> </p>
+        <p>Character table not computed</p>
       {% elif info.chartable %}
-        </table>
-        </div>
-        </p>
-        <p>
-         {% include 'character-table.html' %}
+        {% include 'character-table.html' %}
       {% else %}
-      <td>&nbsp;&nbsp;
-      <td>
-         {{ info.chartable_knowl | safe }}
-    </table> </div> </p>
+        {{ info.chartable_knowl | safe }}
       {% endif %}
 
   <p>{{place_code('char_table')}}</p>
 
+
 {% if info.int_reps %}
-<p><h2>{{ KNOWL('gg.int_modules', title='Indecomposable integral representations') }}</h2>
-</p>
+<h2>{{ KNOWL('gg.int_modules', title='Indecomposable integral representations') }}</h2>
 <table>
-<tr><td> 
+<tr><td>
 {% if info['int_reps_complete'] > 0 %}
-Complete 
+Complete
 {% else %}
 Partial
 {% endif %}
 list of indecomposable integral representations:
   <p>
   <div>
     <table class="ntdata reptable">
-        <tr><th>{{ KNOWL('gg.int_modules.names', title='Name') }}</th> <th>Dim</th> 
+        <tr><th>{{ KNOWL('gg.int_modules.names', title='Name') }}</th> <th>Dim</th>
         {% for gen in info['int_rep_classes'] %}
           <th> ${{ gen | safe  }} \mapsto $ </th>
         {% endfor %}
         </tr>
     {% for rep in info['int_reps'] %}
       <tr>
-          <td> {{ rep['name'] | safe }} </td> <td> ${{rep['dim'] }}$ </td> 
+          <td> {{ rep['name'] | safe }} </td> <td> ${{rep['dim'] }}$ </td>
         {% for gen in rep['gens'] %}
           <td> ${{ gen | safe  }}$ </td>
         {% endfor %}

lmfdb/galois_groups/transitive_group.py

@@ -150,7 +150,7 @@ def generator_string(self):
         if str(self.n()) == "1":
             return "None needed"
         gens = self.gens()
-        gens = [cyclestrings(g) for g in gens]
+        gens = ['$'+cyclestrings(g)+'$' for g in gens]
         gens = ', '.join(gens)
         return gens
 

lmfdb/higher_genus_w_automorphisms/main.py

@@ -292,7 +292,7 @@ def expr_error(err):
     return err_msg
 
 def expr_getc():
-    global cur_expr, cur_index
+    global cur_index
     while cur_index < len(cur_expr):
         result = cur_expr[cur_index]
         cur_index += 1

lmfdb/homepage/index_boxes.yaml

@@ -31,7 +31,7 @@ content: <ul>
     <li><a href="https://github.com/LMFDB/lmfdb">Source code repository</li>
     <li><a href="/management">Editorial board</li>
     <li><a href="/acknowledgment">Acknowledgments</li>
-    <li><a href="/acknowledgement/activities">Activities</li>
+    <li><a href="/acknowledgment/activities">Activities</li>
   </ul>
 control: 0
 links: