Because group search results are displayed in columns that are grouped together (with titles like "Subgroup", "Ambient", and "Quotient" ), the initial comments when you download a subgroup searches have this unhelpful language:
# Each entry in the following data list has the form:
# [Label, Subgroup, Ambient, Quotient]
# For more details, see the definitions at the bottom of the file.
"12.3.1.a1.a1" [["12.3", "A_4"], 12, true, true, false, false, true, false, false, false] [["12.3", "A_4"], 12] [["1.1", "C_1"], 1, true, true, true, false]
It is not at all clear from this statement what all the entries are that are downloaded (because it is just recording the name of the column group, not the individual columns).
It looks like fixing this to give better explanation in the initial comments will require making an exception for the ColGroup option.
Because group search results are displayed in columns that are grouped together (with titles like "Subgroup", "Ambient", and "Quotient" ), the initial comments when you download a subgroup searches have this unhelpful language:
It is not at all clear from this statement what all the entries are that are downloaded (because it is just recording the name of the column group, not the individual columns).
It looks like fixing this to give better explanation in the initial comments will require making an exception for the ColGroup option.