From a99b036190ac66ceb3b194599165de337bd4e4ac Mon Sep 17 00:00:00 2001 From: John Jones Date: Sat, 9 Dec 2023 17:55:48 -0500 Subject: [PATCH 1/2] Latex values shown on group page --- .../templates/abstract-show-group.html | 23 ++++++++++++------- lmfdb/groups/abstract/web_groups.py | 4 ++-- 2 files changed, 17 insertions(+), 10 deletions(-) diff --git a/lmfdb/groups/abstract/templates/abstract-show-group.html b/lmfdb/groups/abstract/templates/abstract-show-group.html index 6aa1a9440e..55f9dfa5a3 100644 --- a/lmfdb/groups/abstract/templates/abstract-show-group.html +++ b/lmfdb/groups/abstract/templates/abstract-show-group.html @@ -151,18 +151,25 @@

Minimal Presentations

- {% if gp.irrC_degree == None %} {% elif gp.irrC_degree == -1 %} - {% else %} {% endif %} + {% if gp.irrC_degree == None %} + + {% elif gp.irrC_degree == -1 %} + + {% else %} + + {% endif %} {% if gp.irrQ_degree == None %} - + {% elif gp.irrQ_degree == -1 %} {% else %} - {% endif %} + {% endif %} {% if gp.rank %} - + {% else %} {% endif %} @@ -170,7 +177,7 @@

Minimal Presentations

{% if gp.eulerian_function != None %} - + {% else %} {% endif %}
{{KNOWL('group.permutation_degree', 'Permutation degree')}}:{{gp.perm_degree()|safe}}
{{KNOWL('group.transitive_degree', 'Transitive degree')}}:{{gp.trans_degree()|safe}}
{{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:not computed
{{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:no faithful irreducible representations
{{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:{{gp.irrC_degree}}
{{KNOWL('group.min_complex_irrep_deg','Minimal degree + of $\mathbb{C}$-irrep')}}:not computed
{{KNOWL('group.min_complex_irrep_deg','Minimal degree + of $\mathbb{C}$-irrep')}}:no faithful irreducible representations
{{KNOWL('group.min_complex_irrep_deg','Minimal degree of $\mathbb{C}$-irrep')}}:${{gp.irrC_degree}}$
{{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:not computed
{{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:not computed
{{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:no faithful irreducible rational representations
{{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:{{gp.irrQ_degree}}
{{KNOWL('group.min_rational_irrep_deg','Minimal degree of $\mathbb{Q}$-irrep')}}:${{gp.irrQ_degree}}$
{{KNOWL('group.rank', 'Rank')}}:{{gp.rank}}${{gp.rank}}$not computed
{{KNOWL('group.generators', 'Inequivalent ' + gp.gen_noun())}}:{{gp.eulerian_function}}${{gp.eulerian_function}}$not computed
@@ -309,8 +316,8 @@

Homology

{{KNOWL('group.commutator_length', 'Commutator length')}}: {% if gp.commutator_count %} - {{gp.commutator_count}} - {% elif gp.abelian %} 0 + ${{gp.commutator_count}}$ + {% elif gp.abelian %} $0$ {% else %} not computed {% endif %} {% endif %} diff --git a/lmfdb/groups/abstract/web_groups.py b/lmfdb/groups/abstract/web_groups.py index c6b693d904..512e3ba0f3 100644 --- a/lmfdb/groups/abstract/web_groups.py +++ b/lmfdb/groups/abstract/web_groups.py @@ -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 From f39405cc067ca6ed00e667fe6693eaaf6f9ecb0d Mon Sep 17 00:00:00 2001 From: John Jones Date: Mon, 11 Dec 2023 17:36:01 -0500 Subject: [PATCH 2/2] More latex --- lmfdb/abvar/fq/templates/show-abvarfq.html | 2 +- lmfdb/groups/abstract/web_groups.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lmfdb/abvar/fq/templates/show-abvarfq.html b/lmfdb/abvar/fq/templates/show-abvarfq.html index 75130475d9..ac15e8ada0 100644 --- a/lmfdb/abvar/fq/templates/show-abvarfq.html +++ b/lmfdb/abvar/fq/templates/show-abvarfq.html @@ -26,7 +26,7 @@

Invariants

{{KNOWL('av.fq.galois_group',title='Galois group')}}:  {{cl.display_galois_group()|safe}} {% endif %} {% if cl.jacobian_count is not none %} - {{KNOWL('av.fq.jacobian',title='Jacobians')}}:  {{cl.jacobian_count}} + {{KNOWL('av.fq.jacobian',title='Jacobians')}}:  ${{cl.jacobian_count}}$ {% endif %} {% if cl.size is not none %} {{KNOWL('av.fq.isogeny_class_size',title='Isomorphism classes')}}:  {{cl.size}} diff --git a/lmfdb/groups/abstract/web_groups.py b/lmfdb/groups/abstract/web_groups.py index 512e3ba0f3..fa6b640851 100644 --- 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'{display_knowl("group.permutation_gens", "Permutation group")}:{gens}' else: # Matrix group