Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "smallantimagmas",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Copyright", "0.0-1", [ 0, 0, 1 ], 23, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", "0.0-2", [ 0, 0, 2 ], 34, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", "0.0-3", [ 0, 0, 3 ], 41, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Ysmallantimagmas automatic generated documentation\
\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 4, 
      "smallantimagmas automatic generated documentation", 
      "X7EB7BB817CC15891" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Ysmallantimagmas automatic generated documentation\
 of properties\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 4, 
      "smallantimagmas automatic generated documentation of properties", 
      "X78F902077A6714C4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Ysmallantimagmas automatic generated documentation\
 of attributes\033[133X\033[101X", "1.2", [ 1, 2, 0 ], 192, 7, 
      "smallantimagmas automatic generated documentation of attributes", 
      "X839C88FC81394B14" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Ysmallantimagmas automatic generated documentation\
 of global functions\033[133X\033[101X", "1.3", [ 1, 3, 0 ], 303, 9, 
      "smallantimagmas automatic generated documentation of global functions",
      "X7A4C95527CCD8524" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Ysmallantimagmas automatic generated documentation\
 of methods\033[133X\033[101X", "1.4", [ 1, 4, 0 ], 485, 12, 
      "smallantimagmas automatic generated documentation of methods", 
      "X8553DA53796C81EA" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 14, "index", "X83A0356F839C696F" ], 
  [ "License", "0.0-1", [ 0, 0, 1 ], 23, 2, "license", "X81488B807F2A1CF1" ], 
  [ "\033[2XIsAntiassociative\033[102X for IsMagma", "1.1-1", [ 1, 1, 1 ], 7, 
      4, "isantiassociative for ismagma", "X7B8537C57970AE37" ], 
  [ "\033[2XIsLeftCyclic\033[102X for IsMagma", "1.1-2", [ 1, 1, 2 ], 23, 4, 
      "isleftcyclic for ismagma", "X8392BFEE78284DE1" ], 
  [ "\033[2XIsRightCyclic\033[102X for IsMagma", "1.1-3", [ 1, 1, 3 ], 30, 4, 
      "isrightcyclic for ismagma", "X7BE3D1C0801AE7EA" ], 
  [ "\033[2XIsLeftDistributive\033[102X for IsMagma", "1.1-4", [ 1, 1, 4 ], 
      37, 4, "isleftdistributive for ismagma", "X7D377A068350EE46" ], 
  [ "\033[2XIsRightDistributive\033[102X for IsMagma", "1.1-5", [ 1, 1, 5 ], 
      49, 5, "isrightdistributive for ismagma", "X856E2BBA7B87F209" ], 
  [ "\033[2XIsLeftCancellative\033[102X for IsMagma", "1.1-6", [ 1, 1, 6 ], 
      61, 5, "isleftcancellative for ismagma", "X7D994F7382127E77" ], 
  [ "\033[2XIsRightCancellative\033[102X for IsMagma", "1.1-7", [ 1, 1, 7 ], 
      82, 5, "isrightcancellative for ismagma", "X85C01ECF83CD5484" ], 
  [ "\033[2XIsCancellative\033[102X for IsMagma", "1.1-8", [ 1, 1, 8 ], 94, 
      5, "iscancellative for ismagma", "X7E58570787350F43" ], 
  [ "\033[2XIsLeftFPFInducted\033[102X for IsMagma", "1.1-9", [ 1, 1, 9 ], 
      106, 6, "isleftfpfinducted for ismagma", "X7965D94579F05D6F" ], 
  [ "\033[2XIsRightFPFInducted\033[102X for IsMagma", "1.1-10", [ 1, 1, 10 ], 
      121, 6, "isrightfpfinducted for ismagma", "X866768408460130D" ], 
  [ "\033[2XIsLeftDerangementInducted\033[102X for IsMagma", "1.1-11", 
      [ 1, 1, 11 ], 136, 6, "isleftderangementinducted for ismagma", 
      "X7B55200A7A734759" ], 
  [ "\033[2XIsRightDerangementInducted\033[102X for IsMagma", "1.1-12", 
      [ 1, 1, 12 ], 154, 6, "isrightderangementinducted for ismagma", 
      "X7E0D0CD780550E81" ], 
  [ "\033[2XIsLeftAlternative\033[102X for IsMagma", "1.1-13", [ 1, 1, 13 ], 
      172, 7, "isleftalternative for ismagma", "X83147660820830E8" ], 
  [ "\033[2XIsRightAlternative\033[102X for IsMagma", "1.1-14", [ 1, 1, 14 ], 
      182, 7, "isrightalternative for ismagma", "X7C16C7657F8B5A61" ], 
  [ "\033[2XAssociativityIndex\033[102X for IsMagma", "1.2-1", [ 1, 2, 1 ], 
      195, 7, "associativityindex for ismagma", "X809A477180F2A0F6" ], 
  [ "\033[2XDiagonalOfMultiplicationTable\033[102X for IsMagma", "1.2-2", 
      [ 1, 2, 2 ], 214, 7, "diagonalofmultiplicationtable for ismagma", 
      "X802DA9B083E7F4A3" ], 
  [ "\033[2XCommutativityIndex\033[102X for IsMagma", "1.2-3", [ 1, 2, 3 ], 
      230, 8, "commutativityindex for ismagma", "X87FED7267EB0A068" ], 
  [ "\033[2XAnticommutativityIndex\033[102X for IsMagma", "1.2-4", 
      [ 1, 2, 4 ], 240, 8, "anticommutativityindex for ismagma", 
      "X7D32B8F780294AEC" ], 
  [ "\033[2XSquaresIndex\033[102X for IsMagma", "1.2-5", [ 1, 2, 5 ], 249, 8, 
      "squaresindex for ismagma", "X85904967802C27B4" ], 
  [ "\033[2XIdSmallAntimagma\033[102X for IsMagma", "1.2-6", [ 1, 2, 6 ], 
      264, 8, "idsmallantimagma for ismagma", "X783C01BD7B931A12" ], 
  [ "\033[2XLeftOrder\033[102X for IsExtLElement", "1.2-7", [ 1, 2, 7 ], 279, 
      9, "leftorder for isextlelement", "X78BF96667D805695" ], 
  [ "\033[2XRightOrder\033[102X for IsExtRElement", "1.2-8", [ 1, 2, 8 ], 
      285, 9, "rightorder for isextrelement", "X850894387AD0E717" ], 
  [ "\033[2XLeftOrdersOfElements\033[102X for IsMagma", "1.2-9", [ 1, 2, 9 ], 
      291, 9, "leftordersofelements for ismagma", "X7CDCE61679BFD1F7" ], 
  [ "\033[2XRightOrdersOfElements\033[102X for IsMagma", "1.2-10", 
      [ 1, 2, 10 ], 297, 9, "rightordersofelements for ismagma", 
      "X84D8A5D88790F870" ], 
  [ "\033[2XAllSubmagmas\033[102X", "1.3-1", [ 1, 3, 1 ], 306, 9, 
      "allsubmagmas", "X8011AFA47C662D53" ], 
  [ "\033[2XMagmaIsomorphismInvariantsMatch\033[102X", "1.3-2", [ 1, 3, 2 ], 
      319, 9, "magmaisomorphisminvariantsmatch", "X7BA7BE44861A8C51" ], 
  [ "\033[2XIsMagmaIsomorphic\033[102X", "1.3-3", [ 1, 3, 3 ], 325, 10, 
      "ismagmaisomorphic", "X7F7EAF23807EE984" ], 
  [ "\033[2XIsMagmaAntiisomorphic\033[102X", "1.3-4", [ 1, 3, 4 ], 346, 10, 
      "ismagmaantiisomorphic", "X807BD59180325341" ], 
  [ "\033[2XTransposedMagma\033[102X", "1.3-5", [ 1, 3, 5 ], 367, 10, 
      "transposedmagma", "X79BF9EB48562EF6C" ], 
  [ "\033[2XLeftPower\033[102X", "1.3-6", [ 1, 3, 6 ], 390, 11, "leftpower", 
      "X7FD21A58851687DF" ], 
  [ "\033[2XRightPower\033[102X", "1.3-7", [ 1, 3, 7 ], 396, 11, 
      "rightpower", "X788005DE7947D914" ], 
  [ "\033[2XAllSmallAntimagmas\033[102X", "1.3-8", [ 1, 3, 8 ], 402, 11, 
      "allsmallantimagmas", "X7DDB92C284197B0B" ], 
  [ "\033[2XNrSmallAntimagmas\033[102X", "1.3-9", [ 1, 3, 9 ], 420, 11, 
      "nrsmallantimagmas", "X7E5054007A985873" ], 
  [ "\033[2XSmallAntimagma\033[102X", "1.3-10", [ 1, 3, 10 ], 435, 12, 
      "smallantimagma", "X7903CEEA79DEBA73" ], 
  [ "\033[2XOneSmallAntimagma\033[102X", "1.3-11", [ 1, 3, 11 ], 448, 12, 
      "onesmallantimagma", "X804A623879A9AC7F" ], 
  [ "\033[2XReallyAllSmallAntimagmas\033[102X", "1.3-12", [ 1, 3, 12 ], 462, 
      12, "reallyallsmallantimagmas", "X7D0A720279246D45" ], 
  [ "\033[2XReallyNrSmallAntimagmas\033[102X", "1.3-13", [ 1, 3, 13 ], 474, 
      12, "reallynrsmallantimagmas", "X796637787C216BA1" ], 
  [ "\033[2XMagmaIsomorphism\033[102X for IsMagma, IsMagma", "1.4-1", 
      [ 1, 4, 1 ], 488, 12, "magmaisomorphism for ismagma ismagma", 
      "X87F3EA827FF3D302" ], 
  [ "\033[2XMagmaAntiisomorphism\033[102X for IsMagma, IsMagma", "1.4-2", 
      [ 1, 4, 2 ], 503, 13, "magmaantiisomorphism for ismagma ismagma", 
      "X7AB3F3E37D8A5687" ] ]
);