From 812b5162bbc92283cd5c2615caedc953a794657a Mon Sep 17 00:00:00 2001 From: David Roe Date: Wed, 12 Jul 2023 18:00:39 -0400 Subject: [PATCH] Have abstract group know handle unknown number of subs --- lmfdb/groups/abstract/main.py | 31 +++++++++++++++++++------------ 1 file changed, 19 insertions(+), 12 deletions(-) diff --git a/lmfdb/groups/abstract/main.py b/lmfdb/groups/abstract/main.py index 2f8c834797..0de20dfdfa 100644 --- a/lmfdb/groups/abstract/main.py +++ b/lmfdb/groups/abstract/main.py @@ -2443,18 +2443,25 @@ def group_data(label, ambient=None, aut=False, profiledata=None): if gp and not gp.live(): if ambient is None: - ans += "It has {} subgroups".format(gp.number_subgroups) - if gp.number_normal_subgroups < gp.number_subgroups: - ans += " in {} conjugacy classes, {} normal, ".format( - gp.number_subgroup_classes, gp.number_normal_subgroups - ) - else: - ans += ", all normal, " - if gp.number_characteristic_subgroups < gp.number_normal_subgroups: - ans += str(gp.number_characteristic_subgroups) - else: - ans += "all" - ans += " characteristic.
" + if gp.number_subgroups is not None: + ans += "It has {} subgroups".format(gp.number_subgroups) + if gp.number_normal_subgroups is not None: + if gp.number_normal_subgroups < gp.number_subgroups: + ans += " in {} conjugacy classes, {} normal, ".format( + gp.number_subgroup_classes, gp.number_normal_subgroups + ) + else: + ans += ", all normal, " + if gp.number_characteristic_subgroups is not None: + if gp.number_characteristic_subgroups < gp.number_normal_subgroups: + ans += str(gp.number_characteristic_subgroups) + else: + ans += "all" + ans += " characteristic.
" + else: + ans = ans[:-2] + ".
" + else: + ans += ".
" else: ambient = WebAbstractGroup(ambient)