\makelabel{ace:The ACE Package}{1} \makelabel{ace:Using ACE as a Default for Coset Enumerations}{1.1} \makelabel{ace:Using ACE Directly to Generate a Coset Table}{1.2} \makelabel{ace:ACECosetTableFromGensAndRels}{1.2.1} \makelabel{ace:ACECosetTable}{1.2.1} \makelabel{ace:IsACEStandardCosetTable}{1.2.2} \makelabel{ace:IsACEGeneratorsInPreferredOrder}{1.2.3} \makelabel{ace:Using ACE Directly to Test whether a Coset Enumeration Terminates}{1.3} \makelabel{ace:ACEStats}{1.3.1} \makelabel{ace:Writing ACE Standalone Input Files to Generate a Coset Table}{1.4} \makelabel{ace:Using ACE Interactively}{1.5} \makelabel{ace:ACEStart!introduction}{1.5.1} \makelabel{ace:ACEQuit!introduction}{1.5.2} \makelabel{ace:Accessing ACE Examples with ACEExample and ACEReadResearchExample}{1.6} \makelabel{ace:ACEExample}{1.6.1} \makelabel{ace:ACEExample}{1.6.1} \makelabel{ace:ACEExample}{1.6.1} \makelabel{ace:ACEReadResearchExample}{1.6.2} \makelabel{ace:ACEReadResearchExample}{1.6.2} \makelabel{ace:ACEPrintResearchExample}{1.6.3} \makelabel{ace:ACEPrintResearchExample}{1.6.3} \makelabel{ace:General Warnings regarding the Use of Options}{1.7} \makelabel{ace:The ACEData Record}{1.8} \makelabel{ace:ACEData}{1.8.1} \makelabel{ace:ACEDirectoryTemporary}{1.8.2} \makelabel{ace:Setting the Verbosity of ACE via Info and InfoACE}{1.9} \makelabel{ace:InfoACE}{1.9.1} \makelabel{ace:InfoACELevel}{1.9.2} \makelabel{ace:SetInfoACELevel}{1.9.3} \makelabel{ace:SetInfoACELevel}{1.9.3} \makelabel{ace:Acknowledgements}{1.10} \makelabel{ace:Changes from earlier versions}{1.11} \makelabel{ace:ACEPackageVersion}{1.11.1} \makelabel{ace:Installing and Loading the ACE Package}{2} \makelabel{ace:Installing the ACE Package}{2.1} \makelabel{ace:Loading the ACE Package}{2.2} \makelabel{ace:Some Basics}{3} \makelabel{ace:Enumeration Style}{3.1} \makelabel{ace:Finding Deductions, Coincidences, and Preferred Definitions}{3.2} \makelabel{ace:Finding Subgroups}{3.3} \makelabel{ace:Coset Table Standardisation Schemes}{3.4} \makelabel{ace:Coset Statistics Terminology}{3.5} \makelabel{ace:Other Terminology}{3.6} \makelabel{ace:Options for ACE}{4} \makelabel{ace:Passing ACE Options}{4.1} \makelabel{ace:Warnings regarding Options}{4.2} \makelabel{ace:FlushOptionsStack}{4.2.1} \makelabel{ace:Abbreviations and mixed case for ACE Options}{4.3} \makelabel{ace:Honouring of the order in which ACE Options are passed}{4.4} \makelabel{ace:What happens if no ACE Strategy Option or if no ACE Option is passed}{4.5} \makelabel{ace:Interpretation of ACE Options}{4.6} \makelabel{ace:An Example of passing Options}{4.7} \makelabel{ace:The KnownACEOptions Record}{4.8} \makelabel{ace:KnownACEOptions}{4.8.1} \makelabel{ace:ACEOptionData}{4.8.2} \makelabel{ace:IsKnownACEOption}{4.8.3} \makelabel{ace:ACEPreferredOptionName}{4.8.4} \makelabel{ace:IsACEParameterOption}{4.8.5} \makelabel{ace:IsACEStrategyOption}{4.8.6} \makelabel{ace:The ACEStrategyOptions List}{4.9} \makelabel{ace:ACEStrategyOptions}{4.9.1} \makelabel{ace:ACEOptionSynonyms}{4.10.1} \makelabel{ace:Non-ACE-binary Options}{4.11} \makelabel{ace:NonACEbinOptions}{4.11.1} \makelabel{ace:ACEIgnoreUnknownDefault}{4.11.2} \makelabel{ace:option silent}{4.11.3} \makelabel{ace:option lenlex}{4.11.4} \makelabel{ace:option semilenlex}{4.11.5} \makelabel{ace:option incomplete}{4.11.6} \makelabel{ace:option aceinfile}{4.11.7} \makelabel{ace:option aceoutfile}{4.11.8} \makelabel{ace:option aceignore}{4.11.9} \makelabel{ace:option aceignoreunknown}{4.11.10} \makelabel{ace:option acenowarnings}{4.11.11} \makelabel{ace:option echo}{4.11.12} \makelabel{ace:option echo}{4.11.12} \makelabel{ace:option aceecho}{4.11.13} \makelabel{ace:option aceincomment}{4.11.14} \makelabel{ace:option aceexampleoptions}{4.11.15} \makelabel{ace:ACEParameterOptions}{4.12.1} \makelabel{ace:General ACE Parameter Options that Modify the Enumeration Process}{4.13} \makelabel{ace:option asis}{4.13.1} \makelabel{ace:option ct}{4.13.2} \makelabel{ace:option cfactor}{4.13.2} \makelabel{ace:option rt}{4.13.3} \makelabel{ace:option rfactor}{4.13.3} \makelabel{ace:option no}{4.13.4} \makelabel{ace:option mendelsohn}{4.13.5} \makelabel{ace:ACE Parameter Options Modifying C Style Definitions}{4.14} \makelabel{ace:option fill}{4.14.1} \makelabel{ace:option ffactor}{4.14.1} \makelabel{ace:option pmode}{4.14.2} \makelabel{ace:option psize}{4.14.3} \makelabel{ace:ACE Parameter Options for R Style Definitions}{4.15} \makelabel{ace:option row}{4.15.1} \makelabel{ace:option lookahead}{4.15.2} \makelabel{ace:ACE Parameter Options for Deduction Handling}{4.16} \makelabel{ace:option dmode}{4.16.1} \makelabel{ace:option dsize}{4.16.2} \makelabel{ace:Technical ACE Parameter Options}{4.17} \makelabel{ace:option workspace}{4.17.1} \makelabel{ace:option time}{4.17.2} \makelabel{ace:option loop}{4.17.3} \makelabel{ace:option path}{4.17.4} \makelabel{ace:option compaction}{4.17.5} \makelabel{ace:option max}{4.17.6} \makelabel{ace:option hole}{4.17.7} \makelabel{ace:ACE Parameter Options controlling ACE Output}{4.18} \makelabel{ace:option messages}{4.18.1} \makelabel{ace:option monitor}{4.18.1} \makelabel{ace:ACE Parameter Options that give Names to the Group and Subgroup}{4.19} \makelabel{ace:option enumeration}{4.19.1} \makelabel{ace:option subgroup}{4.19.2} \makelabel{ace:Options for redirection of ACE Output}{4.20} \makelabel{ace:option ao}{4.20.1} \makelabel{ace:option aceoutfile!ao synonym}{4.20.1} \makelabel{ace:Other Options}{4.21} \makelabel{ace:Strategy Options for ACE}{5} \makelabel{ace:The Strategies in Detail}{5.1} \makelabel{ace:option default}{5.1.1} \makelabel{ace:option easy}{5.1.2} \makelabel{ace:option felsch}{5.1.3} \makelabel{ace:option felsch}{5.1.3} \makelabel{ace:option hard}{5.1.4} \makelabel{ace:option hlt}{5.1.5} \makelabel{ace:option purec}{5.1.6} \makelabel{ace:option purer}{5.1.7} \makelabel{ace:option sims}{5.1.8} \makelabel{ace:Functions for Using ACE Interactively}{6} \makelabel{ace:Starting and Stopping Interactive ACE Processes}{6.1} \makelabel{ace:ACEStart!details}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEStart}{6.1.1} \makelabel{ace:ACEQuit!details}{6.1.2} \makelabel{ace:ACEQuit}{6.1.2} \makelabel{ace:ACEQuitAll}{6.1.3} \makelabel{ace:General ACE Modes}{6.2} \makelabel{ace:ACEModes}{6.2.1} \makelabel{ace:ACEModes}{6.2.1} \makelabel{ace:ACEContinue}{6.2.2} \makelabel{ace:ACEContinue}{6.2.2} \makelabel{ace:ACERedo}{6.2.3} \makelabel{ace:ACERedo}{6.2.3} \makelabel{ace:Interactive ACE Process Utility Functions and Interruption of an Interactive ACE Process}{6.3} \makelabel{ace:ACEProcessIndex}{6.3.1} \makelabel{ace:ACEProcessIndex}{6.3.1} \makelabel{ace:ACEProcessIndices}{6.3.2} \makelabel{ace:IsACEProcessAlive}{6.3.3} \makelabel{ace:IsACEProcessAlive}{6.3.3} \makelabel{ace:ACEResurrectProcess}{6.3.4} \makelabel{ace:ACEResurrectProcess}{6.3.4} \makelabel{ace:ToACEGroupGenerators}{6.3.5} \makelabel{ace:ToACEWords}{6.3.6} \makelabel{ace:Experimentation ACE Modes}{6.4} \makelabel{ace:ACEAllEquivPresentations}{6.4.1} \makelabel{ace:ACEAllEquivPresentations}{6.4.1} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:ACERandomEquivPresentations}{6.4.2} \makelabel{ace:Interactive Query Functions and an Option Setting Function}{6.5} \makelabel{ace:ACEGroupGenerators}{6.5.1} \makelabel{ace:ACEGroupGenerators}{6.5.1} \makelabel{ace:ACERelators}{6.5.2} \makelabel{ace:ACERelators}{6.5.2} \makelabel{ace:ACESubgroupGenerators}{6.5.3} \makelabel{ace:ACESubgroupGenerators}{6.5.3} \makelabel{ace:DisplayACEArgs}{6.5.4} \makelabel{ace:DisplayACEArgs}{6.5.4} \makelabel{ace:GetACEArgs}{6.5.5} \makelabel{ace:GetACEArgs}{6.5.5} \makelabel{ace:DisplayACEOptions}{6.5.6} \makelabel{ace:DisplayACEOptions}{6.5.6} \makelabel{ace:GetACEOptions}{6.5.7} \makelabel{ace:GetACEOptions}{6.5.7} \makelabel{ace:SetACEOptions}{6.5.8} \makelabel{ace:SetACEOptions}{6.5.8} \makelabel{ace:SetACEOptions!record version}{6.5.9} \makelabel{ace:SetACEOptions!record version}{6.5.9} \makelabel{ace:ACEParameters}{6.5.10} \makelabel{ace:ACEParameters}{6.5.10} \makelabel{ace:IsCompleteACECosetTable}{6.5.11} \makelabel{ace:IsCompleteACECosetTable}{6.5.11} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACEDisplayCosetTable}{6.5.12} \makelabel{ace:ACECosetRepresentative}{6.5.13} \makelabel{ace:ACECosetRepresentative}{6.5.13} \makelabel{ace:ACECosetRepresentatives}{6.5.14} \makelabel{ace:ACECosetRepresentatives}{6.5.14} \makelabel{ace:ACETransversal}{6.5.15} \makelabel{ace:ACETransversal}{6.5.15} \makelabel{ace:ACECycles}{6.5.16} \makelabel{ace:ACECycles}{6.5.16} \makelabel{ace:ACEPermutationRepresentation}{6.5.16} \makelabel{ace:ACEPermutationRepresentation}{6.5.16} \makelabel{ace:ACETraceWord}{6.5.17} \makelabel{ace:ACETraceWord}{6.5.17} \makelabel{ace:ACEOrders}{6.5.18} \makelabel{ace:ACEOrders}{6.5.18} \makelabel{ace:ACEOrders}{6.5.18} \makelabel{ace:ACEOrders}{6.5.18} \makelabel{ace:ACEOrder}{6.5.19} \makelabel{ace:ACEOrder}{6.5.19} \makelabel{ace:ACECosetOrderFromRepresentative}{6.5.20} \makelabel{ace:ACECosetOrderFromRepresentative}{6.5.20} \makelabel{ace:ACECosetsThatNormaliseSubgroup}{6.5.21} \makelabel{ace:ACECosetsThatNormaliseSubgroup}{6.5.21} \makelabel{ace:ACEStyle}{6.5.22} \makelabel{ace:ACEStyle}{6.5.22} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpVariables}{6.5.23} \makelabel{ace:ACEDumpStatistics}{6.5.24} \makelabel{ace:ACEDumpStatistics}{6.5.24} \makelabel{ace:ACEBinaryVersion}{6.5.25} \makelabel{ace:ACEBinaryVersion}{6.5.25} \makelabel{ace:Interactive Versions of Non-interactive ACE Functions}{6.6} \makelabel{ace:ACECosetTable!interactive}{6.6.1} \makelabel{ace:ACECosetTable!interactive}{6.6.1} \makelabel{ace:ACEStats!interactive}{6.6.2} \makelabel{ace:ACEStats!interactive}{6.6.2} \makelabel{ace:IsACEGeneratorsInPreferredOrder!interactive}{6.6.3} \makelabel{ace:IsACEGeneratorsInPreferredOrder!interactive}{6.6.3} \makelabel{ace:Steering ACE Interactively}{6.7} \makelabel{ace:ACERecover}{6.7.1} \makelabel{ace:ACERecover}{6.7.1} \makelabel{ace:ACEStandardCosetNumbering}{6.7.2} \makelabel{ace:ACEStandardCosetNumbering}{6.7.2} \makelabel{ace:ACEAddRelators}{6.7.3} \makelabel{ace:ACEAddRelators}{6.7.3} \makelabel{ace:ACEAddSubgroupGenerators}{6.7.4} \makelabel{ace:ACEAddSubgroupGenerators}{6.7.4} \makelabel{ace:ACEDeleteRelators}{6.7.5} \makelabel{ace:ACEDeleteRelators}{6.7.5} \makelabel{ace:ACEDeleteSubgroupGenerators}{6.7.6} \makelabel{ace:ACEDeleteSubgroupGenerators}{6.7.6} \makelabel{ace:ACECosetCoincidence}{6.7.7} \makelabel{ace:ACECosetCoincidence}{6.7.7} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomCoincidences}{6.7.8} \makelabel{ace:ACERandomlyApplyCosetCoincidence}{6.7.9} \makelabel{ace:ACERandomlyApplyCosetCoincidence}{6.7.9} \makelabel{ace:ACEConjugatesForSubgroupNormalClosure}{6.7.10} \makelabel{ace:ACEConjugatesForSubgroupNormalClosure}{6.7.10} \makelabel{ace:ACEConjugatesForSubgroupNormalClosure}{6.7.10} \makelabel{ace:ACEConjugatesForSubgroupNormalClosure}{6.7.10} \makelabel{ace:Primitive ACE Read/Write Functions}{6.8} \makelabel{ace:ACEWrite}{6.8.1} \makelabel{ace:ACEWrite}{6.8.1} \makelabel{ace:ACERead}{6.8.2} \makelabel{ace:ACERead}{6.8.2} \makelabel{ace:ACEReadAll}{6.8.3} \makelabel{ace:ACEReadAll}{6.8.3} \makelabel{ace:ACEReadUntil}{6.8.4} \makelabel{ace:ACEReadUntil}{6.8.4} \makelabel{ace:ACEReadUntil}{6.8.4} \makelabel{ace:ACEReadUntil}{6.8.4} \makelabel{ace:The Meanings of ACE's output messages}{A} \makelabel{ace:Progress Messages}{A.1} \makelabel{ace:Results Messages}{A.2} \makelabel{ace:Examples}{B} \makelabel{ace:Example where ACE is made the Standard Coset Enumerator}{B.1} \makelabel{ace:Example of Using ACECosetTableFromGensAndRels}{B.2} \makelabel{ace:Example of Using ACE Interactively (Using ACEStart)}{B.3} \makelabel{ace:Fun with ACEExample}{B.4} \makelabel{ace:Using ACEReadResearchExample}{B.5} \makelabel{ace:Finer Points with Examples}{C} \makelabel{ace:Getting Started}{C.1} \makelabel{ace:Emulating Sims}{C.2} \makelabel{ace:Other ACE Options}{D} \makelabel{ace:Experimentation Options}{D.1} \makelabel{ace:option aep}{D.1.1} \makelabel{ace:option rep}{D.1.2} \makelabel{ace:option rep}{D.1.2} \makelabel{ace:Options that Modify a Presentation}{D.2} \makelabel{ace:option group}{D.2.1} \makelabel{ace:option relators}{D.2.2} \makelabel{ace:option generators}{D.2.3} \makelabel{ace:option sg}{D.2.4} \makelabel{ace:option rl}{D.2.5} \makelabel{ace:option ds}{D.2.6} \makelabel{ace:option dr}{D.2.7} \makelabel{ace:option cc}{D.2.8} \makelabel{ace:option rc}{D.2.9} \makelabel{ace:option rc}{D.2.9} \makelabel{ace:option rc}{D.2.9} \makelabel{ace:Mode Options}{D.3} \makelabel{ace:option mode}{D.3.1} \makelabel{ace:option begin}{D.3.2} \makelabel{ace:option start}{D.3.2} \makelabel{ace:option check}{D.3.3} \makelabel{ace:option redo}{D.3.3} \makelabel{ace:option continu}{D.3.4} \makelabel{ace:Options that Interact with the Operating System}{D.4} \makelabel{ace:option ai}{D.4.1} \makelabel{ace:option ai}{D.4.1} \makelabel{ace:option bye}{D.4.2} \makelabel{ace:option exit}{D.4.2} \makelabel{ace:option qui}{D.4.2} \makelabel{ace:option system}{D.4.3} \makelabel{ace:Query Options}{D.5} \makelabel{ace:option cycles}{D.5.1} \makelabel{ace:option dump}{D.5.2} \makelabel{ace:option dump}{D.5.2} \makelabel{ace:option dump}{D.5.2} \makelabel{ace:option dump}{D.5.2} \makelabel{ace:option help}{D.5.3} \makelabel{ace:option nc}{D.5.4} \makelabel{ace:option nc}{D.5.4} \makelabel{ace:option normal}{D.5.4} \makelabel{ace:option normal}{D.5.4} \makelabel{ace:option options}{D.5.5} \makelabel{ace:option oo}{D.5.6} \makelabel{ace:option order}{D.5.6} \makelabel{ace:option sr}{D.5.7} \makelabel{ace:option sr}{D.5.7} \makelabel{ace:option print}{D.5.8} \makelabel{ace:option print}{D.5.8} \makelabel{ace:option print}{D.5.8} \makelabel{ace:option print}{D.5.8} \makelabel{ace:option print}{D.5.8} \makelabel{ace:option sc}{D.5.9} \makelabel{ace:option stabilising}{D.5.9} \makelabel{ace:option statistics}{D.5.10} \makelabel{ace:option stats}{D.5.10} \makelabel{ace:option style}{D.5.11} \makelabel{ace:option tw}{D.5.12} \makelabel{ace:option trace}{D.5.12} \makelabel{ace:Options that Modify the Coset Table}{D.6} \makelabel{ace:option recover}{D.6.1} \makelabel{ace:option contiguous}{D.6.1} \makelabel{ace:option standard}{D.6.2} \makelabel{ace:Options for Comments}{D.7} \makelabel{ace:option text}{D.7.1} \makelabel{ace:option aceincomment!different to option text}{D.7.2} \makelabel{ace:Bibliography}{} \setcitlab {CDHW73}{CDHW73} \setcitlab {CHHR01}{CHHR01} \setcitlab {CLR90}{CLR90} \setcitlab {CM72}{CM72} \setcitlab {Hav91}{Hav91} \setcitlab {HR99a}{HR99} \setcitlab {HR01}{HR01} \setcitlab {Lee77}{Lee77} \setcitlab {Lee84}{Lee84} \setcitlab {Neu82}{Neu82} \setcitlab {Ram99}{Ram99} \setcitlab {Sim94}{Sim94} \makelabel{ace:Index}{}