Merge pull request #6116 from LMFDB/main

main -> dev

lmfdb/belyi/web_belyi.py

@@ -295,7 +295,7 @@ def __init__(self, galmap, triple=None):
         data["lambdas"] = [str(c)[1:-1] for c in galmap["lambdas"]]
         # plane model
         if galmap.get("plane_model"):
-            data["plane_model"] = raw_typeset(compress_expression(galmap["plane_model"])+'=0', r'$\displaystyle '+belyi_latex(galmap["plane_model"])+'=0$', extra=curve_ref)
+            data["plane_model"] = raw_typeset(galmap["plane_model"]+'=0', r'$\displaystyle '+compress_expression(belyi_latex(galmap["plane_model"]))+'=0$', extra=curve_ref)
 
         if galmap.get('plane_map_constant_factored'):
             data['plane_map_constant_factored'] = galmap['plane_map_constant_factored']

lmfdb/galois_groups/main.py

@@ -332,6 +332,7 @@ def render_group_webpage(args):
         if data['nilpotency'] == '$-1$':
             data['nilpotency'] = ' not nilpotent'
         data['dispv'] = sparse_cyclotomic_to_mathml
+        data['malle_a'] = wgg.malle_a
         downloads = []
         for lang in [("Magma", "magma"), ("Oscar", "oscar"), ("SageMath", "sage")]:
             downloads.append(('Code to {}'.format(lang[0]), url_for(".gg_code", label=label, download_type=lang[1])))

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

@@ -70,14 +70,15 @@
 
       {% if info.cclasses is defined %}
    <table class="ntdata">
-      <thead><tr><td>Label</td><td>Cycle Type</td><td>Size</td><td>Order</td><td>Representative</td></tr></thead>
+      <thead><tr><td>Label</td><td>Cycle Type</td><td>Size</td><td>Order</td><td>{{KNOWL('gg.index', 'Index')}}</td><td>Representative</td></tr></thead>
       <tbody>
         {% for c in info.cclasses %}
            <tr>
               <td> {{c[4]}}</td>
               <td> ${{c[3]}}$</td>
               <td> ${{c[2]}}$</td>
               <td> ${{c[1]}}$</td>
+              <td> ${{c[5]}}$</td>
               <td> ${{c[0]}}$</td>
            </tr>
         {% endfor %}
@@ -88,7 +89,13 @@
       {% endif %}
    </p>
    <p>{{ place_code('ccs') }}</p>
-
+   <p>
+   {{KNOWL('gg.malle_a', "Malle's constant $a(G)$")}}: &nbsp; &nbsp; 
+   {% if info.malle_a is not none %}
+   ${{info.malle_a}}$
+   {% else %}
+   not computed
+   {% endif %}
 
 
 

lmfdb/galois_groups/transitive_group.py

@@ -3,7 +3,7 @@
 
 from lmfdb import db
 
-from sage.all import ZZ, gap, cached_function, lazy_attribute, Permutations
+from sage.all import ZZ, gap, cached_function, lazy_attribute, Permutations, QQ
 import os
 import yaml
 from flask import render_template
@@ -195,7 +195,7 @@ def conjclasses(self):
         self.conjugacy_classes = wag.conjugacy_classes
         if int(n) == 1:
             self.conjugacy_classes[0].force_repr('()')
-            return [['()', 1, 1, '1', '1A']]
+            return [['()', 1, 1, '1', '1A',0]]
         elif self.have_isomorphism():
             isom = self.getisom
             cc = [z.representative for z in self.conjugacy_classes]
@@ -214,10 +214,23 @@ def conjclasses(self):
             cc2 = [gap(f"CycleLengths({x}, [1..{n}])") for x in cc]
             for j in range(len(self.conjugacy_classes)):
                 self.conjugacy_classes[j].force_repr(' ')
+        inds = [n-len(z) for z in cc2]
         cc2 = [compress_cycle_type(z) for z in cc2]
-        ans = [[cc[j], cc[j].Order(), ccn[j], cc2[j],cclabels[j]] for j in range(len(cc))]
+        ans = [[cc[j], cc[j].Order(), ccn[j], cc2[j],cclabels[j],inds[j]] for j in range(len(cc))]
         return ans
 
+    @lazy_attribute
+    def malle_a(self):
+        ccs = self.conjclasses
+        inds = [z[5] for z in ccs]
+        if len(inds)==1:
+            return 0
+        if len(inds)==0:
+            return None
+        inds = [z for z in inds if z>0]
+
+        return QQ(f"1/{min(inds)}")
+
     @lazy_attribute
     def can_chartable(self):
         if not db.gps_groups.lookup(self.abstract_label()):

lmfdb/templates/management.html

@@ -12,17 +12,23 @@ <h3> Managing Editors</h3>
 <h3> Associate Editors</h3>
 
 <ul>
+<li>Eran Assaf, Dartmouth College / MIT, USA</li>
 <li>Michael Bennett, University of British Columbia, Canada</li>
 <li>Andrew Booker, University of Bristol, UK</li>
 <li>Alina Bucur, University of California - San Diego, USA</li>
 <li>Edgar Costa, MIT, USA</li>
 <li>John Cremona, University of Warwick, UK</li>
 <li>David Farmer, American Institute of Mathematics, USA</li>
+<li>Everett Howe, USA</li>
 <li>Kiran Kedlaya, University of California - San Diego, USA</li>
+<li>&Aacute;lvaro Lozano-Robledo, University of Connecticut, USA</li>
+<li>C&eacute;line Maistret, University of Bristol, UK</li>
+<li>Nicolas Mascot, Trinity College Dublin, Ireland</li>
 <li>Pascal Molin, Université Paris Cité, France </li>
 <li>Aurel Page, INRIA / Institut de Mathématiques de Bordeaux, France </li>
 <li>David Roberts, University of Minnesota, Morris, USA</li>
 <li>David Roe, MIT, USA</li>
+<li>Jeroen Sijsling, Universit&auml;t Ulm, Germany</li>
 </ul>
 
 {% endblock %}