Quelle manual.six Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "PERMUT",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Table of Contents", ".-1", [ 0, 0, 1 ], 45, 2, "table of contents",
      "X8537FEB07AF2BEC8" ],
  [
      "\033[1X\033[33X\033[0;-2YIntroduction to the \033[5XPERMUT\033[105X\033[10\
1X\027\033[1X\027 Package\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 3,
      "introduction to the permut package", "X7A6D71137AE20820" ],
  [
      "\033[1X\033[33X\033[0;-2YInstallation and Help of the \033[5XPERMUT\033[10\
5X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1,
      5, "installation and help of the permut package", "X78FA2A627FAD92E6" ],
  [ "\033[1X\033[33X\033[0;-2YPermutability of Subgroups in Finite Groups\033[\
133X\033[101X", "3", [ 3, 0, 0 ], 1, 6,
      "permutability of subgroups in finite groups", "X7B87CECD83EA77DF" ],
  [ "\033[1X\033[33X\033[0;-2YPermutability functions\033[133X\033[101X",
      "3.1", [ 3, 1, 0 ], 11, 6, "permutability functions",
      "X834D77E17960C0B7" ],
  [
      "\033[1X\033[33X\033[0;-2YEmbedding properties related to permutability\\
033[133X\033[101X", "3.2", [ 3, 2, 0 ], 54, 7,
      "embedding properties related to permutability", "X875BEB9B7D0DBC9A" ],
  [ "\033[1X\033[33X\033[0;-2YT-groups, PT-groups, and PST-groups\033[133X\033\
[101X", "4", [ 4, 0, 0 ], 1, 15, "t-groups pt-groups and pst-groups",
      "X7E7EFDD1878F599D" ],
  [
      "\033[1X\033[33X\033[0;-2Y\033[21XOne\033[121X\033[101X\027\033[1X\027 func\
tions\033[133X\033[101X", "4.1", [ 4, 1, 0 ], 25, 15, "one functions",
      "X7ABC289380DB85BE" ],
  [
      "\033[1X\033[33X\033[0;-2YGroup properties related to permutability\033[133\
X\033[101X", "4.2", [ 4, 2, 0 ], 159, 17,
      "group properties related to permutability", "X7B13DA0A800D8635" ],
  [
      "\033[1X\033[33X\033[0;-2YLocal Functions in the \033[5XPERMUT\033[105X\\
033[101X\027\033[1X\027 Package\033[133X\033[101X", "5", [ 5, 0, 0 ], 1, 21,
      "local functions in the permut package", "X83F7986D84F33F6C" ],
  [
      "\033[1X\033[33X\033[0;-2YA Local Function for Supersolubility\033[133X\\
033[101X", "5.1", [ 5, 1, 0 ], 15, 21, "a local function for supersolubility",
      "X7E8389FD7DE9769C" ],
  [
      "\033[1X\033[33X\033[0;-2YLocal functions for T-groups, PT-groups, and PST-\
groups\033[133X\033[101X", "5.2", [ 5, 2, 0 ], 62, 22,
      "local functions for t-groups pt-groups and pst-groups",
      "X7C4B2A9A7F2D7E0B" ],
  [
      "\033[1X\033[33X\033[0;-2YAuxiliary Functions for T-groups, PT-groups, and \
PST-groups\033[133X\033[101X", "5.3", [ 5, 3, 0 ], 161, 24,
      "auxiliary functions for t-groups pt-groups and pst-groups",
      "X8540D4B679519F8B" ],
  [
      "\033[1X\033[33X\033[0;-2YTotally and Mutually Permutable Products\033[133X\
\033[101X", "6", [ 6, 0, 0 ], 1, 27,
      "totally and mutually permutable products", "X82E82E45786E1B22" ],
  [
      "\033[1X\033[33X\033[0;-2YFunctions for Mutually and Totally Permutable Pro\
ducts\033[133X\033[101X", "6.1", [ 6, 1, 0 ], 18, 27,
      "functions for mutually and totally permutable products",
      "X85291E9D86736F21" ],
  [
      "\033[1X\033[33X\033[0;-2YOther Functions in the \033[5XPERMUT\033[105X\\
033[101X\027\033[1X\027 Package\033[133X\033[101X", "7", [ 7, 0, 0 ], 1, 30,
      "other functions in the permut package", "X840872AB823EB3DB" ],
  [ "\033[1X\033[33X\033[0;-2YFunctions\033[133X\033[101X", "7.1",
      [ 7, 1, 0 ], 8, 30, "functions", "X86FA580F8055B274" ],
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 33, "bibliography",
      "X7A6F98FD85F02BFE" ],
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 33, "references",
      "X7A6F98FD85F02BFE" ],
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 35, "index", "X83A0356F839C696F" ],
  [ "\033[2XArePermutableSubgroups\033[102X", "3.1-1", [ 3, 1, 1 ], 14, 6,
      "arepermutablesubgroups", "X862727A87C26B10B" ],
  [ "\033[2XPermutMaxTries\033[102X", "3.2-1", [ 3, 2, 1 ], 64, 7,
      "permutmaxtries", "X85CFBEBB83245E3A" ],
  [ "\033[2XIsPermutable\033[102X", "3.2-2", [ 3, 2, 2 ], 73, 7,
      "ispermutable", "X80C15D427EC11A5F" ],
  [ "\033[2XIsPermutableInParent\033[102X", "3.2-2", [ 3, 2, 2 ], 73, 7,
      "ispermutableinparent", "X80C15D427EC11A5F" ],
  [ "\033[2XOneSubgroupNotPermutingWith\033[102X", "3.2-3", [ 3, 2, 3 ], 91,
      7, "onesubgroupnotpermutingwith", "X8244918D7D1C2703" ],
  [ "\033[2XOneSubgroupNotPermutingWithInParent\033[102X", "3.2-3",
      [ 3, 2, 3 ], 91, 7, "onesubgroupnotpermutingwithinparent",
      "X8244918D7D1C2703" ],
  [ "\033[2XIsFPermutable\033[102X", "3.2-4", [ 3, 2, 4 ], 143, 8,
      "isfpermutable", "X865C7F81823FFA10" ],
  [ "\033[2XOneFSubgroupNotPermutingWith\033[102X", "3.2-5", [ 3, 2, 5 ],
      156, 9, "onefsubgroupnotpermutingwith", "X826D28757824F83E" ],
  [ "\033[2XIsSPermutable\033[102X", "3.2-6", [ 3, 2, 6 ], 204, 9,
      "isspermutable", "X7BA6690983912C09" ],
  [ "\033[2XIsSPermutableInParent\033[102X", "3.2-6", [ 3, 2, 6 ], 204, 9,
      "isspermutableinparent", "X7BA6690983912C09" ],
  [ "\033[2XOneSylowSubgroupNotPermutingWith\033[102X", "3.2-7", [ 3, 2, 7 ],
      221, 10, "onesylowsubgroupnotpermutingwith", "X83E103AF7C3DC9B7" ],
  [ "\033[2XOneSylowSubgroupNotPermutingWithInParent\033[102X", "3.2-7",
      [ 3, 2, 7 ], 221, 10, "onesylowsubgroupnotpermutingwithinparent",
      "X83E103AF7C3DC9B7" ],
  [ "\033[2XIsSNPermutable\033[102X", "3.2-8", [ 3, 2, 8 ], 238, 10,
      "issnpermutable", "X86A62A52831BE00E" ],
  [ "\033[2XIsSNPermutableInParent\033[102X", "3.2-8", [ 3, 2, 8 ], 238, 10,
      "issnpermutableinparent", "X86A62A52831BE00E" ],
  [ "\033[2XOneSystemNormaliserNotPermutingWith\033[102X", "3.2-9",
      [ 3, 2, 9 ], 247, 10, "onesystemnormalisernotpermutingwith",
      "X83D1BF5778D6790A" ],
  [ "\033[2XOneSystemNormaliserNotPermutingWithInParent\033[102X", "3.2-9",
      [ 3, 2, 9 ], 247, 10, "onesystemnormalisernotpermutingwithinparent",
      "X83D1BF5778D6790A" ],
  [ "\033[2XIsConjugatePermutable\033[102X", "3.2-10", [ 3, 2, 10 ], 273, 11,
      "isconjugatepermutable", "X7B2E052E7F9C4251" ],
  [ "\033[2XIsConjugatePermutableInParent\033[102X", "3.2-10", [ 3, 2, 10 ],
      273, 11, "isconjugatepermutableinparent", "X7B2E052E7F9C4251" ],
  [ "\033[2XOneConjugateSubgroupNotPermutingWith\033[102X", "3.2-11",
      [ 3, 2, 11 ], 292, 11, "oneconjugatesubgroupnotpermutingwith",
      "X809E1C8E8384ADE8" ],
  [ "\033[2XOneConjugateSubgroupNotPermutingWithInParent\033[102X", "3.2-11",
      [ 3, 2, 11 ], 292, 11, "oneconjugatesubgroupnotpermutingwithinparent",
      "X809E1C8E8384ADE8" ],
  [ "\033[2XIsWeaklySPermutable\033[102X", "3.2-12", [ 3, 2, 12 ], 317, 11,
      "isweaklyspermutable", "X7AC58CFF87770C6C" ],
  [ "\033[2XIsWeaklySPermutableInParent\033[102X", "3.2-12", [ 3, 2, 12 ],
      317, 11, "isweaklyspermutableinparent", "X7AC58CFF87770C6C" ],
  [ "\033[2XOneElementShowingNotWeaklySPermutable\033[102X", "3.2-13",
      [ 3, 2, 13 ], 326, 12, "oneelementshowingnotweaklyspermutable",
      "X870923B4798E5097" ],
  [ "\033[2XOneElementShowingNotWeaklySPermutableInParent\033[102X",
      "3.2-13", [ 3, 2, 13 ], 326, 12,
      "oneelementshowingnotweaklyspermutableinparent", "X870923B4798E5097" ],
  [ "\033[2XIsWeaklyPermutable\033[102X", "3.2-14", [ 3, 2, 14 ], 337, 12,
      "isweaklypermutable", "X85E85FBF78DAB08E" ],
  [ "\033[2XIsWeaklyPermutableInParent\033[102X", "3.2-14", [ 3, 2, 14 ],
      337, 12, "isweaklypermutableinparent", "X85E85FBF78DAB08E" ],
  [ "\033[2XOneElementShowingNotWeaklyPermutable\033[102X", "3.2-15",
      [ 3, 2, 15 ], 346, 12, "oneelementshowingnotweaklypermutable",
      "X8427C8DD78732D56" ],
  [ "\033[2XOneElementShowingNotWeaklyPermutableInParent\033[102X", "3.2-15",
      [ 3, 2, 15 ], 346, 12, "oneelementshowingnotweaklypermutableinparent",
      "X8427C8DD78732D56" ],
  [ "\033[2XIsWeaklyNormal\033[102X", "3.2-16", [ 3, 2, 16 ], 357, 12,
      "isweaklynormal", "X84BE89EF8140D2C0" ],
  [ "\033[2XIsWeaklyNormalInParent\033[102X", "3.2-16", [ 3, 2, 16 ], 357,
      12, "isweaklynormalinparent", "X84BE89EF8140D2C0" ],
  [ "\033[2XOneElementShowingNotWeaklyNormal\033[102X", "3.2-17",
      [ 3, 2, 17 ], 366, 12, "oneelementshowingnotweaklynormal",
      "X82C8AE027E578ACF" ],
  [ "\033[2XOneElementShowingNotWeaklyNormalInParent\033[102X", "3.2-17",
      [ 3, 2, 17 ], 366, 12, "oneelementshowingnotweaklynormalinparent",
      "X82C8AE027E578ACF" ],
  [ "\033[2XIsWithSubnormalizerCondition\033[102X", "3.2-18", [ 3, 2, 18 ],
      392, 13, "iswithsubnormalizercondition", "X872EA72A7CEC3E65" ],
  [ "\033[2XIsWithSubnormalizerConditionInParent\033[102X", "3.2-18",
      [ 3, 2, 18 ], 392, 13, "iswithsubnormalizerconditioninparent",
      "X872EA72A7CEC3E65" ],
  [ "\033[2XIsWithSubnormaliserCondition\033[102X", "3.2-18", [ 3, 2, 18 ],
      392, 13, "iswithsubnormalisercondition", "X872EA72A7CEC3E65" ],
  [ "\033[2XIsWithSubnormaliserConditionInParent\033[102X", "3.2-18",
      [ 3, 2, 18 ], 392, 13, "iswithsubnormaliserconditioninparent",
      "X872EA72A7CEC3E65" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotNormal\033[102X", "3.2-19",
      [ 3, 2, 19 ], 406, 13, "onesubgroupinwhichsubnormalnotnormal",
      "X7FBEC9DD7C8AED52" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotNormalInParent\033[102X", "3.2-19",
      [ 3, 2, 19 ], 406, 13, "onesubgroupinwhichsubnormalnotnormalinparent",
      "X7FBEC9DD7C8AED52" ],
  [ "\033[2XIsWithSubpermutizerCondition\033[102X", "3.2-20", [ 3, 2, 20 ],
      414, 13, "iswithsubpermutizercondition", "X87CA542C7E1FEEF3" ],
  [ "\033[2XIsWithSubpermutizerConditionInParent\033[102X", "3.2-20",
      [ 3, 2, 20 ], 414, 13, "iswithsubpermutizerconditioninparent",
      "X87CA542C7E1FEEF3" ],
  [ "\033[2XIsWithSubpermutiserCondition\033[102X", "3.2-20", [ 3, 2, 20 ],
      414, 13, "iswithsubpermutisercondition", "X87CA542C7E1FEEF3" ],
  [ "\033[2XIsWithSubpermutiserConditionInParent\033[102X", "3.2-20",
      [ 3, 2, 20 ], 414, 13, "iswithsubpermutiserconditioninparent",
      "X87CA542C7E1FEEF3" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotPermutable\033[102X", "3.2-21",
      [ 3, 2, 21 ], 428, 14, "onesubgroupinwhichsubnormalnotpermutable",
      "X79648B4F8758E187" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotPermutableInParent\033[102X",
      "3.2-21", [ 3, 2, 21 ], 428, 14,
      "onesubgroupinwhichsubnormalnotpermutableinparent", "X79648B4F8758E187"
     ],
  [ "\033[2XIsWithSSubpermutizerCondition\033[102X", "3.2-22", [ 3, 2, 22 ],
      436, 14, "iswithssubpermutizercondition", "X831F5B8787BB111F" ],
  [ "\033[2XIsWithSSubpermutizerConditionInParent\033[102X", "3.2-22",
      [ 3, 2, 22 ], 436, 14, "iswithssubpermutizerconditioninparent",
      "X831F5B8787BB111F" ],
  [ "\033[2XIsWithSSubpermutiserCondition\033[102X", "3.2-22", [ 3, 2, 22 ],
      436, 14, "iswithssubpermutisercondition", "X831F5B8787BB111F" ],
  [ "\033[2XIsWithSSubpermutiserConditionInParent\033[102X", "3.2-22",
      [ 3, 2, 22 ], 436, 14, "iswithssubpermutiserconditioninparent",
      "X831F5B8787BB111F" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotSPermutable\033[102X", "3.2-23",
      [ 3, 2, 23 ], 450, 14, "onesubgroupinwhichsubnormalnotspermutable",
      "X7AC9002B7D5AB2DA" ],
  [ "\033[2XOneSubgroupInWhichSubnormalNotSPermutableInParent\033[102X",
      "3.2-23", [ 3, 2, 23 ], 450, 14,
      "onesubgroupinwhichsubnormalnotspermutableinparent",
      "X7AC9002B7D5AB2DA" ],
  [ "\033[2XOneSubnormalNonNormalSubgroup\033[102X", "4.1-1", [ 4, 1, 1 ],
      28, 15, "onesubnormalnonnormalsubgroup", "X7E15C5F778535A28" ],
  [ "\033[2XOneSubnormalNonPermutableSubgroup\033[102X", "4.1-2",
      [ 4, 1, 2 ], 55, 16, "onesubnormalnonpermutablesubgroup",
      "X7F5EE21F85A8D14F" ],
  [ "\033[2XOneSubnormalNonSPermutableSubgroup\033[102X", "4.1-3",
      [ 4, 1, 3 ], 87, 16, "onesubnormalnonspermutablesubgroup",
      "X7D7717657B9C7BEB" ],
  [ "\033[2XOneSubnormalNonConjugatePermutableSubgroup\033[102X", "4.1-4",
      [ 4, 1, 4 ], 113, 17, "onesubnormalnonconjugatepermutablesubgroup",
      "X7878496C869CB90C" ],
  [ "\033[2XOneSubnormalNonSNPermutableSubgroup\033[102X", "4.1-5",
      [ 4, 1, 5 ], 137, 17, "onesubnormalnonsnpermutablesubgroup",
      "X7B23E3857CA178FE" ],
  [ "\033[2XIsTGroup\033[102X", "4.2-1", [ 4, 2, 1 ], 164, 17, "istgroup",
      "X7930E5AD817BE4B3" ],
  [ "\033[2XIsPTGroup\033[102X", "4.2-2", [ 4, 2, 2 ], 201, 18, "isptgroup",
      "X7CF2634F84EC572B" ],
  [ "\033[2XIsPSTGroup\033[102X", "4.2-3", [ 4, 2, 3 ], 235, 19,
      "ispstgroup", "X7BB4D5A782FF5B0E" ],
  [ "\033[2XIsCPTGroup\033[102X", "4.2-4", [ 4, 2, 4 ], 284, 19,
      "iscptgroup", "X8789176282320022" ],
  [ "\033[2XIsPSNTGroup\033[102X", "4.2-5", [ 4, 2, 5 ], 302, 20,
      "ispsntgroup", "X7B9EBEA07DBE246F" ],
  [ "\033[2XIsPSupersolvable\033[102X", "5.1-1", [ 5, 1, 1 ], 22, 21,
      "ispsupersolvable", "X7B9F19A37F4A5B35" ],
  [ "\033[2XIsPSupersoluble\033[102X", "5.1-1", [ 5, 1, 1 ], 22, 21,
      "ispsupersoluble", "X7B9F19A37F4A5B35" ],
  [ "\033[2XIsCp\033[102X", "5.2-1", [ 5, 2, 1 ], 74, 22, "iscp",
      "X780657F179FFB7EE" ],
  [ "\033[2XIsXp\033[102X", "5.2-2", [ 5, 2, 2 ], 105, 23, "isxp",
      "X82953B4878F88327" ],
  [ "\033[2XIsYp\033[102X", "5.2-3", [ 5, 2, 3 ], 132, 23, "isyp",
      "X8304885C78E4A584" ],
  [ "\033[2XIsAbCp\033[102X", "5.3-1", [ 5, 3, 1 ], 167, 24, "isabcp",
      "X8775CAFD80D3FC02" ],
  [ "\033[2XIsDedekindSylow\033[102X", "5.3-2", [ 5, 3, 2 ], 190, 24,
      "isdedekindsylow", "X7A6372D3871E8E55" ],
  [ "\033[2XIwasawaTripleWithSubgroup\033[102X", "5.3-3", [ 5, 3, 3 ], 220,
      24, "iwasawatriplewithsubgroup", "X812C3A017F534CC0" ],
  [ "\033[2XIwasawaTriple\033[102X", "5.3-4", [ 5, 3, 4 ], 251, 25,
      "iwasawatriple", "X7E86B21086879C48" ],
  [ "\033[2XIsIwasawaSylow\033[102X", "5.3-5", [ 5, 3, 5 ], 298, 26,
      "isiwasawasylow", "X8121A92F7EABEA0C" ],
  [ "\033[2XAreMutuallyPermutableSubgroups\033[102X", "6.1-1", [ 6, 1, 1 ],
      21, 27, "aremutuallypermutablesubgroups", "X876F4E0D7C796134" ],
  [ "\033[2XOnePairShowingNotMutuallyPermutableSubgroups\033[102X", "6.1-2",
      [ 6, 1, 2 ], 33, 27, "onepairshowingnotmutuallypermutablesubgroups",
      "X80225ABC79C7875F" ],
  [ "\033[2XAreTotallyPermutableSubgroups\033[102X", "6.1-3", [ 6, 1, 3 ],
      42, 28, "aretotallypermutablesubgroups", "X7D58DFE57AA4573B" ],
  [ "\033[2XOnePairShowingNotTotallyPermutableSubgroups\033[102X", "6.1-4",
      [ 6, 1, 4 ], 53, 28, "onepairshowingnottotallypermutablesubgroups",
      "X7B51474D878ACD11" ],
  [ "\033[2XAreMutuallyFPermutableSubgroups\033[102X", "6.1-5", [ 6, 1, 5 ],
      92, 28, "aremutuallyfpermutablesubgroups", "X823C6D68813B3AC8" ],
  [ "\033[2XOnePairShowingNotMutuallyFPermutableSubgroups\033[102X", "6.1-6",
      [ 6, 1, 6 ], 103, 29, "onepairshowingnotmutuallyfpermutablesubgroups",
      "X83E0517A800AB839" ],
  [ "\033[2XAreTotallyFPermutableSubgroups\033[102X", "6.1-7", [ 6, 1, 7 ],
      116, 29, "aretotallyfpermutablesubgroups", "X7B9DA1C2834CA53D" ],
  [ "\033[2XOnePairShowingNotTotallyFPermutableSubgroups\033[102X", "6.1-8",
      [ 6, 1, 8 ], 128, 29, "onepairshowingnottotallyfpermutablesubgroups",
      "X7CD0B5737A25C1AD" ],
  [ "\033[2XAllSubnormalSubgroups\033[102X", "7.1-1", [ 7, 1, 1 ], 11, 30,
      "allsubnormalsubgroups", "X81EA23787BCD8633" ],
  [ "\033[2XPrimesDividingSize\033[102X", "7.1-2", [ 7, 1, 2 ], 31, 30,
      "primesdividingsize", "X858C07DA815A2E9A" ],
  [ "\033[2XSylowSubgroups\033[102X", "7.1-3", [ 7, 1, 3 ], 45, 31,
      "sylowsubgroups", "X7B07AAD37F7CEDEB" ],
  [ "\033[2XIsSCGroup\033[102X", "7.1-4", [ 7, 1, 4 ], 67, 31, "isscgroup",
      "X7E01D1C47814DA3C" ],
  [ "\033[2XIsSylowTowerGroup\033[102X", "7.1-5", [ 7, 1, 5 ], 92, 31,
      "issylowtowergroup", "X798736C17DD23F8A" ],
  [ "\033[2XPermutizer\033[102X", "7.1-6", [ 7, 1, 6 ], 110, 32,
      "permutizer", "X81FCDD7C7A5D1658" ],
  [ "\033[2XPermutiser\033[102X", "7.1-6", [ 7, 1, 6 ], 110, 32,
      "permutiser", "X81FCDD7C7A5D1658" ],
  [ "\033[2XAllGeneratorsCyclicPGroup\033[102X", "7.1-7", [ 7, 1, 7 ], 128,
      32, "allgeneratorscyclicpgroup", "X7D47DF77826C1BE0" ] ]
);

Quelle manual.six Sprache: unbekannt

[ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ]