Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/grape/grh/   (GAP Algebra Version 4.15.1©)  Datei vom 6.8.2025 mit Größe 8 kB image not shown  

Quelle  McL

  Sprache: Text
 

McL:=rec(
  isGraph := true,
  order := 275,
  group := Group( (  421)(  511)(  6,  7)(  812)(  919)( 1017)
    ( 1415)( 1624)( 2223)( 2527)( 2656)( 2887)( 2968)( 3074)
    ( 3157)( 3389)( 3485)( 35,130)( 38,111)( 39,102)( 40,101)( 4173)
    ( 4271)( 4361)( 4455)( 4554)( 46,172)( 47,171)( 48,113)( 49,129)
    ( 5090)( 5163)( 5264)( 5365)( 5859)( 6072)( 6269)( 66,128)
    ( 67,150)( 7098)( 7576)( 7778)( 79,126)( 80,123)( 81,124)( 82,144)
    ( 83,133)( 8492)( 86,149)( 91,115)( 93,138)( 94,127)( 95,122)( 96,169)
    ( 97,168)(103,140)(106,141)(107,108)(109,112)(110,139)(114,145)(116,143)
    (117,118)(119,125)(120,136)(121,135)(134,199)(147,148)(151,152)(153,188)
    (154,155)(156,164)(157,192)(158,159)(160,174)(161,225)(163,183)(165,176)
    (166,167)(173,179)(177,190)(178,189)(180,257)(181,244)(182,197)(184,216)
    (185,217)(186,202)(187,193)(191,208)(194,232)(195,200)(196,205)(203,212)
    (204,210)(206,239)(207,233)(209,220)(211,238)(213,258)(214,248)(215,247)
    (218,228)(221,237)(222,240)(223,224)(226,227)(230,236)(231,245)(234,235)
    (246,251)(249,250)(252,256)(253,266)(255,259)(261,262)(263,267)(265,271)
    (268,275)(269,272), (  1,  5)(  2,  6)(  3,  4)(  8,  9)( 1026)( 1216)
    ( 1315)( 1731)( 1874)( 1924)( 2223)( 2732)( 2829)( 3560)
    ( 3639)( 3738)( 4041)( 4278)( 4344)( 45,131)( 46,114)( 47,135)
    ( 4895)( 4994)( 5068)( 5198)( 5297)( 5562)( 5657)( 58,103)
    ( 5992)( 6169)( 63,136)( 6496)( 65,175)( 66,145)( 67,132)( 70,120)
    ( 7175)( 72,143)( 7391)( 7677)( 79,109)( 80,108)( 81,107)( 82,129)
    ( 83,112)( 84,140)( 8599)( 86,100)( 8790)( 8889)( 93,134)(101,115)
    (113,117)(116,130)(118,122)(119,121)(123,124)(125,171)(126,133)(127,144)
    (128,172)(137,139)(138,147)(141,146)(148,199)(152,170)(153,221)(154,184)
    (155,247)(156,245)(157,233)(158,236)(159,228)(160,190)(161,162)(163,219)
    (164,185)(165,166)(167,194)(168,169)(173,174)(176,232)(177,179)(178,193)
    (180,181)(182,210)(186,187)(188,211)(189,202)(191,192)(195,198)(196,197)
    (203,214)(204,205)(206,234)(207,208)(212,213)(215,216)(217,231)(218,230)
    (220,260)(222,239)(223,244)(224,257)(227,241)(235,240)(237,238)(242,256)
    (243,253)(246,249)(248,258)(250,261)(251,262)(254,255)(263,267)(268,273)
    (269,272)(270,271), (  1,  2)(  423)(  511)(  919)( 1027)( 1320)
    ( 1424)( 1516)( 1725)( 2122)( 2669)( 2854)( 2951)( 3041)
    ( 3160)( 3237)( 3391)( 3492)( 3875)( 3940)( 4243)( 4455)
    ( 4587)( 4647)( 48,145)( 4950)( 5253)( 5662)( 5772)( 5859)
    ( 6171)( 6368)( 6465)( 6667)( 7374)( 76,111)( 77,116)( 78,143)
    ( 79,120)( 81,124)( 8283)( 8485)( 8693)( 89,115)( 90,129)( 94,127)
    ( 9596)( 97,121)( 99,104)(100,105)(101,102)(106,107)(108,141)(109,110)
    (112,139)(113,114)(117,118)(122,169)(126,136)(128,150)(131,137)(132,175)
    (133,144)(135,168)(138,149)(142,146)(147,148)(151,190)(152,177)(153,178)
    (154,176)(155,165)(156,157)(158,166)(159,167)(160,161)(163,197)(164,192)
    (171,172)(173,195)(174,225)(179,200)(180,213)(181,231)(182,183)(184,191)
    (185,186)(187,232)(188,189)(193,194)(201,219)(202,217)(203,238)(204,210)
    (206,237)(207,234)(208,216)(209,251)(211,212)(214,215)(218,240)(220,246)
    (221,239)(222,228)(223,230)(224,236)(233,235)(241,242)(244,245)(247,248)
    (252,256)(253,263)(254,270)(257,258)(260,264)(261,262)(265,271)(266,267)
    (268,272)(269,275), (  1,  3)(  4,  5)(  810)(  926)( 1121)( 1217)
    ( 1318)( 1430)( 1574)( 1631)( 1956)( 2223)( 2457)( 2829)
    ( 3591)( 3637)( 3839)( 40,143)( 4172)( 4271)( 4344)( 45,152)
    ( 46,176)( 47,192)( 4895)( 4994)( 5090)( 51,190)( 52,189)( 53,183)
    ( 54,151)( 5561)( 5859)( 6073)( 6269)( 63,177)( 64,178)( 65,163)
    ( 66,167)( 6786)( 6887)( 70,174)( 7578)( 7677)( 79,108)( 80,109)
    ( 81,133)( 82,144)( 83,124)( 84,140)( 92,103)( 93,159)( 96,193)( 97,202)
    ( 98,160)(100,132)(101,116)(102,111)(104,229)(105,201)(106,200)(107,126)
    (112,123)(113,122)(114,232)(115,130)(117,118)(119,207)(120,173)(121,208)
    (125,233)(127,129)(128,166)(131,170)(134,228)(135,191)(136,179)(138,158)
    (141,195)(145,194)(146,198)(147,236)(148,230)(149,150)(153,197)(154,164)
    (155,156)(157,171)(165,172)(168,186)(169,187)(175,219)(180,181)(182,188)
    (184,185)(196,221)(199,218)(203,212)(204,238)(205,237)(210,211)(213,214)
    (215,231)(216,217)(223,224)(242,243)(244,257)(245,247)(246,249)(248,258)
    (250,251)(252,266)(253,256)(261,262)(263,267)(264,274)(265,275)(268,271)
    (269,272)(270,273), (  1,  8)(  310)(  426)(  5,  9)( 1114)( 1213)
    ( 1516)( 1718)( 1924)( 2130)( 2243)( 2344)( 2829)( 3174)
    ( 3592)( 3637)( 3839)( 4078)( 4142)( 4546)( 4793)( 4849)
    ( 50,132)( 5152)( 5354)( 5569)( 5657)( 5873)( 5960)( 6162)
    ( 6364)( 6566)( 6768)( 7172)( 75,143)( 76,140)( 7784)( 7980)
    ( 8182)( 83,117)( 8589)( 8687)( 8899)( 90,100)( 91,103)( 9495)
    ( 96,136)( 9798)(101,130)(105,106)(107,129)(108,109)(110,142)(112,113)
    (114,131)(115,116)(118,124)(122,123)(125,147)(126,127)(128,172)(133,144)
    (134,135)(137,139)(138,171)(141,146)(145,175)(149,150)(151,183)(152,176)
    (153,154)(155,156)(157,158)(159,192)(160,202)(161,206)(162,234)(163,167)
    (164,197)(165,166)(170,232)(177,178)(179,193)(180,181)(182,188)(184,221)
    (185,196)(189,190)(191,228)(194,219)(195,198)(200,201)(203,213)(204,215)
    (205,216)(210,211)(212,214)(217,237)(220,255)(222,239)(223,243)(224,242)
    (225,226)(227,240)(231,238)(233,236)(235,241)(244,253)(245,247)(248,263)
    (250,251)(252,266)(254,260)(256,257)(258,267)(261,262)(264,265)(268,273)
    (270,271)(274,275), (  1,  2)(  5,  6)(  711)(  8,  9)( 1028)( 1219)
    ( 1624)( 1787)( 1888)( 2223)( 2554)( 2629)( 2745)( 3033)
    ( 3190)( 32,131)( 34,149)( 3594)( 37,137)( 38,139)( 40,101)( 41,115)
    ( 42,126)( 43,120)( 4470)( 46,114)( 4748)( 4960)( 5057)( 5162)
    ( 5264)( 5598)( 5668)( 58,199)( 59,134)( 61,136)( 6369)( 66,128)
    ( 7179)( 72,129)( 7391)( 7489)( 75,109)( 76,112)( 7783)( 78,133)
    ( 8081)( 82,143)( 84,138)( 8586)( 9293)( 95,135)( 9697)( 99,100)
    (103,148)(104,105)(107,108)(110,111)(113,171)(116,144)(117,125)(118,119)
    (121,122)(123,124)(127,130)(140,147)(145,172)(153,238)(154,245)(155,231)
    (156,184)(157,208)(158,236)(159,230)(160,179)(161,195)(162,198)(163,220)
    (164,216)(165,244)(166,223)(167,224)(168,169)(173,174)(176,181)(177,190)
    (178,212)(180,232)(182,246)(183,209)(185,215)(186,248)(187,258)(188,211)
    (189,203)(191,192)(193,213)(194,257)(196,262)(197,251)(200,225)(201,264)
    (202,214)(204,250)(205,261)(207,233)(210,249)(217,247)(218,228)(219,260)
    (221,237)(226,265)(227,271)(229,274)(241,270)(242,254)(252,259)(255,256)
    (263,267)(269,272) ),
  schreierVector := [ -134426655511551215
      134333353665226624323233
      556535663553114553236513
      563634312112355233656666
      353635565513533354261335
      652126341426423465662663
      613546122611443334444432
      141241143144254546635241
      335444513232664561554462
      366641342623363514463545
      343613255666266431555566
      16123661543663464 ],
  adjacencies := 
   [ [ 3031323643464849575859617479848691
          92959799105113115122126129132134137149
          156157160163164165166167168170172174175
          176178180183184186187189191192193194195
          196199200201202205206208211213215216218
          221222226227228229230231232236237238239
          240241243245246247251252253254255256257
          258259260261262263265266267268269271272
          273274275 ] ],
  representatives := [ 1 ],
  isSimple := true );

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet am  2026-06-05) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.