Merge pull request #6958 from LMFDB/main

main->dev

Author: roed314

lmfdb/api/api.py

@@ -316,6 +316,8 @@ def apierror(msg, flash_extras=[], code=404, table=True):
     next_req = dict(request.args)
     next_req["_offset"] = offset
     url_args = next_req.copy()
+    # Remove _format so that we don't specify that keyword twice
+    url_args.pop("_format", None)
     query = url_for(".api_query", table=table, **next_req)
     offset += len(data)
     next_req["_offset"] = offset

lmfdb/characters/web_character.py

@@ -1133,7 +1133,7 @@ def friends(self):
 
     @lazy_attribute
     def contents(self):
-        logger.warning("[DC] getting content from WebDBDirichletOrbit")
+        logger.info("[DC] getting content from WebDBDirichletOrbit")
         if self._contents is None:
             self._contents = []
             self._fill_contents()

lmfdb/galois_groups/code.yaml

@@ -2,11 +2,13 @@ prompt:
   magma: 'magma'
   sage:  'sage'
   oscar: 'oscar'
+  gap:   'gap'
 
 logo:
   magma: <img src = "https://i.stack.imgur.com/0468s.png" width="50px">
   sage: <img src ="https://www.sagemath.org/pix/sage_logo_new.png" width = "50px">
   oscar: <img src = "https://oscar-system.github.io/Oscar.jl/stable/assets/logo.png" width="50px">
+  gap: <img src = "https://gap.math.u-bordeaux.fr/logo/Logo%20Couleurs/Logo_GAP-GP_Couleurs_L150px.png" width="50px">
 
 comment:
   sage: |
@@ -15,6 +17,8 @@ comment:
     //
   oscar: |
     #
+  gap: |
+    #
 
 not-implemented:
   sage: |
@@ -23,6 +27,9 @@ not-implemented:
     // (not yet implemented)
   oscar: |
     # (not yet implemented)
+  gap: |
+    # (not yet implemented)
+
 
 frontmatter:
   all: |
@@ -33,89 +40,105 @@ gg:
   magma: G := TransitiveGroup({n}, {t});
   sage: G = TransitiveGroup({n}, {t})  
   oscar: G = transitive_group({n}, {t})
+  gap: G := TransitiveGroup({n}, {t});
 
 n:
   comment: Degree
   magma: t, n := TransitiveGroupIdentification(G); n;
   sage: G.degree()
   oscar: degree(G)
+  gap: NrMovedPoints(G);
 
 t:
   comment: Transitive number
   magma: t, n := TransitiveGroupIdentification(G); t;
   sage: G.transitive_number()
   oscar: transitive_group_identification(G)[2]
+  gap: TransitiveIdentification(G);
 
 primitive:
   comment: Determine if group is primitive
   magma: IsPrimitive(G);
   sage: G.is_primitive()
   oscar: is_primitive(G)
+  gap: IsPrimitive(G);
 
 even:
   comment: Parity
   magma: IsEven(G);
   sage: all(g.SignPerm() == 1 for g in libgap(G).GeneratorsOfGroup())
   oscar: is_even(G)
+  gap: ForAll(GeneratorsOfGroup(G), g -> SignPerm(g) = 1);
 
 nilpotent:
   comment: Nilpotency class
   magma: NilpotencyClass(G);
   sage: libgap(G).NilpotencyClassOfGroup() if G.is_nilpotent() else -1
   oscar: if is_nilpotent(G) nilpotency_class(G) end
+  gap: if IsNilpotentGroup(G) then NilpotencyClassOfGroup(G); fi;
 
 auts:
   comment: Order of the centralizer of G in S_n
   magma: Order(Centralizer(SymmetricGroup(n), G));
   sage: SymmetricGroup({n}).centralizer(G).order()
   oscar: order(centralizer(symmetric_group({n}), G)[1])
+  gap: Order(Centralizer(SymmetricGroup({n}), G));
 
 gens:
   comment: Generators
   magma: Generators(G);
   sage: G.gens()
   oscar: gens(G)
+  gap: GeneratorsOfGroup(G);
 
 ccs:
   comment: Conjugacy classes
   magma: ConjugacyClasses(G);
   sage: G.conjugacy_classes()
   oscar: conjugacy_classes(G)
+  gap: ConjugacyClasses(G);
 
 order:
   comment: Order
   magma: Order(G);
   sage: G.order()
   oscar: order(G)
+  gap: Order(G);
 
 cyclic:
   comment: Determine if group is cyclic
   magma: IsCyclic(G);
   sage: G.is_cyclic()
   oscar: is_cyclic(G)
+  gap: IsCyclic(G);
 
 abelian:
   comment: Determine if group is abelian
   magma: IsAbelian(G);
   sage: G.is_abelian()
   oscar: is_abelian(G)
+  gap: IsAbelian(G);
 
 solvable:
   comment: Determine if group is solvable
   magma: IsSolvable(G);
   sage: G.is_solvable()
   oscar: is_solvable(G)
+  gap: IsSolvable(G);
 
 id:
   comment: Abstract group ID
   magma: IdentifyGroup(G);
   sage: G.id()
