Skip to content

Commit

Permalink
Latex values shown on group page
Browse files Browse the repository at this point in the history
  • Loading branch information
jwj61 committed Dec 9, 2023
1 parent 65ecfd3 commit a99b036
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 10 deletions.
23 changes: 15 additions & 8 deletions lmfdb/groups/abstract/templates/abstract-show-group.html
Original file line number Diff line number Diff line change
Expand Up @@ -151,26 +151,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>
Expand Down Expand Up @@ -309,8 +316,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 %}
Expand Down
4 changes: 2 additions & 2 deletions lmfdb/groups/abstract/web_groups.py
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a99b036

Please sign in to comment.