From 90e93de23caffe09d64818dfe55dc0ffe53790b2 Mon Sep 17 00:00:00 2001 From: John Jones Date: Tue, 11 Jul 2023 11:23:06 -0400 Subject: [PATCH] Say things are not identified --- lmfdb/groups/abstract/main.py | 8 ++++---- lmfdb/groups/abstract/web_groups.py | 6 +++--- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/lmfdb/groups/abstract/main.py b/lmfdb/groups/abstract/main.py index 6588e9e8fd..2f8c834797 100644 --- a/lmfdb/groups/abstract/main.py +++ b/lmfdb/groups/abstract/main.py @@ -2383,12 +2383,12 @@ def group_data(label, ambient=None, aut=False, profiledata=None): profiledata[0] = None tex_name = profiledata[2] if tex_name is None: - ans = "Unknown group
" + ans = "Unidentified group
" else: ans = f"Group ${tex_name}$
" ans += f"Order: {order}
" if profiledata[1] is None: - ans += "Isomorphism class unknown
" + ans += "Isomorphism class has not been identified
" else: # TODO: add hash knowl and search link to groups with this order and hash ans += f"Hash: {profiledata[1]}
" @@ -2430,13 +2430,13 @@ def group_data(label, ambient=None, aut=False, profiledata=None): if quotient_tex in [None, "?"]: quotient_tex = profiledata[5] if quotient_tex in [None, "?"]: - ans += "Unknown quotient
" + ans += "identified quotient
" else: ans += f"Quotient ${quotient_tex}$
" ambient_order = int(ambient.split(".")[0]) ans += f"Quotient order: {ambient_order // order}
" if profiledata[4] is None: - ans += "Quotient isomorphism class unknown
" + ans += "Quotient isomorphism class has not been identified
" else: # TODO: add hash knowl and search link to groups with this order and hash ans += f"Quotient hash: {profiledata[4]}
" diff --git a/lmfdb/groups/abstract/web_groups.py b/lmfdb/groups/abstract/web_groups.py index cc86ad5532..92bd9ee15b 100644 --- a/lmfdb/groups/abstract/web_groups.py +++ b/lmfdb/groups/abstract/web_groups.py @@ -841,16 +841,16 @@ def subgp_paragraph(self): if self.number_characteristic_subgroups < self.number_normal_subgroups: ret_str = ret_str + """ (""" + str(self.number_characteristic_subgroups) + " characteristic).

"+charcolor+" "+normalcolor else: - ret_str=ret_str+ " all characteristic.

"+charcolor + ret_str=ret_str+ ", and all normal subgroups are characteristic.

"+charcolor return ret_str elif self.number_normal_subgroups < self.number_subgroups: ret_str = "There are " + str(self.number_subgroups) + """ subgroups in """ + str(self.number_subgroup_classes) + """ conjugacy classes, """ +str(self.number_normal_subgroups) + """ normal""" else: ret_str = """ There are """ +str(self.number_subgroups) + """ subgroups, all normal""" if self.number_characteristic_subgroups < self.number_normal_subgroups: - ret_str = ret_str + """ ( """ + str(self.number_characteristic_subgroups) + """ characteristic).

"""+charcolor+" "+normalcolor + ret_str = ret_str + """ (""" + str(self.number_characteristic_subgroups) + """ characteristic).

"""+charcolor+" "+normalcolor else: - ret_str = ret_str + ", all characteristic.

"+charcolor + ret_str = ret_str + ", and all normal subgroups are characteristic.

"+charcolor return ret_str @lazy_attribute