|
|
|
|
Quelle manual.lab
Sprache: unbekannt
|
|
|
\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: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}{CHHR02}
\setcitlab {CLR90}{CLR90}
\setcitlab {CM72}{CM72}
\setcitlab {Hav91}{Hav91}
\setcitlab {HR99ace}{HR99}
\setcitlab {HR01}{HR01}
\setcitlab {Lee77}{Lee77}
\setcitlab {Lee84}{Lee84}
\setcitlab {Neu82}{Neu82}
\setcitlab {Ram99ace}{Ram99}
\setcitlab {Sim94}{Sim94}
\makelabel{ace:Index}{}
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
