Merge pull request #6447 from LMFDB/main

main -> dev

Author: jwj61

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

@@ -118,7 +118,6 @@ <h2>{{KNOWL('group.complex_character_table', 'Character table')}}</h2>
 
   <p>{{place_code('char_table')}}</p>
 
-
 {% if info.int_reps %}
 <h2>{{ KNOWL('gg.int_modules', title='Indecomposable integral representations') }}</h2>
 <table>
@@ -165,4 +164,20 @@ <h2>{{ KNOWL('gg.int_modules', title='Indecomposable integral representations')
   {% endif %}
 {% endif %}
 
+<h2>{{ KNOWL('gg.regular_extension', title='Regular extensions') }}</h2>
+      {% if not info.wgg.regulars %}
+        <p>Data not computed</p>
+      {% else %}
+      <p>
+        <table>
+        {% for model in info.wgg.regulars %}
+          <tr><td style="vertical-align: top">$f_{ {{ loop.index }} } =$</td>
+              <td> {{ model[0]|safe }}</td></tr>
+          <tr><td></td><td> {{ model[1]|safe }}</td></tr>
+        {% endfor %}
+        </table>
+      </p>
+      {% endif %}
+
+
 {% endblock %}

lmfdb/galois_groups/transitive_group.py

@@ -8,7 +8,7 @@
 import yaml
 from flask import render_template
 
-from lmfdb.utils import list_to_latex_matrix, integer_divisors, sparse_cyclotomic_to_mathml
+from lmfdb.utils import list_to_latex_matrix, integer_divisors, sparse_cyclotomic_to_mathml, raw_typeset, display_knowl
 from lmfdb.groups.abstract.main import abstract_group_namecache, abstract_group_display_knowl
 from lmfdb.groups.abstract.web_groups import WebAbstractGroup
 
@@ -74,6 +74,16 @@ def cyclestrings(perm):
 def compress_cycle_type(ct):
     bits = [(str(z), f'^{{{c}}}' if c > 1 else '' ) for z, c in sorted(Counter(ct).items(),reverse=True)]
     return ','.join(z + e for z,e in bits)
+
+def quick_latex(s):
+    str = s.replace('*',' ')
+    str = str.replace('(',r'\left(')
+    str = str.replace(')',r'\right)')
+    # multidigit exponents
+    str = re.sub(r'\^\s*(\d+)', r'^{\1}',str)
+    return '$'+str+'$'
+
+
 ############  Galois group object
 
 
@@ -248,6 +258,28 @@ def can_chartable(self):
             return False
         return self.wag.complex_characters_known
 
+    @lazy_attribute
+    def regulars(self):
+        t = list(db.gps_regular_polynomials.search({'label':self.label})) # it will be a short list
+        if t:
+            genknowl = display_knowl("gg.generic_polynomial", "generic")
+
+            def msg(code):
+                if code is None:
+                    return ''
+                if code == []:
+                    return f' is {genknowl} for any base field $K$'
+                if code == [0]:
+                    return fr' is {genknowl} for the base field $\Q$'
+                code = ','.join(str(z) for z in code)
+                return fr' is {genknowl} for any base field $K$ of characteristic $\neq$ {code}'
+
+            regdata = [(raw_typeset(z['polynomial'], quick_latex(z['polynomial'])), msg(z.get('generic'))) for z in t]
+            for j, (poly, msg) in enumerate(regdata):
+                if msg:
+                    regdata[j] = (poly, f'The polynomial $f_{{{j+1}}}$ {msg}')
+            return regdata
+
     def chartable(self):
         self.conjclasses # called to load info in self
         return render_template("character-table.html", gp=self,

lmfdb/siegel_modular_forms/__init__.py

@@ -12,7 +12,8 @@
 def body_class():
     return {'body_class': 'smf'}
 
+
 from . import siegel_modular_form
-assert siegel_modular_form #silence pyflakes
+assert siegel_modular_form  # silence pyflakes
 
 app.register_blueprint(smf_page, url_prefix='/ModularForm/GSp/Q')

lmfdb/siegel_modular_forms/family.py

@@ -10,9 +10,11 @@
 import inspect
 from .sample import Samples
 
+
 def get_smf_families():
     return [SiegelFamily(doc['name'], doc) for doc in db.smf_families.search({})]
 
+
 def get_smf_family(name):
     try:
         return SiegelFamily(name)
@@ -27,7 +29,7 @@ class SiegelFamily (SageObject):
 
     def __init__(self, name, doc=None):
         if doc is None:
-            doc = db.smf_families.lucky({ 'name': name })
+            doc = db.smf_families.lucky({'name': name})
             if not doc:
                 raise ValueError('Siegel modular form family "%s" not found in database' % (name))
         self.name = name
@@ -40,13 +42,13 @@ def __init__(self, name, doc=None):
         self.degree = doc.get('degree')
         self.dim_args_default = doc.get('dim_args_default')
         module = importlib.import_module('lmfdb.siegel_modular_forms.dimensions')
-        self.__dimension = module.__dict__.get('dimension_'+name)
+        self.__dimension = module.__dict__.get('dimension_' + name)
         if self.__dimension:
             args = inspect.getfullargspec(self.__dimension).args
             self.__dimension_glossary = self.__dimension.__doc__
-            self.__dimension_desc = { 'name': name,
-                                      'args': args
-                                    }
+            self.__dimension_desc = {'name': name,
+                                     'args': args
+                                     }
         else:
             self.__dimension_desc = None
             self.__dimension_glossary = None

lmfdb/siegel_modular_forms/family_data.py

@@ -11,49 +11,49 @@
 {
     "name": "Gamma0_3",
     "degree": 2,
-    "dim_args_default": { "k": "0..20" },
+    "dim_args_default": {"k": "0..20"},
     "latex_name": "M_k\\left(\\Gamma_0(3)\\right)",
     "order": 80
 },
 {
     "name": "Gamma0_3_psi_3",
     "degree": 2,
-    "dim_args_default": { "k": "0..20" },
+    "dim_args_default": {"k": "0..20"},
     "latex_name": "M_k\\left(\\Gamma_0(3),\\psi_3\\right)",
     "order": 90
 },
 {
     "name": "Gamma0_4_half",
     "degree": 2,
-    "dim_args_default": { "k": "1..20" },
+    "dim_args_default": {"k": "1..20"},
     "latex_name": "M_{k-1/2}\\left(\\Gamma_0(4)\\right)",
     "order": 108
 },
 {
     "name": "Gamma0_4",
     "degree": 2,
-    "dim_args_default": { "k": "0..20" },
+    "dim_args_default": {"k": "0..20"},
     "latex_name": "M_k\\left(\\Gamma_0(4)\\right)",
     "order": 100
 },
 {
     "name": "Gamma0_4_psi_4",
     "degree": 2,
-    "dim_args_default": { "k": "0..40" },
+    "dim_args_default": {"k": "0..40"},
     "latex_name": "M_k\\left(\\Gamma_0(4),\\psi_4\\right)",
     "order": 105
 },
 {
     "name": "Gamma1_2",
     "degree": 2,
-    "dim_args_default": { "k": "4..10", "j": "2" },
+    "dim_args_default": {"k": "4..10", "j": "2"},
     "latex_name": "M_{k,j}\\left(\\Gamma_1(2)\\right)",
     "order": 60
 },
 {
     "name": "Gamma_2",
     "degree": 2,
-    "dim_args_default": { "k": "4..10", "j": "2" },
+    "dim_args_default": {"k": "4..10", "j": "2"},
     "latex_name": "M_{k,j}\\left(\\Gamma(2)\\right)",
     "order": 70
 },
@@ -66,35 +66,35 @@
 {
     "name": "Sp4Z_2",
     "degree": 2,
-    "dim_args_default": { "k": "4..24" },
+    "dim_args_default": {"k": "4..24"},
     "latex_name": "M_{k,2}\\left(\\textrm{Sp}(4,\\mathbb{Z})\\right)",
     "order": 30
 },
 {
     "name": "Sp4Z_j",
     "degree": 2,
-    "dim_args_default": { "k": "4..24", "j": "4" },
+    "dim_args_default": {"k": "4..24", "j": "4"},
     "latex_name": "M_{k,j}\\left(\\textrm{Sp}(4,\\mathbb{Z})\\right)",
     "order": 40
 },
 {
     "name": "Sp4Z",
     "degree": 2,
-    "dim_args_default": { "k": "0..20" },
+    "dim_args_default": {"k": "0..20"},
     "latex_name": "M_k\\left({\\textrm{Sp}}(4,\\mathbb{Z})\\right)",
     "order": 10
 },
 {
     "name": "Sp6Z",
     "degree": 3,
-    "dim_args_default": { "k": "0..20" },
+    "dim_args_default": {"k": "0..20"},
     "latex_name": "M_{k}\\left(\\textrm{Sp}(6,\\mathbb{Z})\\right)",
     "order": 130
 },
 {
     "name": "Sp8Z",
     "degree": 4,
-    "dim_args_default": { "k": "0..16" },
+    "dim_args_default": {"k": "0..16"},
     "latex_name": "M_k\\left(\\textrm{Sp}(8,\\mathbb{Z})\\right)",
     "order": 140
 },