Merge pull request #6199 from jwj61/lessmalle

Lessmalle
LMFDB · Oct 12, 2024 · ef75ac9 · ef75ac9
2 parents 65ea15b + 0d4661c
commit ef75ac9
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 7 deletions.
diff --git a/lmfdb/galois_groups/templates/gg-show-group.html b/lmfdb/galois_groups/templates/gg-show-group.html
@@ -84,18 +84,20 @@
         {% endfor %}
       </tbody>
       </table>
-      {% else %}
-        {{ info.cclass_knowl | safe }}
-      {% 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}}$
+   ${{info.malle_a}}$ 
    {% else %}
    not computed
    {% endif %}
+      {% elif cclasses not in info %}
+        Conjugacy classes not computed
+      {% else %}
+        {{ info.cclass_knowl | safe }}
+      {% endif %}
+   </p>
+   <p>{{ place_code('ccs') }}</p>
 
 
 

diff --git a/lmfdb/galois_groups/transitive_group.py b/lmfdb/galois_groups/transitive_group.py
@@ -12,6 +12,8 @@
 from lmfdb.groups.abstract.main import abstract_group_namecache, abstract_group_display_knowl
 from lmfdb.groups.abstract.web_groups import WebAbstractGroup
 
+CC_LIMIT = 160
+
 def knowl_cache(galois_labels=None, results=None):
     """
     Returns a dictionary for use in abstract_group_display_knowl, group_display and
@@ -190,6 +192,8 @@ def characters(self):
 
     @lazy_attribute
     def conjclasses(self):
+        if self.num_conjclasses()>CC_LIMIT:
+            return None
         g = self.gapgroupnt()
         n = self.n()
         wag = self.wag
@@ -222,6 +226,8 @@ def conjclasses(self):
     @lazy_attribute
     def malle_a(self):
         ccs = self.conjclasses
+        if not ccs:
+            return None
         inds = [z[5] for z in ccs]
         if len(inds) == 1:
             return 0
@@ -233,6 +239,8 @@ def malle_a(self):
 
     @lazy_attribute
     def can_chartable(self):
+        if self.num_conjclasses() > CC_LIMIT:
+            return False
         if not db.gps_groups.lookup(self.abstract_label()):
             return False
         return self.wag.complex_characters_known
@@ -477,6 +485,12 @@ def group_cclasses_knowl_guts(n, t):
     rest += '<blockquote>'
     rest += cclasses(n, t)
     rest += '</blockquote></div>'
+    rest += "<p><a title='Malle's constant $a(G)$' knowl='gg.malle_a'>'Malle's constant $a(G)$</a>: &nbsp; &nbsp;"
+    wgg = WebGaloisGroup(label)
+    if wgg.malle_a:
+        rest += '$%s$'%str(wgg.malle_a)
+    else:
+        rest += 'not computed'
     return rest
 
 
@@ -566,7 +580,7 @@ def resolve_display(resolves):
         if deg != old_deg:
             if old_deg < 0:
                 ans += '<table><tr><th>'
-                ans += '|G/N|<th>Galois groups for <a title = "stem field(s)" knowl="nf.stem_field">stem field(s)</a>'
+                ans += r'$\card{(G/N)}$<th>Galois groups for <a title = "stem field(s)" knowl="nf.stem_field">stem field(s)</a>'
             else:
                 ans += '</td></tr>'
             old_deg = deg
@@ -606,6 +620,8 @@ def cclasses(n, t):
             <tbody>
          """
     cc = group.conjclasses
+    if not cc:
+        return None
     for c in cc:
         html += f'<tr><td>${c[3]}$</td>'
         html += f'<td>${c[2]}$</td>'