+  oscar: small_group_identification(G)
+  gap: IdGroup(G);
 
 char_table:
   comment: Character table
   magma: CharacterTable(G);
   sage: G.character_table()
   oscar: character_table(G)
+  gap: CharacterTable(G);
 
 
 # specify which code snippets to test

lmfdb/galois_groups/main.py

@@ -143,6 +143,7 @@ def make_order_key(order):
     CheckCol("solv", "group.solvable", "Solvable"),
     MathCol("nilpotency", "group.nilpotent", "Nil. class", short_title="nilpotency class", default=False),
     MathCol("auts", "gg.field_automorphisms", r"$\#\Aut(F/K)$", short_title="field auts"),
+    MathCol("transitivity", "gg.transitivity", "Transitivity", short_title="transitivity",default=lambda info: info.get("transitivity")),
     MathCol("num_conj_classes", "gg.conjugacy_classes", "Conj. classes", short_title="conjugacy classes", default=False),
     MultiProcessedCol("subfields", "gg.subfields", "Subfields",
                       ["subfields", "cache"],
@@ -154,7 +155,7 @@ def make_order_key(order):
                       apply_download=lambda s, b, c: [s, b])
 ],
 
-    db_cols=["bound_siblings", "abstract_label", "label", "name", "n", "order", "parity", "pretty", "siblings", "solv", "subfields", "nilpotency", "num_conj_classes", "auts"])
+    db_cols=["bound_siblings", "abstract_label", "label", "name", "n", "order", "parity", "pretty", "siblings", "solv", "subfields", "nilpotency", "num_conj_classes", "auts", "transitivity"])
 #gg_columns.below_download = r"<p>Results are complete for degrees $\leq 23$.</p>"
 
 def gg_postprocess(res, info, query):
@@ -228,6 +229,7 @@ def galois_group_search(info, query):
     parse_ints(info,query,'order')
     parse_ints(info,query,'arith_equiv')
     parse_ints(info,query,'nilpotency')
+    parse_ints(info,query,'transitivity')
     parse_ints(info,query,'auts')
     parse_galgrp(info, query, qfield=['label','n'], name='Galois group', field='gal')
     for param in ('cyc', 'solv', 'prim'):
@@ -335,6 +337,7 @@ def render_group_webpage(args):
             ('Cyclic', yesno(data['cyc'])),
             ('Abelian', yesno(data['ab'])),
             ('Solvable', yesno(data['solv'])),
+            ('Transitivity', prop_int_pretty(data['transitivity'])),
             ('Primitive', yesno(data['prim'])),
             ('$p$-group', yesno(pgroup)),
         ]
@@ -353,7 +356,7 @@ def render_group_webpage(args):
         data['dispv'] = sparse_cyclotomic_to_mathml
         data['malle_a'] = wgg.malle_a
         downloads = []
-        for lang in [("Magma", "magma"), ("Oscar", "oscar"), ("SageMath", "sage")]:
+        for lang in [("Gap", "gap"), ("Magma", "magma"), ("Oscar", "oscar"), ("SageMath", "sage")]:
             downloads.append(('{} commands'.format(lang[0]), url_for(".gg_code_download", label=label, download_type=lang[1])))
         downloads.append(('Underlying data', url_for(".gg_data", label=label)))
         # split the label so that breadcrumbs point to a search for this object's degree
@@ -507,6 +510,12 @@ def __init__(self):
             knowl="gg.tnumber",
             example="3",
             example_span="3 or 4,6 or 2..5 or 4,6..8")
+        transitivity = TextBox(
+            name="transitivity",
+            label="Transitivity",
+            knowl="gg.transitivity",
+            example="2",
+            example_span="2 or 4,6 or 2..5 or 4,6..8")
         order = TextBox(
             name="order",
             label="Order",
@@ -543,9 +552,9 @@ def __init__(self):
             example_span="1 or 2,3 or 1..5 or 1,3..10")
         count = CountBox()
 
-        self.browse_array = [[n, parity], [t, cyc], [order, solv], [nilpotency, prim], [arith_equiv, aut], [gal], [count]]
+        self.browse_array = [[n, parity], [t, cyc], [order, solv], [nilpotency, prim], [arith_equiv, aut], [gal], [count, transitivity]]
 
-        self.refine_array = [[parity, cyc, solv, prim, arith_equiv], [n, t, order, gal, nilpotency], [aut]]
+        self.refine_array = [[parity, cyc, solv, prim, arith_equiv], [n, t, order, gal, nilpotency], [aut, transitivity]]
 
 def yesone(s):
     return "yes" if s in ["yes", 1] else "no"

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

@@ -46,6 +46,7 @@ <h2>{{ KNOWL('gg.group_action_invariants', title='Group action invariants') }}</
       {% endif %}
       <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.transitivity', 'Transitivity')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.transitivity}}</td>
       <tr><td>{{KNOWL('gg.primitive', 'Primitive')}}:</td><td>&nbsp;&nbsp;</td><td>{{info.yesno(info.prim)}}</td>
       <td>{{ place_code('primitive') }}</td></tr>
       <tr><td class="nowrap">{{KNOWL('gg.field_automorphisms', '$\card{\Aut(F/K)}$')}}:</td><td>&nbsp;&nbsp;</td><td>${{info.auts}}$</td>