#SIXFORMAT GapDocGAP HELPBOOKINFOSIXTMP := rec( encoding := "UTF-8", bookname := "HAPprime Datatypes", entries := [ [ "Title page", "", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], [ "Copyright", "-1", [ 0, 0, 1 ], 30, 2, "copyright", "X81488B807F2A1CF1" ], [ "Acknowledgements", "-2", [ 0, 0, 2 ], 56, 2, "acknowledgements", "X82A988D47DFAFCFA" ], [ "Table of Contents", "-3", [ 0, 0, 3 ], 62, 3, "table of contents", "X8537FEB07AF2BEC8" ], [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 8, "introduction", "X7DFB63A97E67C0A1" ], [ "\033[1XResolutions\033[0X", "2", [ 2, 0, 0 ], 1, 9, "resolutions", "X7C0B125E7D5415B4" ], [ "\033[1XThe \033[9XHAPResolution\033[1X datatype in \033[5XHAPprime\033[1X\ \033[0X", "2.1", [ 2, 1, 0 ], 14, 9, "the hapresolution datatype in happrime", "X86DA1C1B7EDE0DD8" ], [ "\033[1XImplementation: Constructing resolutions\033[0X", "2.2", [ 2, 2, 0 ], 29, 9, "implementation: constructing resolutions", "X7D3C5D987DEB2360" ], [ "\033[1XResolution construction functions\033[0X", "2.3", [ 2, 3, 0 ], 81, 10, "resolution construction functions", "X7D61ADD17A4CF194" ], [ "\033[1XResolution data access functions\033[0X", "2.4", [ 2, 4, 0 ], 118, 11, "resolution data access functions", "X84AD05E17FA85CB1" ], [ "\033[1XExample: Computing and working with resolutions\033[0X", "2.5", [ 2, 5, 0 ], 175, 12, "example: computing and working with resolutions", "X81D7C767813647B3" ], [ "\033[1XMiscellaneous resolution functions\033[0X", "2.6", [ 2, 6, 0 ], 256, 13, "miscellaneous resolution functions", "X79487D6C80383A6A" ], [ "\033[1XGraded algebras\033[0X", "3", [ 3, 0, 0 ], 1, 14, "graded algebras", "X8074AAF07A3E7D2C" ], [ "\033[1XGraded algebras in \033[5XHAP\033[1X (and \033[5XHAPprime\033[1X)\ \033[0X", "3.1", [ 3, 1, 0 ], 20, 14, "graded algebras in hap and happrime", "X844F0654822DAFCC" ], [ "\033[1XData access functions\033[0X", "3.2", [ 3, 2, 0 ], 36, 14, "data access functions", "X7DE3278D7E5DEE03" ], [ "\033[1XOther functions\033[0X", "3.3", [ 3, 3, 0 ], 89, 15, "other functions", "X87C3D1B984960984" ], [ "\033[1XExample: Graded algebras and mod-p cohomology rings\033[0X", "3.4", [ 3, 4, 0 ], 106, 16, "example: graded algebras and mod-p cohomology rings", "X790D62E37AA53C39" ], [ "\033[1XPresentations of graded algebras\033[0X", "4", [ 4, 0, 0 ], 1, 17, "presentations of graded algebras", "X7CF4153B7903F639" ], [ "\033[1XThe \033[9XGradedAlgebraPresentation\033[1X datatype\033[0X", "4.1", [ 4, 1, 0 ], 15, 17, "the gradedalgebrapresentation datatype", "X7F7903AE8392D54A" ], [ "\033[1XConstruction function\033[0X", "4.2", [ 4, 2, 0 ], 29, 17, "construction function", "X8589CD117D1ECD29" ], [ "\033[1XGradedAlgebraPresentation construction functions\033[0X", "4.2-1", [ 4, 2, 1 ], 32, 17, "gradedalgebrapresentation construction functions", "X84A14CBF7C499665" ], [ "\033[1XData access functions\033[0X", "4.3", [ 4, 3, 0 ], 48, 18, "data access functions", "X7DE3278D7E5DEE03" ], [ "\033[1XExample: Constructing and accessing data of a \033[9XGradedAlgebra\ Presentation\033[1X\033[0X", "4.3-7", [ 4, 3, 7 ], 99, 18, "example: constructing and accessing data of a gradedalgebrapresentation\ ", "X7DB98FC5869F4CBC" ], [ "\033[1XOther functions\033[0X", "4.4", [ 4, 4, 0 ], 123, 19, "other functions", "X87C3D1B984960984" ], [ "\033[1XTensorProduct\033[0X", "4.4-1", [ 4, 4, 1 ], 126, 19, "tensorproduct", "X87EB0B4A852CF4C6" ], [ "\033[1XSubspaceDimensionDegree\033[0X", "4.4-6", [ 4, 4, 6 ], 174, 20, "subspacedimensiondegree", "X7EF085B67B846215" ], [ "\033[1XSubspaceBasisRepsByDegree\033[0X", "4.4-7", [ 4, 4, 7 ], 184, 20, "subspacebasisrepsbydegree", "X7834EE487CAA02D4" ], [ "\033[1XExample: Computing the Lyndon-Hoschild-Serre spectral sequence and\ mod-p\033[0X \033[1Xcohomology ring for a small p-group\033[0X", "4.5", [ 4, 5, 0 ], 268, 21, "example: computing the lyndon-hoschild-serre spectral sequence and mod-\ p cohomology ring for a small p-group", "X87DD66E67D0D5485" ], [ "\033[1XFG-modules\033[0X", "5", [ 5, 0, 0 ], 1, 23, "fg-modules", "X820435E87D83DF34" ], [ "\033[1XThe \033[9XFpGModuleGF\033[1X datatype\033[0X", "5.1", [ 5, 1, 0 ], 8, 23, "the fpgmodulegf datatype", "X85FA0B237AC4A19D" ], [ "\033[1XImplementation details: Block echelon form\033[0X", "5.2", [ 5, 2, 0 ], 71, 24, "implementation details: block echelon form", "X79DF42E686679AFE" ], [ "\033[1XGenerating vectors and their block structure\033[0X", "5.2-1", [ 5, 2, 1 ], 74, 24, "generating vectors and their block structure", "X79DDD8C37A0B8425" ], [ "\033[1XMatrix echelon reduction and head elements\033[0X", "5.2-2", [ 5, 2, 2 ], 101, 24, "matrix echelon reduction and head elements", "X82F0E0067C40FDD5" ], [ "\033[1XEchelon block structure and minimal generators\033[0X", "5.2-3", [ 5, 2, 3 ], 127, 25, "echelon block structure and minimal generators", "X814C05FC87ED4035" ], [ "\033[1XIntersection of two modules\033[0X", "5.2-4", [ 5, 2, 4 ], 223, 26, "intersection of two modules", "X86F4852785A509BF" ], [ "\033[1XConstruction functions\033[0X", "5.3", [ 5, 3, 0 ], 277, 27, "construction functions", "X83D8009086035BCB" ], [ "\033[1XFpGModuleGF construction functions\033[0X", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction functions", "X862AC894821415A4" ], [ "\033[1XExample: Constructing a \033[9XFpGModuleGF\033[1X\033[0X", "5.3-5", [ 5, 3, 5 ], 364, 29, "example: constructing a fpgmodulegf", "X814553E382BC777E" ], [ "\033[1XData access functions\033[0X", "5.4", [ 5, 4, 0 ], 424, 30, "data access functions", "X7DE3278D7E5DEE03" ], [ "\033[1XExample: Accessing data about a \033[9XFpGModuleGF\033[1X\033[0X", "5.4-11", [ 5, 4, 11 ], 543, 32, "example: accessing data about a fpgmodulegf", "X7E4C3C5C7CC7B559" ], [ "\033[1XGenerator and vector space functions\033[0X", "5.5", [ 5, 5, 0 ], 598, 33, "generator and vector space functions", "X85D634767E456A9D" ], [ "\033[1XMinimalGeneratorsModule\033[0X", "5.5-9", [ 5, 5, 9 ], 710, 34, "minimalgeneratorsmodule", "X81C340AD7EE8FA63" ], [ "\033[1XExample: Generators and basis vectors of a \033[9XFpGModuleGF\033[\ 1X\033[0X", "5.5-11", [ 5, 5, 11 ], 749, 35, "example: generators and basis vectors of a fpgmodulegf", "X7F9E3DF87FE60C1A" ], [ "\033[1XBlock echelon functions\033[0X", "5.6", [ 5, 6, 0 ], 823, 36, "block echelon functions", "X7B989D1181EBBBB5" ], [ "\033[1XExample: Converting a \033[9XFpGModuleGF\033[1X to block echelon f\ orm\033[0X", "5.6-3", [ 5, 6, 3 ], 898, 38, "example: converting a fpgmodulegf to block echelon form", "X83306CFA857F177C" ], [ "\033[1XSum and intersection functions\033[0X", "5.7", [ 5, 7, 0 ], 975, 39, "sum and intersection functions", "X7B22D74482E6EF40" ], [ "\033[1XDirectSumOfModules\033[0X", "5.7-1", [ 5, 7, 1 ], 978, 39, "directsumofmodules", "X879541298181840D" ], [ "\033[1XExample: Sum and intersection of \033[9XFpGModuleGF\033[1Xs\033[0X\ ", "5.7-5", [ 5, 7, 5 ], 1071, 41, "example: sum and intersection of fpgmodulegfs", "X8198B7C986776BA8" ], [ "\033[1XMiscellaneous functions\033[0X", "5.8", [ 5, 8, 0 ], 1141, 42, "miscellaneous functions", "X8308D685809A4E2F" ], [ "\033[1XIsModuleElement\033[0X", "5.8-2", [ 5, 8, 2 ], 1155, 42, "ismoduleelement", "X78EB919D85362902" ], [ "\033[1XRandom Submodule\033[0X", "5.8-5", [ 5, 8, 5 ], 1187, 43, "random submodule", "X84EB237885A48F03" ], [ "\033[1XFG-module homomorphisms\033[0X", "6", [ 6, 0, 0 ], 1, 44, "fg-module homomorphisms", "X82F28552819A6542" ], [ "\033[1XThe \033[9XFpGModuleHomomorphismGF\033[1X datatype\033[0X", "6.1", [ 6, 1, 0 ], 4, 44, "the fpgmodulehomomorphismgf datatype", "X85481E577D3BAB8E" ], [ "\033[1XCalculating the kernel of a FG-module homorphism by splitting into\ two\033[0X \033[1Xhomomorphisms\033[0X", "6.2", [ 6, 2, 0 ], 24, 44, "calculating the kernel of a fg-module homorphism by splitting into two \ homomorphisms", "X83FF0EBD81A405A9" ], [ "\033[1XCalculating the kernel of a FG-module homorphism by column reducti\ on and\033[0X \033[1Xpartitioning\033[0X", "6.3", [ 6, 3, 0 ], 83, 45, "calculating the kernel of a fg-module homorphism by column reduction an\ d partitioning", "X8356C3B680B7110E" ], [ "\033[1XConstruction functions\033[0X", "6.4", [ 6, 4, 0 ], 145, 46, "construction functions", "X83D8009086035BCB" ], [ "\033[1XFpGModuleHomomorphismGF construction functions\033[0X", "6.4-1", [ 6, 4, 1 ], 148, 46, "fpgmodulehomomorphismgf construction functions", "X8640D133855BB892" ], [ "\033[1XExample: Constructing a \033[9XFpGModuleHomomorphismGF\033[1X\033[\ 0X", "6.4-2", [ 6, 4, 2 ], 175, 46, "example: constructing a fpgmodulehomomorphismgf", "X7EA7C568836E9730" ] , [ "\033[1XData access functions\033[0X", "6.5", [ 6, 5, 0 ], 192, 47, "data access functions", "X7DE3278D7E5DEE03" ], [ "\033[1XExample: Accessing data about a \033[9XFpGModuleHomomorphismGF\033\ [1X\033[0X", "6.5-7", [ 6, 5, 7 ], 246, 48, "example: accessing data about a fpgmodulehomomorphismgf", "X7C5F52FE80BB871A" ], [ "\033[1XImage and kernel functions\033[0X", "6.6", [ 6, 6, 0 ], 300, 49, "image and kernel functions", "X79444C767921055C" ], [ "\033[1XImageOfModuleHomomorphism\033[0X", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphism", "X8038F50582425ECA" ], [ "\033[1XPreImageRepresentativeOfModuleHomomorphism\033[0X", "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphism", "X850FD5AE80BF6F11" ], [ "\033[1XExample: Kernel and Image of a \033[9XFpGModuleHomomorphismGF\033[\ 1X\033[0X", "6.6-4", [ 6, 6, 4 ], 401, 50, "example: kernel and image of a fpgmodulehomomorphismgf", "X795D4069832F15F8" ], [ "\033[1XRing homomorphisms\033[0X", "7", [ 7, 0, 0 ], 1, 52, "ring homomorphisms", "X7E88C32A82E942DA" ], [ "\033[1XThe \033[9XHAPRingHomomorphism\033[1X datatype\033[0X", "7.1", [ 7, 1, 0 ], 12, 52, "the hapringhomomorphism datatype", "X7A0B792785E2AA8A" ], [ "\033[1XImplementation details\033[0X", "7.1-1", [ 7, 1, 1 ], 38, 52, "implementation details", "X7AB84A0B83B2C1F1" ], [ "\033[1XElimination orderings\033[0X", "7.1-2", [ 7, 1, 2 ], 55, 53, "elimination orderings", "X7AB0F3977DC63F54" ], [ "\033[1XConstruction functions\033[0X", "7.2", [ 7, 2, 0 ], 106, 54, "construction functions", "X83D8009086035BCB" ], [ "\033[1XHAPSubringToRingHomomorphism\033[0X", "7.2-2", [ 7, 2, 2 ], 120, 54, "hapsubringtoringhomomorphism", "X7A7E46337D6F47B6" ], [ "\033[1XData access functions\033[0X", "7.3", [ 7, 3, 0 ], 216, 55, "data access functions", "X7DE3278D7E5DEE03" ], [ "\033[1XGeneral functions\033[0X", "7.4", [ 7, 4, 0 ], 265, 56, "general functions", "X7B65E0C37AAB6066" ], [ "\033[1XImageOfRingHomomorphism\033[0X", "7.4-1", [ 7, 4, 1 ], 268, 56, "imageofringhomomorphism", "X8680F51E82EA1939" ], [ "\033[1XPreimageOfRingHomomorphism\033[0X", "7.4-2", [ 7, 4, 2 ], 279, 57, "preimageofringhomomorphism", "X7B1B2C0980375531" ], [ "\033[1XExample: Constructing and using a \033[9XHAPRingHomomorphism\033[1\ X\033[0X", "7.5", [ 7, 5, 0 ], 291, 57, "example: constructing and using a hapringhomomorphism", "X7A00ADEE8679D3AD" ], [ "\033[1XDerivations\033[0X", "8", [ 8, 0, 0 ], 1, 59, "derivations", "X80C0FB5A7B72B145" ], [ "\033[1XThe \033[9XHAPDerivation\033[1X datatype\033[0X", "8.1", [ 8, 1, 0 ], 17, 59, "the hapderivation datatype", "X86F29D447B67B28F" ] , [ "\033[1XComputing the kernel and homology of a derivation\033[0X", "8.2", [ 8, 2, 0 ], 42, 59, "computing the kernel and homology of a derivation", "X85F99EEF86DD595D" ], [ "\033[1XConstruction function\033[0X", "8.3", [ 8, 3, 0 ], 90, 60, "construction function", "X8589CD117D1ECD29" ], [ "\033[1XHAPDerivation construction functions\033[0X", "8.3-1", [ 8, 3, 1 ], 93, 60, "hapderivation construction functions", "X7B8058948424E639" ], [ "\033[1XData access function\033[0X", "8.4", [ 8, 4, 0 ], 108, 60, "data access function", "X789E616983759E10" ], [ "\033[1XExample: Constructing and accessing data of a \033[9XHAPDerivation\ \033[1X\033[0X", "8.4-4", [ 8, 4, 4 ], 137, 61, "example: constructing and accessing data of a hapderivation", "X84A549558235F536" ], [ "\033[1XImage, kernel and homology functions\033[0X", "8.5", [ 8, 5, 0 ], 158, 61, "image kernel and homology functions", "X7956001A816B2507" ], [ "\033[1XExample: Homology of a \033[9XHAPDerivation\033[1X\033[0X", "8.5-4", [ 8, 5, 4 ], 212, 62, "example: homology of a hapderivation", "X78B45E8C86F90981" ], [ "\033[1XPoincar\303\251 series\033[0X", "9", [ 9, 0, 0 ], 1, 64, "poincara\251 series", "X7FF2605B79D7B5F8" ], [ "\033[1XComputing the Poincar\303\251 series using spectral sequences\033[\ 0X", "9.1", [ 9, 1, 0 ], 15, 64, "computing the poincara\251 series using spectral sequences", "X872F597F7AACA402" ], [ "\033[1XComputing the Poincar\303\251 series using a minimal resolution\ \033[0X", "9.2", [ 9, 2, 0 ], 27, 64, "computing the poincara\251 series using a minimal resolution", "X7978D58181D2725F" ], [ "\033[1XExample Poincar\303\251 series computations\033[0X", "9.3", [ 9, 3, 0 ], 79, 65, "example poincara\251 series computations", "X82A90FCC80BAC1F9" ], [ "\033[1XThe Poincar\303\251 series of groups of order 64 and 128\033[0X", "9.4", [ 9, 4, 0 ], 112, 66, "the poincara\251 series of groups of order 64 and 128", "X84E1A5148674E7E0" ], [ "\033[1XGeneral Functions\033[0X", "10", [ 10, 0, 0 ], 1, 67, "general functions", "X7B65E0C37AAB6066" ], [ "\033[1XMatrices\033[0X", "10.1", [ 10, 1, 0 ], 9, 67, "matrices", "X812CCAB278643A59" ], [ "\033[1XExample: matrices and vector spaces\033[0X", "10.1-5", [ 10, 1, 5 ], 84, 68, "example: matrices and vector spaces", "X8080767383F9EF31" ], [ "\033[1XPolynomials\033[0X", "10.2", [ 10, 2, 0 ], 108, 69, "polynomials", "X826D8334845549EC" ], [ "\033[1XReduceIdeal\033[0X", "10.2-6", [ 10, 2, 6 ], 163, 69, "reduceideal", "X87DE84AC7B62DC5C" ], [ "\033[1XExample: monomials, polynomials and ring presentations\033[0X", "10.2-8", [ 10, 2, 8 ], 197, 70, "example: monomials polynomials and ring presentations", "X7F8D0B27815DDA6B" ], [ "\033[1XSingular\033[0X", "10.3", [ 10, 3, 0 ], 253, 71, "singular", "X840A7A5D7AE407F2" ], [ "\033[1XGroups\033[0X", "10.4", [ 10, 4, 0 ], 309, 72, "groups", "X8716635F7951801B" ], [ "\033[1XHallSeniorNumber\033[0X", "10.4-1", [ 10, 4, 1 ], 320, 72, "hallseniornumber", "X7FD16926859DD49B" ], [ "Index", "ind", [ "Ind", 0, 0 ], 1, 73, "index", "X83A0356F839C696F" ], [ "\033[2XLengthOneResolutionPrimePowerGroup\033[0X", "2.3-1", [ 2, 3, 1 ], 84, 10, "lengthoneresolutionprimepowergroup", "X784BCF7C801B6E8E" ], [ "\033[2XLengthZeroResolutionPrimePowerGroup\033[0X", "2.3-2", [ 2, 3, 2 ], 100, 10, "lengthzeroresolutionprimepowergroup", "X8311B9697B5F7685" ], [ "\033[2XResolutionLength\033[0X", "2.4-1", [ 2, 4, 1 ], 121, 11, "resolutionlength", "X83F7747D8585608C" ], [ "\033[2XResolutionGroup\033[0X", "2.4-2", [ 2, 4, 2 ], 128, 11, "resolutiongroup", "X806048907CE5B7B6" ], [ "\033[2XResolutionFpGModuleGF\033[0X", "2.4-3", [ 2, 4, 3 ], 135, 11, "resolutionfpgmodulegf", "X7FF354AC7EEE2197" ], [ "\033[2XResolutionModuleRank\033[0X", "2.4-4", [ 2, 4, 4 ], 143, 11, "resolutionmodulerank", "X7AFBE74B85AC3D85" ], [ "\033[2XResolutionModuleRanks\033[0X", "2.4-5", [ 2, 4, 5 ], 150, 11, "resolutionmoduleranks", "X7EBA188478844D96" ], [ "\033[2XBoundaryFpGModuleHomomorphismGF\033[0X", "2.4-6", [ 2, 4, 6 ], 158, 11, "boundaryfpgmodulehomomorphismgf", "X803528CD872A1F4C" ], [ "\033[2XResolutionsAreEqual\033[0X", "2.4-7", [ 2, 4, 7 ], 167, 11, "resolutionsareequal", "X7FB150F67DAF9059" ], [ "\033[2XBestCentralSubgroupForResolutionFiniteExtension\033[0X", "2.6-1", [ 2, 6, 1 ], 259, 13, "bestcentralsubgroupforresolutionfiniteextension", "X7AB2536286A7324D" ], [ "\033[2XModPRingGeneratorDegrees\033[0X", "3.2-1", [ 3, 2, 1 ], 39, 14, "modpringgeneratordegrees", "X78ED069183AD3EEA" ], [ "\033[2XModPRingNiceBasis\033[0X", "3.2-2", [ 3, 2, 2 ], 49, 15, "modpringnicebasis", "X780F21707FB7EFF4" ], [ "\033[2XModPRingNiceBasisAsPolynomials\033[0X", "3.2-3", [ 3, 2, 3 ], 66, 15, "modpringnicebasisaspolynomials", "X7F40E8DA7AEC5CDC" ], [ "\033[2XModPRingBasisAsPolynomials\033[0X", "3.2-4", [ 3, 2, 4 ], 78, 15, "modpringbasisaspolynomials", "X7E72445386B555DD" ], [ "\033[2XPresentationOfGradedStructureConstantAlgebra\033[0X", "3.3-1", [ 3, 3, 1 ], 92, 15, "presentationofgradedstructureconstantalgebra", "X79C71A2F878358BB" ], [ "\033[2XGradedAlgebraPresentation\033[0X", "4.2-1", [ 4, 2, 1 ], 32, 17, "gradedalgebrapresentation", "X84A14CBF7C499665" ], [ "\033[2XGradedAlgebraPresentationNC\033[0X", "4.2-1", [ 4, 2, 1 ], 32, 17, "gradedalgebrapresentationnc", "X84A14CBF7C499665" ], [ "\033[2XBaseRing\033[0X", "4.3-1", [ 4, 3, 1 ], 51, 18, "basering", "X877889A5792202F7" ], [ "\033[2XCoefficientsRing\033[0X", "4.3-2", [ 4, 3, 2 ], 58, 18, "coefficientsring", "X8235D10781BE8003" ], [ "\033[2XIndeterminatesOfGradedAlgebraPresentation\033[0X", "4.3-3", [ 4, 3, 3 ], 65, 18, "indeterminatesofgradedalgebrapresentation", "X844BB80282EA3EBA" ], [ "\033[2XGeneratorsOfPresentationIdeal\033[0X", "4.3-4", [ 4, 3, 4 ], 72, 18, "generatorsofpresentationideal", "X84299C5A7ACD6F71" ], [ "\033[2XPresentationIdeal\033[0X", "4.3-5", [ 4, 3, 5 ], 81, 18, "presentationideal", "X7DABCC1D85B33DAC" ], [ "\033[2XIndeterminateDegrees\033[0X", "4.3-6", [ 4, 3, 6 ], 89, 18, "indeterminatedegrees", "X7BFB8AC97FE6BDD6" ], [ "\033[2XTensorProduct\033[0X (for two algebra presentations)", "4.4-1", [ 4, 4, 1 ], 126, 19, "tensorproduct for two algebra presentations", "X87EB0B4A852CF4C6" ], [ "\033[2XTensorProduct\033[0X (for collection of algebra presentations)", "4.4-1", [ 4, 4, 1 ], 126, 19, "tensorproduct for collection of algebra presentations", "X87EB0B4A852CF4C6" ], [ "\033[2XIsIsomorphicGradedAlgebra\033[0X", "4.4-2", [ 4, 4, 2 ], 136, 19, "isisomorphicgradedalgebra", "X8306E03281AF1CED" ], [ "\033[2XIsAssociatedGradedRing\033[0X", "4.4-3", [ 4, 4, 3 ], 145, 19, "isassociatedgradedring", "X87B04D4580DE8E10" ], [ "\033[2XDegreeOfRepresentative\033[0X", "4.4-4", [ 4, 4, 4 ], 154, 19, "degreeofrepresentative", "X85D95BF07C8E5DF7" ], [ "\033[2XMaximumDegreeForPresentation\033[0X", "4.4-5", [ 4, 4, 5 ], 162, 20, "maximumdegreeforpresentation", "X7CE381787AEC5CAC" ], [ "\033[2XSubspaceDimensionDegree\033[0X (for one degree)", "4.4-6", [ 4, 4, 6 ], 174, 20, "subspacedimensiondegree for one degree", "X7EF085B67B846215" ], [ "\033[2XSubspaceDimensionDegree\033[0X (for list of degrees)", "4.4-6", [ 4, 4, 6 ], 174, 20, "subspacedimensiondegree for list of degrees", "X7EF085B67B846215" ], [ "\033[2XSubspaceBasisRepsByDegree\033[0X (for one degree)", "4.4-7", [ 4, 4, 7 ], 184, 20, "subspacebasisrepsbydegree for one degree", "X7834EE487CAA02D4" ], [ "\033[2XSubspaceBasisRepsByDegree\033[0X (for list of degrees)", "4.4-7", [ 4, 4, 7 ], 184, 20, "subspacebasisrepsbydegree for list of degrees", "X7834EE487CAA02D4" ], [ "\033[2XCoefficientsOfPoincareSeries\033[0X", "4.4-8", [ 4, 4, 8 ], 195, 20, "coefficientsofpoincareseries", "X84D5111984AFDD31" ], [ "\033[2XHilbertPoincareSeries\033[0X", "4.4-9", [ 4, 4, 9 ], 207, 20, "hilbertpoincareseries", "X7B93B7D082A50E61" ], [ "\033[2XLHSSpectralSequence\033[0X", "4.4-10", [ 4, 4, 10 ], 218, 20, "lhsspectralsequence", "X7F5D00C97A46D686" ], [ "\033[2XLHSSpectralSequenceLastSheet\033[0X", "4.4-10", [ 4, 4, 10 ], 218, 20, "lhsspectralsequencelastsheet", "X7F5D00C97A46D686" ], [ "\033[2XFpGModuleGF\033[0X (construction from generators, group and action\ )", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction from generators group and action", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction from generators and groupAndActio\ n)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction from generators and groupandaction", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction of empty module from group and ac\ tion)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction of empty module from group and action", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction of empty module from groupAndActi\ on)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction of empty module from groupandaction", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction of full canonical module)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction of full canonical module", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction of full canonical module from gro\ upAndAction)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction of full canonical module from groupandaction", "X862AC894821415A4" ], [ "\033[2XFpGModuleGF\033[0X (construction from FpGModule)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegf construction from fpgmodule", "X862AC894821415A4" ], [ "\033[2XFpGModuleGFNC\033[0X (construction from generators, group and acti\ on)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegfnc construction from generators group and action", "X862AC894821415A4" ], [ "\033[2XFpGModuleGFNC\033[0X (construction for empty module with group and\ action)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegfnc construction for empty module with group and action", "X862AC894821415A4" ], [ "\033[2XFpGModuleGFNC\033[0X (construction from generators and groupAndAct\ ion)", "5.3-1", [ 5, 3, 1 ], 280, 27, "fpgmodulegfnc construction from generators and groupandaction", "X862AC894821415A4" ], [ "\033[2XFpGModuleFromFpGModuleGF\033[0X", "5.3-2", [ 5, 3, 2 ], 320, 28, "fpgmodulefromfpgmodulegf", "X83232B1886BE75F0" ], [ "\033[2XMutableCopyModule\033[0X", "5.3-3", [ 5, 3, 3 ], 333, 28, "mutablecopymodule", "X832C55197A46CB77" ], [ "\033[2XCanonicalAction\033[0X", "5.3-4", [ 5, 3, 4 ], 344, 28, "canonicalaction", "X8315A82E7812289F" ], [ "\033[2XCanonicalActionOnRight\033[0X", "5.3-4", [ 5, 3, 4 ], 344, 28, "canonicalactiononright", "X8315A82E7812289F" ], [ "\033[2XCanonicalGroupAndAction\033[0X", "5.3-4", [ 5, 3, 4 ], 344, 28, "canonicalgroupandaction", "X8315A82E7812289F" ], [ "\033[2XModuleGroup\033[0X", "5.4-1", [ 5, 4, 1 ], 427, 30, "modulegroup", "X85CF62207B6F6099" ], [ "\033[2XModuleGroupOrder\033[0X", "5.4-2", [ 5, 4, 2 ], 435, 30, "modulegrouporder", "X81C2789D85109789" ], [ "\033[2XModuleAction\033[0X", "5.4-3", [ 5, 4, 3 ], 444, 30, "moduleaction", "X7EE4E7ED86696752" ], [ "\033[2XModuleActionBlockSize\033[0X", "5.4-4", [ 5, 4, 4 ], 454, 30, "moduleactionblocksize", "X7CFEF3B887425980" ], [ "\033[2XModuleGroupAndAction\033[0X", "5.4-5", [ 5, 4, 5 ], 463, 30, "modulegroupandaction", "X81F860F380EB55FC" ], [ "\033[2XModuleCharacteristic\033[0X", "5.4-6", [ 5, 4, 6 ], 489, 31, "modulecharacteristic", "X78BDED977DA309FD" ], [ "\033[2XModuleField\033[0X", "5.4-7", [ 5, 4, 7 ], 497, 31, "modulefield", "X86AC3239861EAB8A" ], [ "\033[2XModuleAmbientDimension\033[0X", "5.4-8", [ 5, 4, 8 ], 505, 31, "moduleambientdimension", "X7A020F6F7EFDFFC7" ], [ "\033[2XAmbientModuleDimension\033[0X", "5.4-9", [ 5, 4, 9 ], 516, 31, "ambientmoduledimension", "X86B97B587B7C12E7" ], [ "\033[2XDisplayBlocks\033[0X (for FpGModuleGF)", "5.4-10", [ 5, 4, 10 ], 526, 31, "displayblocks for fpgmodulegf", "X7DF15EFA78F1DDF6" ], [ "\033[2XModuleGenerators\033[0X", "5.5-1", [ 5, 5, 1 ], 601, 33, "modulegenerators", "X7D6B0216838295A2" ], [ "\033[2XModuleGeneratorsAreMinimal\033[0X", "5.5-2", [ 5, 5, 2 ], 613, 33, "modulegeneratorsareminimal", "X7F643D50826E15E2" ], [ "\033[2XModuleGeneratorsAreEchelonForm\033[0X", "5.5-3", [ 5, 5, 3 ], 624, 33, "modulegeneratorsareechelonform", "X7978F2DD787C2BB6" ], [ "\033[2XModuleIsFullCanonical\033[0X", "5.5-4", [ 5, 5, 4 ], 637, 33, "moduleisfullcanonical", "X85178CA8858B8616" ], [ "\033[2XModuleGeneratorsForm\033[0X", "5.5-5", [ 5, 5, 5 ], 649, 33, "modulegeneratorsform", "X87572B78824FB28E" ], [ "\033[2XModuleRank\033[0X", "5.5-6", [ 5, 5, 6 ], 671, 34, "modulerank", "X7DFFBBD6809A2B41" ], [ "\033[2XModuleRankDestructive\033[0X", "5.5-6", [ 5, 5, 6 ], 671, 34, "modulerankdestructive", "X7DFFBBD6809A2B41" ], [ "\033[2XModuleVectorSpaceBasis\033[0X", "5.5-7", [ 5, 5, 7 ], 685, 34, "modulevectorspacebasis", "X7DFAF92283C6FFDC" ], [ "\033[2XModuleVectorSpaceDimension\033[0X", "5.5-8", [ 5, 5, 8 ], 698, 34, "modulevectorspacedimension", "X8377A6E986D36D12" ], [ "\033[2XMinimalGeneratorsModuleGF\033[0X", "5.5-9", [ 5, 5, 9 ], 710, 34, "minimalgeneratorsmodulegf", "X81C340AD7EE8FA63" ], [ "\033[2XMinimalGeneratorsModuleGFDestructive\033[0X", "5.5-9", [ 5, 5, 9 ], 710, 34, "minimalgeneratorsmodulegfdestructive", "X81C340AD7EE8FA63" ], [ "\033[2XMinimalGeneratorsModuleRadical\033[0X", "5.5-9", [ 5, 5, 9 ], 710, 34, "minimalgeneratorsmoduleradical", "X81C340AD7EE8FA63" ], [ "\033[2XRadicalOfModule\033[0X", "5.5-10", [ 5, 5, 10 ], 734, 35, "radicalofmodule", "X7E44920683157DE2" ], [ "\033[2XEchelonModuleGenerators\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "echelonmodulegenerators", "X84E3AA228784BF01" ], [ "\033[2XEchelonModuleGeneratorsDestructive\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "echelonmodulegeneratorsdestructive", "X84E3AA228784BF01" ], [ "\033[2XSemiEchelonModuleGenerators\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "semiechelonmodulegenerators", "X84E3AA228784BF01" ], [ "\033[2XSemiEchelonModuleGeneratorsDestructive\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "semiechelonmodulegeneratorsdestructive", "X84E3AA228784BF01" ], [ "\033[2XEchelonModuleGeneratorsMinMem\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "echelonmodulegeneratorsminmem", "X84E3AA228784BF01" ], [ "\033[2XEchelonModuleGeneratorsMinMemDestructive\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "echelonmodulegeneratorsminmemdestructive", "X84E3AA228784BF01" ], [ "\033[2XSemiEchelonModuleGeneratorsMinMem\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "semiechelonmodulegeneratorsminmem", "X84E3AA228784BF01" ], [ "\033[2XSemiEchelonModuleGeneratorsMinMemDestructive\033[0X", "5.6-1", [ 5, 6, 1 ], 826, 36, "semiechelonmodulegeneratorsminmemdestructive", "X84E3AA228784BF01" ], [ "\033[2XReverseEchelonModuleGenerators\033[0X", "5.6-2", [ 5, 6, 2 ], 873, 37, "reverseechelonmodulegenerators", "X856E45CC84B53128" ], [ "\033[2XReverseEchelonModuleGeneratorsDestructive\033[0X", "5.6-2", [ 5, 6, 2 ], 873, 37, "reverseechelonmodulegeneratorsdestructive", "X856E45CC84B53128" ], [ "\033[2XDirectSumOfModules\033[0X (for two modules)", "5.7-1", [ 5, 7, 1 ], 978, 39, "directsumofmodules for two modules", "X879541298181840D" ], [ "\033[2XDirectSumOfModules\033[0X (for collection of modules)", "5.7-1", [ 5, 7, 1 ], 978, 39, "directsumofmodules for collection of modules", "X879541298181840D" ], [ "\033[2XDirectSumOfModules\033[0X (for n copies of the same module)", "5.7-1", [ 5, 7, 1 ], 978, 39, "directsumofmodules for n copies of the same module", "X879541298181840D" ], [ "\033[2XDirectDecompositionOfModule\033[0X", "5.7-2", [ 5, 7, 2 ], 996, 39, "directdecompositionofmodule", "X82A18B41872A8149" ], [ "\033[2XDirectDecompositionOfModuleDestructive\033[0X", "5.7-2", [ 5, 7, 2 ], 996, 39, "directdecompositionofmoduledestructive", "X82A18B41872A8149" ], [ "\033[2XIntersectionModules\033[0X", "5.7-3", [ 5, 7, 3 ], 1020, 40, "intersectionmodules", "X83D609B679B53F5C" ], [ "\033[2XIntersectionModulesGF\033[0X", "5.7-3", [ 5, 7, 3 ], 1020, 40, "intersectionmodulesgf", "X83D609B679B53F5C" ], [ "\033[2XIntersectionModulesGFDestructive\033[0X", "5.7-3", [ 5, 7, 3 ], 1020, 40, "intersectionmodulesgfdestructive", "X83D609B679B53F5C" ], [ "\033[2XIntersectionModulesGF2\033[0X", "5.7-3", [ 5, 7, 3 ], 1020, 40, "intersectionmodulesgf2", "X83D609B679B53F5C" ], [ "\033[2XSumModules\033[0X", "5.7-4", [ 5, 7, 4 ], 1056, 40, "summodules", "X84A6FBC37BD8EEAB" ], [ "\033[2X=\033[0X (for FpGModuleGF)", "5.8-1", [ 5, 8, 1 ], 1144, 42, "for fpgmodulegf", "X81A073C47FB50620" ], [ "\033[2XIsModuleElement\033[0X (for element)", "5.8-2", [ 5, 8, 2 ], 1155, 42, "ismoduleelement for element", "X78EB919D85362902" ], [ "\033[2XIsModuleElement\033[0X (for collection of elements)", "5.8-2", [ 5, 8, 2 ], 1155, 42, "ismoduleelement for collection of elements", "X78EB919D85362902" ], [ "\033[2XIsSubModule\033[0X", "5.8-3", [ 5, 8, 3 ], 1167, 42, "issubmodule", "X8071ECEB7A92965A" ], [ "\033[2XRandomElement\033[0X", "5.8-4", [ 5, 8, 4 ], 1178, 42, "randomelement", "X82FB0B387E53B073" ], [ "\033[2XRandomSubmodule\033[0X", "5.8-5", [ 5, 8, 5 ], 1187, 43, "randomsubmodule", "X84EB237885A48F03" ], [ "\033[2XFpGModuleHomomorphismGF\033[0X", "6.4-1", [ 6, 4, 1 ], 148, 46, "fpgmodulehomomorphismgf", "X8640D133855BB892" ], [ "\033[2XFpGModuleHomomorphismGFNC\033[0X", "6.4-1", [ 6, 4, 1 ], 148, 46, "fpgmodulehomomorphismgfnc", "X8640D133855BB892" ], [ "\033[2XSourceModule\033[0X", "6.5-1", [ 6, 5, 1 ], 195, 47, "sourcemodule", "X835A27F3877D7B04" ], [ "\033[2XTargetModule\033[0X", "6.5-2", [ 6, 5, 2 ], 202, 47, "targetmodule", "X810013F0852729DD" ], [ "\033[2XModuleHomomorphismGeneratorMatrix\033[0X", "6.5-3", [ 6, 5, 3 ], 209, 47, "modulehomomorphismgeneratormatrix", "X81173EB682B5C903" ], [ "\033[2XDisplayBlocks\033[0X (for FpGModuleHomomorphismGF)", "6.5-4", [ 6, 5, 4 ], 218, 47, "displayblocks for fpgmodulehomomorphismgf", "X7EF5C42A79568EAE" ], [ "\033[2XDisplayModuleHomomorphismGeneratorMatrix\033[0X", "6.5-5", [ 6, 5, 5 ], 228, 47, "displaymodulehomomorphismgeneratormatrix", "X7D200588818203D6" ], [ "\033[2XDisplayModuleHomomorphismGeneratorMatrixBlocks\033[0X", "6.5-6", [ 6, 5, 6 ], 237, 47, "displaymodulehomomorphismgeneratormatrixblocks", "X831A8A6485A484D7" ], [ "\033[2XImageOfModuleHomomorphism\033[0X (image of homomorphism)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphism image of homomorphism", "X8038F50582425ECA" ] , [ "\033[2XImageOfModuleHomomorphism\033[0X (of module)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphism of module", "X8038F50582425ECA" ], [ "\033[2XImageOfModuleHomomorphism\033[0X (of element)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphism of element", "X8038F50582425ECA" ], [ "\033[2XImageOfModuleHomomorphism\033[0X (of collections of elements)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphism of collections of elements", "X8038F50582425ECA" ], [ "\033[2XImageOfModuleHomomorphismDestructive\033[0X (of element)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphismdestructive of element", "X8038F50582425ECA" ] , [ "\033[2XImageOfModuleHomomorphismDestructive\033[0X (of collection of elem\ ents)", "6.6-1", [ 6, 6, 1 ], 303, 49, "imageofmodulehomomorphismdestructive of collection of elements", "X8038F50582425ECA" ], [ "\033[2XPreImageRepresentativeOfModuleHomomorphism\033[0X (for element)", "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphism for element", "X850FD5AE80BF6F11" ], [ "\033[2XPreImageRepresentativeOfModuleHomomorphism\033[0X (for collection \ of elements)", "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphism for collection of elements", "X850FD5AE80BF6F11" ], [ "\033[2XPreImageRepresentativeOfModuleHomomorphism\033[0X (for module)", "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphism for module", "X850FD5AE80BF6F11" ], [ "\033[2XPreImageRepresentativeOfModuleHomomorphismGF\033[0X (for element)" , "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphismgf for element", "X850FD5AE80BF6F11" ], [ "\033[2XPreImageRepresentativeOfModuleHomomorphismGF\033[0X (for collectio\ n of elements)", "6.6-2", [ 6, 6, 2 ], 327, 49, "preimagerepresentativeofmodulehomomorphismgf for collection of elements\ ", "X850FD5AE80BF6F11" ], [ "\033[2XKernelOfModuleHomomorphism\033[0X", "6.6-3", [ 6, 6, 3 ], 356, 49, "kernelofmodulehomomorphism", "X86C7D57A825235EE" ], [ "\033[2XKernelOfModuleHomomorphismSplit\033[0X", "6.6-3", [ 6, 6, 3 ], 356, 49, "kernelofmodulehomomorphismsplit", "X86C7D57A825235EE" ], [ "\033[2XKernelOfModuleHomomorphismIndependentSplit\033[0X", "6.6-3", [ 6, 6, 3 ], 356, 49, "kernelofmodulehomomorphismindependentsplit", "X86C7D57A825235EE" ], [ "\033[2XKernelOfModuleHomomorphismGF\033[0X", "6.6-3", [ 6, 6, 3 ], 356, 49, "kernelofmodulehomomorphismgf", "X86C7D57A825235EE" ], [ "\033[2XHAPRingToSubringHomomorphism\033[0X", "7.2-1", [ 7, 2, 1 ], 109, 54, "hapringtosubringhomomorphism", "X7A500F53808DDDA9" ], [ "\033[2XHAPSubringToRingHomomorphism\033[0X (for relations defined at sour\ ce)", "7.2-2", [ 7, 2, 2 ], 120, 54, "hapsubringtoringhomomorphism for relations defined at source", "X7A7E46337D6F47B6" ], [ "\033[2XHAPSubringToRingHomomorphism\033[0X (for relations defined at imag\ e)", "7.2-2", [ 7, 2, 2 ], 120, 54, "hapsubringtoringhomomorphism for relations defined at image", "X7A7E46337D6F47B6" ], [ "\033[2XHAPRingHomomorphismByIndeterminateMap\033[0X", "7.2-3", [ 7, 2, 3 ], 143, 54, "hapringhomomorphismbyindeterminatemap", "X7A77983F7D6E0AC7" ], [ "\033[2XHAPRingReductionHomomorphism\033[0X (for ring presentation)", "7.2-4", [ 7, 2, 4 ], 153, 54, "hapringreductionhomomorphism for ring presentation", "X7E011BEB868B14B4" ], [ "\033[2XHAPRingReductionHomomorphism\033[0X (for image of ring homomorphis\ m)", "7.2-4", [ 7, 2, 4 ], 153, 54, "hapringreductionhomomorphism for image of ring homomorphism", "X7E011BEB868B14B4" ], [ "\033[2XPartialCompositionRingHomomorphism\033[0X", "7.2-5", [ 7, 2, 5 ], 169, 55, "partialcompositionringhomomorphism", "X87F4CEBD869C46A1" ], [ "\033[2XHAPZeroRingHomomorphism\033[0X", "7.2-6", [ 7, 2, 6 ], 187, 55, "hapzeroringhomomorphism", "X8288925E86054FE9" ], [ "\033[2XInverseRingHomomorphism\033[0X", "7.2-7", [ 7, 2, 7 ], 195, 55, "inverseringhomomorphism", "X78106D04821D02EC" ], [ "\033[2XCompositionRingHomomorphism\033[0X", "7.2-8", [ 7, 2, 8 ], 207, 55, "compositionringhomomorphism", "X7ABEFEFC8285FD48" ], [ "\033[2XSourceGenerators\033[0X", "7.3-1", [ 7, 3, 1 ], 219, 55, "sourcegenerators", "X7E44FAD67C045016" ], [ "\033[2XSourceRelations\033[0X", "7.3-2", [ 7, 3, 2 ], 226, 56, "sourcerelations", "X79FA0ADF7EA5B043" ], [ "\033[2XSourcePolynomialRing\033[0X", "7.3-3", [ 7, 3, 3 ], 234, 56, "sourcepolynomialring", "X7DDE043C789AEC3A" ], [ "\033[2XImageGenerators\033[0X", "7.3-4", [ 7, 3, 4 ], 242, 56, "imagegenerators", "X838F30B3805177C1" ], [ "\033[2XImageRelations\033[0X", "7.3-5", [ 7, 3, 5 ], 249, 56, "imagerelations", "X7F50B38D87439BEE" ], [ "\033[2XImagePolynomialRing\033[0X", "7.3-6", [ 7, 3, 6 ], 257, 56, "imagepolynomialring", "X863B0F2978792F7F" ], [ "\033[2XImageOfRingHomomorphism\033[0X (for one polynomial)", "7.4-1", [ 7, 4, 1 ], 268, 56, "imageofringhomomorphism for one polynomial", "X8680F51E82EA1939" ], [ "\033[2XImageOfRingHomomorphism\033[0X (for collection of polynomials)", "7.4-1", [ 7, 4, 1 ], 268, 56, "imageofringhomomorphism for collection of polynomials", "X8680F51E82EA1939" ], [ "\033[2XPreimageOfRingHomomorphism\033[0X (for one polynomial)", "7.4-2", [ 7, 4, 2 ], 279, 57, "preimageofringhomomorphism for one polynomial", "X7B1B2C0980375531" ], [ "\033[2XPreimageOfRingHomomorphism\033[0X (for collection of polynomials)" , "7.4-2", [ 7, 4, 2 ], 279, 57, "preimageofringhomomorphism for collection of polynomials", "X7B1B2C0980375531" ], [ "\033[2XHAPDerivation\033[0X", "8.3-1", [ 8, 3, 1 ], 93, 60, "hapderivation", "X7B8058948424E639" ], [ "\033[2XHAPDerivationNC\033[0X", "8.3-1", [ 8, 3, 1 ], 93, 60, "hapderivationnc", "X7B8058948424E639" ], [ "\033[2XDerivationRing\033[0X", "8.4-1", [ 8, 4, 1 ], 111, 60, "derivationring", "X803EA43A7F21FB99" ], [ "\033[2XDerivationImages\033[0X", "8.4-2", [ 8, 4, 2 ], 118, 61, "derivationimages", "X7AE49BC082B7219D" ], [ "\033[2XDerivationRelations\033[0X", "8.4-3", [ 8, 4, 3 ], 129, 61, "derivationrelations", "X811828517C62421B" ], [ "\033[2XImageOfDerivation\033[0X", "8.5-1", [ 8, 5, 1 ], 161, 61, "imageofderivation", "X7B523CEF85223194" ], [ "\033[2XKernelOfDerivation\033[0X", "8.5-2", [ 8, 5, 2 ], 169, 61, "kernelofderivation", "X842250387FC8302C" ], [ "\033[2XHomologyOfDerivation\033[0X", "8.5-3", [ 8, 5, 3 ], 191, 62, "homologyofderivation", "X803D9B5E7A26F749" ], [ "\033[2XPoincareSeriesAutoMem\033[0X", "9.2-1", [ 9, 2, 1 ], 55, 65, "poincareseriesautomem", "X7F0911257D80691E" ], [ "\033[2XSumIntersectionMatDestructive\033[0X", "10.1-1", [ 10, 1, 1 ], 17, 67, "sumintersectionmatdestructive", "X845EA1B28618D9A7" ], [ "\033[2XSumIntersectionMatDestructiveSE\033[0X", "10.1-1", [ 10, 1, 1 ], 17, 67, "sumintersectionmatdestructivese", "X845EA1B28618D9A7" ], [ "\033[2XSolutionMat\033[0X (for multiple vectors)", "10.1-2", [ 10, 1, 2 ], 46, 68, "solutionmat for multiple vectors", "X8359E68C7F38BA5F" ], [ "\033[2XSolutionMatDestructive\033[0X (for multiple vectors)", "10.1-2", [ 10, 1, 2 ], 46, 68, "solutionmatdestructive for multiple vectors", "X8359E68C7F38BA5F" ], [ "\033[2XIsSameSubspace\033[0X", "10.1-3", [ 10, 1, 3 ], 65, 68, "issamesubspace", "X872D9F5D7ED6F4AA" ], [ "\033[2XPrintDimensionsMat\033[0X", "10.1-4", [ 10, 1, 4 ], 76, 68, "printdimensionsmat", "X789478557955E1C3" ], [ "\033[2XTermsOfPolynomial\033[0X", "10.2-1", [ 10, 2, 1 ], 116, 69, "termsofpolynomial", "X7E8B84388516792D" ], [ "\033[2XIsMonomial\033[0X (for polynomial)", "10.2-2", [ 10, 2, 2 ], 127, 69, "ismonomial for polynomial", "X82862FA1817C7767" ], [ "\033[2XUnivariateMonomialsOfMonomial\033[0X", "10.2-3", [ 10, 2, 3 ], 135, 69, "univariatemonomialsofmonomial", "X7A603BCA83895309" ], [ "\033[2XIndeterminateAndExponentOfUnivariateMonomial\033[0X", "10.2-4", [ 10, 2, 4 ], 144, 69, "indeterminateandexponentofunivariatemonomial", "X7DE6473B7AE6EC7F" ], [ "\033[2XIndeterminatesOfPolynomial\033[0X", "10.2-5", [ 10, 2, 5 ], 156, 69, "indeterminatesofpolynomial", "X86FFC6697CAF53B8" ], [ "\033[2XReduceIdeal\033[0X (for Ideal)", "10.2-6", [ 10, 2, 6 ], 163, 69, "reduceideal for ideal", "X87DE84AC7B62DC5C" ], [ "\033[2XReduceIdeal\033[0X (for list of relations)", "10.2-6", [ 10, 2, 6 ], 163, 69, "reduceideal for list of relations", "X87DE84AC7B62DC5C" ], [ "\033[2XReducedPolynomialRingPresentation\033[0X", "10.2-7", [ 10, 2, 7 ], 177, 70, "reducedpolynomialringpresentation", "X84E9467E84243B77" ], [ "\033[2XReducedPolynomialRingPresentationMap\033[0X", "10.2-7", [ 10, 2, 7 ], 177, 70, "reducedpolynomialringpresentationmap", "X84E9467E84243B77" ], [ "\033[2XSingularSetNormalFormIdeal\033[0X", "10.3-1", [ 10, 3, 1 ], 256, 71, "singularsetnormalformideal", "X783EE9057FE65731" ], [ "\033[2XSingularSetNormalFormIdealNC\033[0X", "10.3-1", [ 10, 3, 1 ], 256, 71, "singularsetnormalformidealnc", "X783EE9057FE65731" ], [ "\033[2XSingularPolynomialNormalForm\033[0X", "10.3-2", [ 10, 3, 2 ], 274, 71, "singularpolynomialnormalform", "X7E6A0D647D39110B" ], [ "\033[2XSingularGroebnerBasis\033[0X", "10.3-3", [ 10, 3, 3 ], 287, 71, "singulargroebnerbasis", "X804568497F686594" ], [ "\033[2XSingularReducedGroebnerBasis\033[0X", "10.3-4", [ 10, 3, 4 ], 298, 72, "singularreducedgroebnerbasis", "X7FB57C4F7D3164E6" ], [ "\033[2XHallSeniorNumber\033[0X (for SmallGroup library ref)", "10.4-1", [ 10, 4, 1 ], 320, 72, "hallseniornumber for smallgroup library ref", "X7FD16926859DD49B" ], [ "\033[2XHallSeniorNumber\033[0X (for group)", "10.4-1", [ 10, 4, 1 ], 320, 72, "hallseniornumber for group", "X7FD16926859DD49B" ] ] );