Skip to content

Write the k-subset actions of Alt(n) and Sym(n) as calls #85

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
fingolfin wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Write the k-subset actions of Alt(n) and Sym(n) as calls #85

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
e81a0c7
Add the k-subset constructors
fingolfin Aug 26, 2026
351f848
Write the k-subset actions as calls
fingolfin Aug 25, 2026
e18de68
Remove conversion script
fingolfin Sep 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
72 changes: 36 additions & 36 deletions data/gps1.g
View file
Open in desktop

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions data/gps10.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -108,8 +108,8 @@ PGAlt,
PGSym,
];
PRIMGRP[1001]:=[
[1,43589145600,1,"2",[[210,1],[270,1],[40,1],[480,1]],1,"Alt(14)",["A",14,1],[(1,2,3,5,8,12,17,24,34,48,68,93)(4,6,9,14,20,28,38,55,77,107,147,204)(7,11,15,21,29,40,56,78,108,148,205,280)(10,16,23,32,45,64)(13,18,25,35,50,71,98,135,184,253,346,461)(19,27,36,52,74,103,142,196,254,347,462,563)(22,31,43,61,86,120,167,231,319,426,542,649)(26,37,54,76,105,145,200,273,369,485,603,690)(30,42,59,82,114,158,221,305,407,463,297,397)(33,46,65,90,124,174,240,333,112,154,215,296)(39,57,80,111,153,213,293,392,510,621,708,788)(41,58,81,113,156,218,300,400,517,629,716,796)(44,62,87,121,169,234,324,433,269,363,481,515)(47,67,91,126,177,245,340,361,155,217,299,399)(49,69,95,131,181,250,152,211,290,388,456,577)(51,73,101,140,192,264,359,478,598,685,766,847)(53,75,104,143,197,268,362,394,513,626,713,793)(60,84,118,163,228,315,421,538,605,693,772,853)(63,89,122,171,237,329,440,558,364,332,444,564)(66,92,128,179,247,343,455,576,670,692,773,855)(70,97,134,102,141,194,212,292,391,509,578,672)(72,100,138,189,260,355,473,422,389,506,579,132)(79,110,151,210,288,385,501,613,700,780,863,927)(83,116,161,225,311,416,295,395,512,624,710,790)(85,119,165,229,317,424,508,620,486,604,691,771)(88,123,173,239,331,443,562,666,753,832,854,923)(94,129,180,249,244,339,451,572,442,560,663,752)(96,133,182,251,345,459,581,519,632,721,801,878)(99,137,187,257,352,469,588,679,761,841,912,873)(106,146,202,276,371,488,484,561,665,618,674,130)(109,150,208,285,334,266)(115,159,223,308,412,528,600,688,768,849,919,964)(117,162,226,312,417,533,214,294,393,511,622,709)(125,176,243,338,449,569,668,687,769,851,921,966)(127,178,246,341,279,374,491,607,625,712,792,872)(136,186,256,350,383,434,552,366,235,326,436,554)(139,190,261,357,476,595,402,520,631,719,798,874)(144,198,270,365,482,377,494,275,248,344,457,252)(149,207,283,378,496,610,696,776,858,925,969,893)(157,219,302,403,521,633,722,802,555,381,446,265)(160,224,310,415,532,638,479,599,686,767,848,918)(164,185,255,349,465,583,676,758,837,908,951,980)(166,230,318,425,541,648,732,812,890,940,975,789)(168,232,321,429,546,653,738,209,286,382,450,570)(170,236,327,438,556,661,750,830,850,920,965,990)(172,238,330,441,559,662,751,831,905,623,711,791)(175,242,336,262,313,419,535,586,206,282,376,277)(183,199,272,368,328,439,495,609,201,274,370,487)(188,258,353,471,523,428,545,651,735,813,448,568)(191,263,358,477,596,684,301,401,518,630,717,797)(193,220,304,406,524,634,724,803,880,437,499,567)(195,267,360,480,601,689,770,852,922,967,875,931)(203,278,372,489,606,694,774,856,720,800,877,932)(216,298,398,516,628,715,795,866,928,741,819,894)(222,306,409,526,590,682,763,843,914,958,984,942)(227,314,420,537,645,730,810,888,938,974,995,963)(233,323,432,550,654,740,817,287,384,500,571,460)(241,335,445,566,667,681,764,845,916,961,988,891)(259,354,472,591,636,320,427,543,650,733,337,447)(271,367,483,602,503,616,705,785,869,718,799,876)(281,375,492,608,695,775,857,924,968,881,933,557)(284,379,497,611,697,777,746,826,903,947,468,587)(289,386,502,614,701,781,824,900,945,536,643,647)(291,390,507,619,707,787,871,930,970,991,739,818)(303,405,522,635,726,806,884,859,547,655,742,820)(307,411,527,637,470,589,680,762,842,913,956,896)(309,414,531,641,728,808,886,936,972,993,998,976)(316,423,539,646,731,811,889,939,959,986,999,978)(322,431,549,658,747,827)(325,435,553,660,749,829,844,915,960,987,1000,879)(342,453,573,490)(348,464,582,675,757,836,907,950,953,982,902,948)(351,467,380,498,612,699,778,860,657,745,825,901)(356,474,594,466,584,677,759,838,909,952,822,897)(373,454,575,493)(387,504,615,703,782,865,744,823,899,644,593,540)(396,514,627,714,794,861,926,725,805,883,934,565)(404,430,548,656,743,821,895,941,410,413,530,640)(408,525,585,678,760,839,910,954,981,898,943,475)(418,534,642,729,809,887,937,973,994,957,985,944)(452,551,659,748,828,840,911,955,983,997,734,814)(458,580,673,756,835,698,779,862,544,652,737,816)(505,617,706,786,870,702,783,867,723,804,882,664)(529,639,727,807,885,935,971,992,996,946,977,597)(574,669,754,833,906,704,784,868,929,736,815,892)(592,683,765,846,917,962,989,1001,864,904,949,979)(671,755,834),(2,4,7)(6,10,11)(8,13,19)(9,15,22)(14,21,30)(18,26,27)(20,29,41)(23,33,47)(25,36,53)(28,39,40)(31,44,63)(34,49,70)(35,51,52)(38,56,79)(42,60,85)(46,66,67)(50,72,74)(55,78,109)(59,83,117)(62,88,89)(65,91,127)(68,94,130)(69,96,97)(71,99,103)(73,102,131)(76,106,129)(77,108,149)(80,112,155)(82,115,160)(84,119,166)(87,122,172)(90,125,126)(95,132,134)(98,136,142)(100,139,191)(104,144,199)(107,148,206)(110,152,212)(113,157,220)(116,162,227)(118,164,165)(120,168,233)(121,170,171)(124,175,177)(133,183,252)(135,185,196)(137,188,259)(140,193,265)(141,195,181)(145,201,275)(146,203,180)(147,205,281)(150,209,287)(153,214,295)(154,216,217)(158,222,307)(159,189,224)(161,226,313)(163,186,229)(169,235,237)(174,241,245)(176,244,276)(179,248,274)(184,254,348)(190,262,263)(194,266,250)(197,269,364)(198,271,272)(202,277,249)(204,279,280)(207,284,380)(210,289,387)(211,291,292)(215,297,299)(218,301,402)(219,303,304)(223,309,310)(225,312,418)(228,316,317)(231,320,428)(232,322,323)(234,325,329)(236,328,365)(239,332,363)(240,334,340)(242,337,448)(246,342,454)(253,347,463)(256,351,468)(258,318,354)(260,356,475)(261,314,358)(267,361,333)(270,366,368)(278,373,490)(282,377,495)(285,381,499)(286,383,384)(290,389,391)(294,394,395)(296,396,399)(298,346,462)(302,404,406)(305,408,474)(306,410,411)(308,413,415)(311,417,407)(315,422,424)(321,430,432)(324,434,440)(326,437,555)(330,442,561)(335,446,567)(338,450,571)(339,452,371)(343,456,578)(344,458,370)(345,460,570)(349,466,585)(352,470,590)(353,472,592)(357,477,597)(359,479,600)(367,484,572)(369,486,605)(376,493,573)(379,438,498)(382,435,500)(386,503,504)(388,505,509)(390,508,421)(393,512,625)(397,515,564)(401,519,520)(403,431,524)(405,523,636)(409,414,527)(412,529,532)(416,533,464)(419,536,644)(423,540,647)(427,544,545)(429,547,550)(433,551,558)(439,557,482)(443,563,461)(444,565,481)(447,554,568)(451,552,488)(453,574,575)(457,579,487)(467,586,587)(471,591,640)(473,593,643)(476,596,530)(494,609,669)(497,612,606)(502,615,704)(506,618,663)(511,623,624)(518,631,720)(521,634,725)(525,594,534)(526,637,537)(528,638,541)(538,620,559)(543,651,736)(546,654,741)(548,657,746)(560,664,665)(577,671,672)(580,674,752)(584,601,678)(589,681,682)(595,684,683)(599,687,688)(604,692,693)(611,698,699)(614,702,703)(622,710,708)(630,718,719)(633,723,724)(650,734,735)(653,739,740)(656,744,824)(677,760,840)(680,763,844)(686,768,850)(691,772,854)(697,778,861)(701,782,866)(709,789,790)(717,798,875)(722,803,881)(733,813,891)(738,817,893)(743,822,898)(745,826,904)(759,775,839)(762,776,843)(767,780,849)(771,796,853)(777,859,860)(781,864,865)(797,873,874)(802,879,880)(821,896,942)(823,900,946)(825,902,903)(838,910,930)(842,914,959)(848,919,951)(897,943,976)(899,944,945)(901,947,978)(909,953,954)(913,957,958)(918,963,964)(952,981,996)(956,984,998)]],
[2,87178291200,0,"2",[[210,1],[270,1],[40,1],[480,1]],1,"Sym(14)",["A",14,1],[(1,2,3,4,5,6,7,9,11,15,20,27,37,51)(8,10,13,17,24,32,44,60,77,98,124,154,189,228)(12,16,22,29,41,56,72,93,118,148,182,221,264,314)(14,19,26,36,49,66,85,109,137,170,207,249,295,349)(18,25,34,46,63,81,103,130,161,197,237,282,315,372)(21,28,39,53,69,89,114,143,177,215,258,306,363,421)(23,31,43,59,76,97,123,153,188,227,271,322,381,439)(30,42,57,73,94,119,149,183,222,265,316,373,422,482)(33,45,62,79,101,127,158,193,233,277,307,364,423,483)(35,48,65,84,107,135,167,204,245,291,344,382,440,502)(38,52,67,87,111,140,173,211,253,300,355,411,469,50)(40,55,71,92,117,147,181,220,263,313,371,431,494,558)(47,64,83,105,133,164,201,241,287,339,374,433,484,546)(54,70,90,115,144,178,216,259,308,365,424,485,530,594)(58,75,96,122,152,187,226,270,321,380,438,495,560,625)(61,78,99,125,155,190,229,273,301,356,412,470,531,595)(68,88,112,141,174,212,254,302,357,414,472,533,598,660)(74,95,120,150,184,223,266,317,375,434,486,548,545,612)(80,102,128,159,194,234,278,330,366,425,487,549,596,658)(82,104,131,162,198,238,283,335,329,389,448,512,576,634)(86,110,138,171,208,250,296,351,405,413,471,532,597,659)(91,116,145,179,217,260,309,367,426,488,550,599,661,719)(100,126,156,191,230,274,325,358,415,473,534,600,662,720)(106,134,165,202,242,288,340,362,420,480,543,610,644,707)(108,136,168,205,246,292,345,312,370,430,493,557,623,688)(113,142,175,213,255,303,359,416,475,536,602,665,723,775)(121,151,185,224,267,318,376,435,498,551,616,614,678,737)(129,160,195,235,279,331,390,427,489,552,617,663,721,773)(132,163,199,239,284,336,328,388,447,511,542,609,673,732)(139,172,209,251,297,352,407,464,474,535,601,664,722,774)(146,180,218,261,310,368,428,490,553,618,666,724,776,819)(157,192,231,275,326,386,417,476,537,603,667,725,777,820)(166,203,243,289,341,397,410,468,529,593,657,674,733,784)(169,206,247,293,346,401,257,305,361,419,479,541,608,672)(176,214,256,304,360,418,477,539,605,669,728,780,823,861)(186,225,268,319,377,436,499,564,619,682,680,739,789,831)(196,236,280,332,391,450,491,554,620,683,726,778,821,859)(200,240,285,337,394,453,449,513,577,592,656,706,762,809)(210,252,298,353,408,466,526,538,604,668,727,779,822,860)(219,262,311,369,429,492,555,621,685,729,781,824,862,897)(232,276,327,387,446,478,540,606,670,730,782,825,863,898)(244,290,342,398,455,518,565,629,684,742,718,772,818,858)(248,294,347,402,459,299,354,409,467,528,591,607,671,731)(269,320,378,437,500,566,630,686,744,741,791,833,870,905)(272,323,383,441,503,568,633,695,750,796,836,873,908,457)(281,333,392,451,515,556,622,687,745,783,826,864,899,933)(286,338,395,454,517,514,578,645,708,763,805,847,884,920)(324,384,443,506,571,638,699,751,797,837,874,909,941,396)(334,393,452,504,569,635,696,752,798,838,875,910,942,379)(343,399,456,519,582,631,693,746,793,810,852,891,927,958)(348,403,460,521,584,581,648,710,764,811,655,717,771,817)(350,404,442,505,570,637,698,754,799,839,876,911,943,586)(385,444,508,510,575,643,705,760,807,849,887,923,953,955)(400,458,520,583,636,697,753,743,792,834,871,906,939,968)(406,463,507,572,639,700,756,800,840,877,912,944,971,952)(432,496,561,559,624,676,736,787,830,868,904,938,969,988)(445,509,574,641,702,758,804,845,882,888,924,954,977,980)(461,522,585,651,649,711,765,755,801,841,879,914,947,973)(462,523,587,652,714,768,814,854,892,928,959,981,963,984)(465,525,573,640,701,757,803,843,878,913,945,972,990,919)(481,544,611,675,734,785,827,865,900,934,964,497,562,626)(501,567,632,694,689,747,794,835,872,907,940,970,989,998)(516,579,646,703,527,590,642,704,759,806,848,885,921,946)(524,588,653,715,769,815,855,893,929,960,982,994,917,950)(547,613,677,735,786,828,866,901,935,965,985,563,627,690)(580,647,709,761,808,850,889,925,956,978,886,922,951,976)(589,654,716,770,816,857,895,930,650,712,766,812,851,890)(615,679,738,788,829,867,902,936,966,986,996,628,691,748)(681,740,790,832,869,903,937,967,987,997,1001,692,749,795)(713,767,813,853,802,842,880,915,948,974,991,896,932,962)(844,881,916,949,975,992,999)(846,883,918,926,957,979,993)(856,894,931,961,983,995,1000),(6,8)(9,12)(10,14)(13,18)(15,21)(16,23)(22,30)(24,33)(25,35)(27,38)(28,40)(34,47)(36,50)(39,54)(41,45)(42,58)(44,61)(52,68)(57,74)(59,64)(62,80)(63,82)(66,86)(70,91)(78,100)(83,106)(84,108)(88,113)(95,121)(102,129)(104,132)(110,139)(116,146)(126,157)(134,166)(136,169)(142,176)(151,186)(160,196)(163,200)(172,210)(180,219)(192,232)(203,244)(206,248)(214,257)(225,269)(228,272)(236,281)(240,286)(252,299)(253,301)(258,307)(262,312)(264,315)(273,324)(276,328)(277,329)(282,334)(290,343)(294,348)(295,350)(302,358)(305,362)(308,366)(313,314)(316,374)(320,379)(322,382)(325,385)(330,388)(333,335)(338,396)(339,370)(344,400)(351,406)(354,410)(355,364)(356,413)(359,417)(363,422)(367,427)(373,432)(375,420)(380,381)(383,442)(386,445)(390,449)(399,457)(403,461)(404,462)(407,465)(412,448)(414,425)(415,474)(418,478)(421,481)(423,484)(424,486)(428,491)(431,495)(434,497)(435,468)(438,501)(441,504)(443,507)(446,510)(450,514)(453,516)(463,524)(466,527)(469,530)(473,511)(475,489)(476,538)(479,542)(483,545)(485,547)(487,543)(488,551)(492,556)(494,559)(498,563)(499,565)(506,515)(508,573)(512,557)(517,580)(518,581)(522,586)(525,589)(528,592)(531,596)(533,599)(537,577)(539,554)(540,607)(549,614)(550,615)(552,593)(553,619)(564,628)(566,631)(568,634)(569,636)(574,642)(576,644)(582,649)(584,650)(590,655)(595,637)(597,598)(600,663)(602,666)(606,645)(608,622)(609,674)(611,676)(617,680)(618,681)(620,684)(621,686)(624,689)(630,692)(635,688)(638,673)(641,703)(643,706)(651,713)(656,718)(659,714)(662,700)(664,665)(667,726)(669,729)(675,735)(683,741)(685,743)(687,746)(695,751)(699,755)(705,761)(708,764)(722,769)(725,757)(727,728)(730,783)(745,752)(754,800)(756,802)(758,805)(763,810)(779,816)(782,806)(786,829)(797,807)(803,844)(804,846)(808,851)(814,855)(815,856)(840,878)(841,850)(848,886)(849,888)(857,896)(867,903)(880,916)(881,917)(883,919)(889,926)(893,930)(913,946)(922,952)(924,955)(931,962)(932,963)(937,968)(949,976)(957,980)]],
PGAltOnSets(14,4),
PGSymOnSets(14,4),
PGAlt,
PGSym,
];
Loading