Merge pull request #5774 from jwj61/relatex

Latex values shown on group page
LMFDB · Dec 12, 2023 · a05c6d2 · a05c6d2
2 parents 9b8aaa8 + f39405c
commit a05c6d2
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 12 deletions.
diff --git a/lmfdb/abvar/fq/templates/show-abvarfq.html b/lmfdb/abvar/fq/templates/show-abvarfq.html
@@ -26,7 +26,7 @@ <h2>Invariants</h2>
     <tr><td>{{KNOWL('av.fq.galois_group',title='Galois group')}}:</td><td>&nbsp;&nbsp;{{cl.display_galois_group()|safe}}</td></tr>
     {% endif %}
     {% if cl.jacobian_count is not none %}
-    <tr><td>{{KNOWL('av.fq.jacobian',title='Jacobians')}}:</td><td>&nbsp;&nbsp;{{cl.jacobian_count}}</td></tr>
+    <tr><td>{{KNOWL('av.fq.jacobian',title='Jacobians')}}:</td><td>&nbsp;&nbsp;${{cl.jacobian_count}}$</td></tr>
     {% endif %}
     {% if cl.size is not none %}
     <tr><td>{{KNOWL('av.fq.isogeny_class_size',title='Isomorphism classes')}}:</td><td>&nbsp;&nbsp;{{cl.size}}</td></tr>

diff --git a/lmfdb/groups/abstract/templates/abstract-show-group.html b/lmfdb/groups/abstract/templates/abstract-show-group.html
@@ -153,26 +153,33 @@ <h3>Minimal Presentations</h3>
   <table>
     <tr><td>{{KNOWL('group.permutation_degree', 'Permutation degree')}}:</td><td>{{gp.perm_degree()|safe}}</td></tr>
     <tr><td>{{KNOWL('group.transitive_degree', 'Transitive degree')}}:</td><td>{{gp.trans_degree()|safe}}</td></tr>
-    {% if gp.irrC_degree == None %} <tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:</td><td>not computed</td></tr> {% elif gp.irrC_degree == -1 %}
-    <tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:</td><td>no faithful irreducible representations</td></tr>  {% else %}<tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:</td><td>{{gp.irrC_degree}}</td></tr> {% endif %}
+    {% if gp.irrC_degree == None %}
+	  <tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree
+		  of $\mathbb{C}$-irrep')}}:</td><td>not computed</td></tr> 
+    {% elif gp.irrC_degree == -1 %}
+      <tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree
+		  of $\mathbb{C}$-irrep')}}:</td><td>no faithful irreducible representations</td></tr>
+	 {% else %}
+	  <tr><td>  {{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:</td><td>${{gp.irrC_degree}}$</td></tr>
+	{% endif %}
     {% if gp.irrQ_degree == None %}
-<tr><td>  {{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:</td><td>not computed</td></tr>
+        <tr><td>  {{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:</td><td>not computed</td></tr>
     {% elif gp.irrQ_degree == -1 %}
 <tr><td>  {{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:</td><td>no faithful irreducible rational representations</td></tr>
     {% else %}
-    <tr><td>  {{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:</td><td>{{gp.irrQ_degree}}</td></tr> {% endif %}
+    <tr><td>  {{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:</td><td>${{gp.irrQ_degree}}$</td></tr> {% endif %}
   <tr>
     <td>{{KNOWL('group.rank', 'Rank')}}:</td>
     {% if gp.rank %}
-      <td>{{gp.rank}}</td>
+      <td>${{gp.rank}}$</td>
     {% else %}
       <td>not computed</td>
     {% endif %}
   </tr>
   <tr>
     <td>{{KNOWL('group.generators', 'Inequivalent ' + gp.gen_noun())}}:</td>
   {% if gp.eulerian_function != None %}
-    <td>{{gp.eulerian_function}}</td>
+    <td>${{gp.eulerian_function}}$</td>
     {% else %} <td>not computed</td> {% endif %}
   </tr>
 </table>
@@ -311,8 +318,8 @@ <h2> Homology </h2>
   <tr>
     <td>{{KNOWL('group.commutator_length', 'Commutator length')}}:</td>
      {% if gp.commutator_count %}
-      <td>{{gp.commutator_count}}</td>
-    {% elif gp.abelian %} <td>0</td>
+      <td>${{gp.commutator_count}}$</td>
+    {% elif gp.abelian %} <td>$0$</td>
     {% else %} <td>not computed</td> {% endif %}
   </tr>
   {% endif %}

diff --git a/lmfdb/groups/abstract/web_groups.py b/lmfdb/groups/abstract/web_groups.py
@@ -1863,7 +1863,7 @@ def representation_line(self, rep_type,inc_matrix):
             gens = fr"$\langle {gens} \rangle$"
             d = rdata["d"]
             if d >= 10:
-                gens = f"Degree {d}, {gens}"
+                gens = f"Degree ${d}$, {gens}"
             return f'<tr><td>{display_knowl("group.permutation_gens", "Permutation group")}:</td><td colspan="5">{gens}</td></tr>'
         else:
             # Matrix group
@@ -1955,13 +1955,13 @@ def perm_degree(self):
         if self.permutation_degree is None:
             return r"not computed"
         else:
-            return self.permutation_degree
+            return f"${self.permutation_degree}$"
 
     def trans_degree(self):
         if self.transitive_degree is None:
             return r"not computed"
         else:
-            return self.transitive_degree
+            return f"${self.transitive_degree}$"
 
     def live_composition_factors(self):
         from .main import url_for_label