From f6e29d115dc294458397e1250a2d93c5eb620951 Mon Sep 17 00:00:00 2001 From: David <1234753+davidburrell@users.noreply.github.com> Date: Thu, 22 Dec 2022 14:06:55 -0500 Subject: [PATCH] Remove Development Files --- gap/available_Example | 23 ------ gap/available_map.g | 113 -------------------------- gap/bounds_log | 45 ----------- gap/classification_tables.g | 156 ------------------------------------ gap/findbounds.g | 111 ------------------------- gap/test_maps.g | 10 --- 6 files changed, 458 deletions(-) delete mode 100644 gap/available_Example delete mode 100644 gap/available_map.g delete mode 100644 gap/bounds_log delete mode 100644 gap/classification_tables.g delete mode 100644 gap/findbounds.g delete mode 100644 gap/test_maps.g diff --git a/gap/available_Example b/gap/available_Example deleted file mode 100644 index a1861e4..0000000 --- a/gap/available_Example +++ /dev/null @@ -1,23 +0,0 @@ -gap> GRPS_AVAIL; -Error, Variable: 'GRPS_AVAIL' must have a value -not in any function at *stdin*:2 -gap> GRPS39_AVAIL; -203045160 -gap> GRPS39_TOTAL; -5937876645 -gap> GRPS39_InverseAvailableMap(2); -This is an immediate descendant of 81#150 -gap> ReloadGRPS39(); -true -true -true -gap> GRPS39_InverseAvailableMap(2); -This is an immediate descendant of 81#15 and is not available0 -gap> ReloadGRPS39(); -true -true -true -gap> GRPS39_InverseAvailableMap(2); -This is an immediate descendant of 81#15 and is not available -0 -gap> quit; diff --git a/gap/available_map.g b/gap/available_map.g deleted file mode 100644 index e4f00b4..0000000 --- a/gap/available_map.g +++ /dev/null @@ -1,113 +0,0 @@ -#################27################ -available_list:=[]; -unavailable_list:=[]; -Add(available_list,[1,1]); - - -#################81################ -Add(unavailable_list,[2,66668]); #enumerated immediate descendants of 81#15 - -#################243################ -Add(available_list,[66669,417331]); -Add(unavailable_list,[417332,3676839236]); #enumerated immediate descendants of 243#67 - -################729################ -Add(available_list,[3676839237,3677017932]); - -Add(unavailable_list,[3677017933,3765012316]); #enumerated immediate descendants of 729#122 -Add(available_list,[3765012317,3765352301]); - -Add(unavailable_list,[3765352302,3882837164]); #enumerated immediate descendants of 729#425 -Add(unavailable_list,[3882837165,3900892925]); #enumerated immediate descendants of 729#440 -Add(unavailable_list,[3900892926,3931273585]); #enumerated immediate descendants of 729#453 -Add(available_list,[3931273586,3943394284]); - -Add(unavailable_list,[3943394285,5163504924]); #enumerated immediate descendants of 729#504 - -################2187################ -Add(available_list,[5163504925,5168202147]); - -Add(unavailable_list,[5168202148,5175244174]); #enumerated immediate descendants of 2187#6044 - -Add(available_list,[5175244175,5198614341]); - -Add(unavailable_list,[5198614342,5211329620]); #enumerated immediate descendants of 2187#6576 - -Add(available_list,[5211329621,5232874449]); - -Add(unavailable_list,[5232874450,5232874580]); #enumerated immediate descendants of 2187#9093 - -Add(available_list,[5232874581,5246141806]); - -Add(unavailable_list,[5246141807,5263238503]);#enumerated immediate descendants of 2187#9118 -Add(unavailable_list,[5263238504,5304287355]);#enumerated immediate descendants of 2187#9121 - -Add(available_list,[5304287356,5310952326]); - -Add(unavailable_list,[5310952327,5323685281]); #enumerated immediate descendants of 2187#9128 -Add(unavailable_list,[5323685282,5651818279]); #enumerated immediate descendants of 2187#9131 -Add(unavailable_list,[5651818280,5701388011]); #enumerated immediate descendants of 2187#9134 -Add(unavailable_list,[5701388012,5800318009]); #enumerated immediate descendants of 2187#9135 -Add(unavailable_list,[5800318010,5813058703]); #enumerated immediate descendants of 2187#9138 -Add(unavailable_list,[5813058704,5817314365]); #enumerated immediate descendants of 2187#9140 -Add(unavailable_list,[5817314366,5817364180]); #enumerated immediate descendants of 2187#9302 -Add(unavailable_list,[5817364181,5817365893]); #enumerated immediate descendants of 2187#9310 - -################6561################ -Add(available_list,[5817365894,5937876592]); - -Add(unavailable_list,[5937876593,5937876632]); #enumerated immediate descendants of 6561#1396068 -Add(unavailable_list,[5937876633,5937876644]); #enumerated immediate descendants of 6561#1396077 - -i:=0; -offsets:=[]; -lengths:=[]; -total:=0; -for length in unavailable_list do - i:=i+1; - Print(StringFormatted("offset{}:={};\n",i,length[2]-length[1]+1)); - Add(offsets,length[2]-length[1]+1); -od; - -j:=0; - -for length in available_list do - j:=j+1; - Print(StringFormatted("length{}:={};\n",j,length[2]-length[1]+1)); - Add(lengths,length[2]-length[1]+1); -od; - -offset1:=66667; -offset2:=3676421905; -offset3:=87994384; -offset4:=117484863; -offset5:=18055761; -offset6:=30380660; -offset7:=1220110640; -offset8:=7042027; -offset9:=12715279; -offset10:=131; -offset11:=17096697; -offset12:=41048852; -offset13:=12732955; -offset14:=328132998; -offset15:=49569732; -offset16:=98929998; -offset17:=12740694; -offset18:=4255662; -offset19:=49815; -offset20:=1713; -offset21:=40; -offset22:=12; - -length1:=1; -length2:=350663; -length3:=178696; -length4:=339985; -length5:=12120699; -length6:=4697223; -length7:=23370167; -length8:=21544829; -length9:=13267226; -length10:=6664971; -length11:=120510699; diff --git a/gap/bounds_log b/gap/bounds_log deleted file mode 100644 index 0ef0a27..0000000 --- a/gap/bounds_log +++ /dev/null @@ -1,45 +0,0 @@ -################27################ -[1,1] - -################81################ -[2,66668] #enumerated immediate descendants of 81#15 - -################243################ -[66669,417331] -[417332,3676839236] #enumerated immediate descendants of 243#67 - -################729################ -[3676839237,3677017932] -[3677017933,3765012316] #enumerated immediate descendants of 729#122 -[3765012317,3765352301] -[3765352302,3882837164] #enumerated immediate descendants of 729#425 -[3882837165,3900892925] #enumerated immediate descendants of 729#440 -[3900892926,3931273585] #enumerated immediate descendants of 729#453 -[3931273586,3943394284] -[3943394285,5163504924] #enumerated immediate descendants of 729#504 - -################2187################ -[5163504925,5168202147] -[5168202148,5175244174] #enumerated immediate descendants of 2187#6044 -[5175244175,5198614341] -[5198614342,5211329620] #enumerated immediate descendants of 2187#6576 -[5211329621,5232874449] -[5232874450,5232874580] #enumerated immediate descendants of 2187#9093 -[5232874581,5246141806] -[5246141807,5263238503] #enumerated immediate descendants of 2187#9118 -[5263238504,5304287355] #enumerated immediate descendants of 2187#9121 -[5304287356,5310952326] -[5310952327,5323685281] #enumerated immediate descendants of 2187#9128 -[5323685282,5651818279] #enumerated immediate descendants of 2187#9131 -[5651818280,5701388011] #enumerated immediate descendants of 2187#9134 -[5701388012,5800318009] #enumerated immediate descendants of 2187#9135 -[5800318010,5813058703] #enumerated immediate descendants of 2187#9138 -[5813058704,5817314365] #enumerated immediate descendants of 2187#9140 -[5817314366,5817364180] #enumerated immediate descendants of 2187#9302 -[5817364181,5817365893] #enumerated immediate descendants of 2187#9310 - -################6561################ -[5817365894,5937876592] -[5937876593,5937876632] #enumerated immediate descendants of 6561#1396068 -[5937876633,5937876644] #enumerated immediate descendants of 6561#1396077 - diff --git a/gap/classification_tables.g b/gap/classification_tables.g deleted file mode 100644 index cd7ad99..0000000 --- a/gap/classification_tables.g +++ /dev/null @@ -1,156 +0,0 @@ -# InstallGlobalFunction("PrintClassificationTable",function(start_id,end_id,order) - -# local working,i,currentPClass,currentRank; - -# i:=start_id; -start_id:=1; -# orders:=[3,9,27,81,243,729,2187,6561]; -orders:=[6561]; -# orders:=[3,9,27,81,243,729,2187]; -for order in orders do -# order:=9; - Print(StringFormatted("\n############# Available Groups of order {} #############\n",order)); - - end_id:=NumberSmallGroups(order); - i:=start_id; - currentPClass:=0; - currentRank:=0; - currentParentGroupOrder:=0; - - # while i <= end_id and i <= 683875133 do - # while i < Minimum(end_id,GRPS1024_AVAIL) do - while i <= end_id do - # while i <= 875133 do - working:=SmallGroup(order,i); - # num_siblings:=NumDescendants(Heritage(working)[1],Heritage(working)[2]); - # Print(StringFormatted("{} - {}\n",i,i+num_siblings-1)); - - - # working:=SmallGroup(1024,AvailableMap(i)); - if not currentParentGroupOrder=Heritage(working)[1] then - if currentRank > 0 then - Print(StringFormatted("-{} have rank {} and pclass {}\n",i-1,currentRank,currentPClass)); - fi; - - Print(StringFormatted("######################Immediate Descendants of order {}#############\n",Heritage(working)[1])); - currentParentGroupOrder:=Heritage(working)[1]; - currentRank:=RankPGroup(working); - currentPClass:=PClassPGroup(working); - - Print(StringFormatted("Available Groups {}",i)); - numDescendants:=NumDescendants(Heritage(working)[1],Heritage(working)[2]); - fi; - - if not currentRank = RankPGroup(working) or not currentPClass = PClassPGroup(working) then - - if not currentRank = 0 then - Print(StringFormatted("-{} have rank {} and pclass {}\n",i-1,currentRank,currentPClass)); - - fi; - - currentRank:=RankPGroup(working); - currentPClass:=PClassPGroup(working); - - # Print(StringFormatted("Group {} has rank {} and pclass {}\n",AvailableMap(i),currentRank,currentPClass)); - Print(StringFormatted("Available Groups {}",i)); - # numDescendants:=NumDescendants(Heritage(working)[1],Heritage(working)[2]); - fi; - - i:=i+1; - od; - - - working:=SmallGroup(order,end_id); - currentRank:=RankPGroup(working); - currentPClass:=PClassPGroup(working); - Print(StringFormatted("-{} have rank {} and pclass {}\n",end_id,currentRank,currentPClass)); - - - - -od; - -# ############# Groups of order 3 ############# -# Groups 1-1 have rank 1 and pclass 1 - -# ############# Groups of order 9 ############# -# Groups 1-1 have rank 1 and pclass 2 -# Groups 2-2 have rank 2 and pclass 1 - -# ############# Groups of order 27 ############# -# Groups 1-1 have rank 1 and pclass 3 -# Groups 2-4 have rank 2 and pclass 2 -# Groups 5-5 have rank 3 and pclass 1 - -# ############# Groups of order 81 ############# -# Groups 1-1 have rank 1 and pclass 4 -# Groups 2-4 have rank 2 and pclass 2 -# Groups 5-10 have rank 2 and pclass 3 -# Groups 11-14 have rank 3 and pclass 2 -# Groups 15-15 have rank 4 and pclass 1 - -# ############# Groups of order 243 ############# -# Groups 1-1 have rank 1 and pclass 5 -# Groups 2-2 have rank 2 and pclass 2 -# Groups 3-22 have rank 2 and pclass 3 -# Groups 23-30 have rank 2 and pclass 4 -# Groups 31-47 have rank 3 and pclass 2 -# Groups 48-60 have rank 3 and pclass 3 -# Groups 61-66 have rank 4 and pclass 2 -# Groups 67-67 have rank 5 and pclass 1 - -# ############# Groups of order 729 ############# -# Groups 1-1 have rank 1 and pclass 6 -# Groups 2-33 have rank 2 and pclass 3 -# Groups 34-92 have rank 2 and pclass 4 -# Groups 93-101 have rank 2 and pclass 5 -# Groups 102-137 have rank 3 and pclass 2 -# Groups 138-390 have rank 3 and pclass 3 -# Groups 391-414 have rank 3 and pclass 4 -# Groups 415-474 have rank 4 and pclass 2 -# Groups 475-496 have rank 4 and pclass 3 -# Groups 497-503 have rank 5 and pclass 2 -# Groups 504-504 have rank 6 and pclass 1 - -# ############# Groups of order 2187 ############# -# Groups 1-1 have rank 1 and pclass 7 -# Groups 2-63 have rank 2 and pclass 3 -# Groups 64-223 have rank 2 and pclass 4 -# Groups 224-383 have rank 2 and pclass 5 -# Groups 384-391 have rank 2 and pclass 6 -# Groups 392-408 have rank 3 and pclass 2 -# Groups 409-4675 have rank 3 and pclass 3 -# Groups 4676-5840 have rank 3 and pclass 4 -# Groups 5841-5865 have rank 3 and pclass 5 -# Groups 5866-7226 have rank 4 and pclass 2 -# Groups 7227-9042 have rank 4 and pclass 3 -# Groups 9043-9092 have rank 4 and pclass 4 -# Groups 9093-9270 have rank 5 and pclass 2 -# Groups 9271-9300 have rank 5 and pclass 3 -# Groups 9301-9309 have rank 6 and pclass 2 -# Groups 9310-9310 have rank 7 and pclass 1 - -# ############# Groups of order 6561 ############# -# Groups 1-1 have rank 1 and pclass 8 -# Groups 2-59 have rank 2 and pclass 3 -# Groups 60-545 have rank 2 and pclass 4 -# Groups 546-1888 have rank 2 and pclass 5 -# Groups 1889-2218 have rank 2 and pclass 6 -# Groups 2219-2227 have rank 2 and pclass 7 -# Groups 2228-2231 have rank 3 and pclass 2 -# Groups 2232-218978 have rank 3 and pclass 3 -# Groups 218979-259499 have rank 3 and pclass 4 -# Groups 259500-261662 have rank 3 and pclass 5 -# Groups 261663-261686 have rank 3 and pclass 6 -# Groups 261687-285047 have rank 4 and pclass 2 -# Groups 285048-779713 have rank 4 and pclass 3 -# Groups 779714-802056 have rank 4 and pclass 4 -# Groups 802057-802107 have rank 4 and pclass 5 -# Groups 802108-1380585 have rank 5 and pclass 2 -# Groups 1380586-1395381 have rank 5 and pclass 3 -# Groups 1395382-1395461 have rank 5 and pclass 4 -# Groups 1395462-1396027 have rank 6 and pclass 2 -# Groups 1396028-1396066 have rank 6 and pclass 3 -# Groups 1396067-1396076 have rank 7 and pclass 2 -# Groups 1396077-1396077 have rank 8 and pclass 1 - diff --git a/gap/findbounds.g b/gap/findbounds.g deleted file mode 100644 index c398b75..0000000 --- a/gap/findbounds.g +++ /dev/null @@ -1,111 +0,0 @@ - -capableMaster:=[]; -# for j in [27,81,243,729,2187,6561] do -for j in [27,81,243,729,2187,6561] do - Add(capableMaster,ValueGlobal(StringFormatted("Capable_{}",j))); -od; - - - -i:=0; -offset:=0; -offset_old:=0; -order:=9; -step:=0; -heritage:=rec(); -breakOuter:=false; - - -#TODO it makes sense to have a better idea of when the split happens i.e. if 20 <= i <= 40 then only load Capable_27 etc... -offsets:=[]; -lengths:=[]; - -for group_order in capableMaster do - order:=order*3; - enum_unavailable:=ValueGlobal(StringFormatted("Enumerated_{}",order)); - step:=Length(FactorsInt(3^9)) - Length(FactorsInt(order)); - new:=true; - # Print(StringFormatted("######################Immediate Descendants of order {}#############\n",GRPS1024_Heritage(working)[1])); - for group in group_order do - - offset:=i; - i:=i+group[2]; - if order=27 then - # Print(StringFormatted("[{},{}]\n",1,1)); - Print(StringFormatted("n = 1 then \n",1,1)); - continue; - fi; - - if group[1] in enum_unavailable then - # Print(new); - if not new then - Print(StringFormatted("..{}] then \n",offset)); - fi; - Print(StringFormatted("\nelif n in [{}..{}] then\n#enumerated immediate descendants of {}#{}\n",offset+1,i,order,group[1])); - Print(StringFormatted("""Print("This is an immediate descendant of {}#{}")""",order,group[1])); - new:=true; - continue; - else - if new then - Print(StringFormatted("\nelif n in [{}",offset+1)); - - new := false; - fi; - continue; - fi; - - - # Print(StringFormatted("i = {}, ID = {}, Order = {}, Offset:={}, Next={}\n",i,group[1],order,offset,offset+group[2])); - - - Print(StringFormatted("..{}] then\n\n",offset)); - - od; -od; -#################27################ -#[1,1] - - -#################81################ -#[2,66668] #enumerated immediate descendants of 81#15 - -#################243################ -#[66669,417331] -#[417332,3676839236] #enumerated immediate descendants of 243#67 - -#################729################ -#[3676839237,3677017932] -#[3677017933,3765012316] #enumerated immediate descendants of 729#122 -#[3765012317,3765352301] -#[3765352302,3882837164] #enumerated immediate descendants of 729#425 -#[3882837165,3900892925] #enumerated immediate descendants of 729#440 -#[3900892926,3931273585] #enumerated immediate descendants of 729#453 -#[3931273586,3943394284] -#[3943394285,5163504924] #enumerated immediate descendants of 729#504 - -#################2187################ -#[5163504925,5168202147] -#[5168202148,5175244174] #enumerated immediate descendants of 2187#6044 -#[5175244175,5198614341] -#[5198614342,5211329620] #enumerated immediate descendants of 2187#6576 -#[5211329621,5232874449] -#[5232874450,5232874580] #enumerated immediate descendants of 2187#9093 -#[5232874581,5246141806] -#[5246141807,5263238503] #enumerated immediate descendants of 2187#9118 -#[5263238504,5304287355] #enumerated immediate descendants of 2187#9121 -#[5304287356,5310952326] -#[5310952327,5323685281] #enumerated immediate descendants of 2187#9128 -#[5323685282,5651818279] #enumerated immediate descendants of 2187#9131 -#[5651818280,5701388011] #enumerated immediate descendants of 2187#9134 -#[5701388012,5800318009] #enumerated immediate descendants of 2187#9135 -#[5800318010,5813058703] #enumerated immediate descendants of 2187#9138 -#[5813058704,5817314365] #enumerated immediate descendants of 2187#9140 -#[5817314366,5817364180] #enumerated immediate descendants of 2187#9302 -#[5817364181,5817365893] #enumerated immediate descendants of 2187#9310 - -#################6561################ -#[5817365894,5937876592] -#[5937876593,5937876632] #enumerated immediate descendants of 6561#1396068 -#[5937876633,5937876644] #enumerated immediate descendants of 6561#1396077 - - diff --git a/gap/test_maps.g b/gap/test_maps.g deleted file mode 100644 index 9678733..0000000 --- a/gap/test_maps.g +++ /dev/null @@ -1,10 +0,0 @@ -for i in [1..GRPS39_AVAIL] do - if not GRPS39_InverseAvailableMap(GRPS39_AvailableMap(i)) = i then - Print(StringFormatted("\n\n issue with {} \n\n",i)); - Error("issue"); - fi; - - if i mod 10000000 = 0 then - Print(StringFormatted(" working on {} \n",i)); - fi; -od;