Skip to content

Commit

Permalink
Have abstract group know handle unknown number of subs
Browse files Browse the repository at this point in the history
  • Loading branch information
roed314 committed Jul 12, 2023
1 parent d8df396 commit 812b516
Showing 1 changed file with 19 additions and 12 deletions.
31 changes: 19 additions & 12 deletions lmfdb/groups/abstract/main.py
Original file line number Diff line number Diff line change
Expand Up @@ -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.<br />"
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.<br />"
else:
ans = ans[:-2] + ".<br />"
else:
ans += ".<br />"
else:
ambient = WebAbstractGroup(ambient)

Expand Down

0 comments on commit 812b516

Please sign in to comment.