1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %A wordass.xml GAP documentation Alexander Hulpke -->
<!-- %% -->
<!-- %% -->
<!-- %Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland -->
<!-- %Y Copyright (C) 2002 The GAP Group -->
<!-- %% -->
<Chapter Label="Associative Words">
<Heading>Associative Words</Heading>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Categories of Associative Words">
<Heading>Categories of Associative Words</Heading>
<#Include Label="[1]{wordass}">
<#Include Label="IsAssocWord">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Free Groups, Monoids and Semigroups">
<Heading>Free Groups, Monoids and Semigroups</Heading>
Usually a family of associative words will be generated by constructing
the free object generated by them.
See <Ref Func="FreeMonoid" Label="for given rank"/>,
<Ref Func="FreeSemigroup" Label="for given rank"/> for details.
<#Include Label="FreeGroup">
<#Include Label="IsFreeGroup">
<#Include Label="AssignGeneratorVariables">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Comparison of Associative Words">
<Heading>Comparison of Associative Words</Heading>
<#Include Label="[2]{wordass}">
<#Include Label="IsShortLexLessThanOrEqual">
<#Include Label="IsBasicWreathLessThanOrEqual">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Operations for Associative Words">
<Heading>Operations for Associative Words</Heading>
<#Include Label="[3]{wordass}">
<P/>
<#Include Label="Length:wordass">
<#Include Label="ExponentSumWord">
<#Include Label="Subword">
<#Include Label="PositionWord">
<#Include Label="SubstitutedWord">
<#Include Label="EliminatedWord">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Operations for Associative Words by their Syllables">
<Heading>Operations for Associative Words by their Syllables</Heading>
<#Include Label="[5]{wordass}">
<#Include Label="NumberSyllables">
<#Include Label="ExponentSyllable">
<#Include Label="GeneratorSyllable">
<#Include Label="SubSyllables">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Representations for Associative Words">
<Heading>Representations for Associative Words</Heading>
&GAP; provides two different internal kinds of representations of
associative words. The first one are <Q>syllable representations</Q> in which
words are stored in syllable (i.e. generator,exponent) form. (Older versions
of &GAP; only used this representation.) The second kind are <Q>letter
representations</Q> in which each letter in a word is represented by its index
number. Negative numbers are used for inverses. Unless the syllable
representation is specified explicitly when creating the free group/monoid
or semigroup, a letter representation is used by default.
<P/>
Depending on the task in mind, either of these two representations will
perform better in time or in memory use and algorithms that are syllable or
letter based (for example <Ref Oper="GeneratorSyllable"/> and
<Ref Oper="Subword"/>) perform substantially better in the corresponding
representation.
For example when creating pc groups (see <Ref Chap="Pc Groups"/>),
it is advantageous to use a syllable representation while calculations in
free groups usually benefit from using a letter representation.
<#Include Label="IsLetterAssocWordRep">
<#Include Label="IsLetterWordsFamily">
<#Include Label="IsBLetterAssocWordRep">
<#Include Label="IsBLetterWordsFamily">
<#Include Label="IsSyllableAssocWordRep">
<#Include Label="IsSyllableWordsFamily">
<#Include Label="Is8BitsFamily">
<#Include Label="LetterRepAssocWord">
<#Include Label="AssocWordByLetterRep">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="The External Representation for Associative Words">
<Heading>The External Representation for Associative Words</Heading>
<#Include Label="[6]{wordass}">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Straight Line Programs">
<Heading>Straight Line Programs</Heading>
<#Include Label="[1]{straight}">
<#Include Label="IsStraightLineProgram">
<#Include Label="StraightLineProgram">
<#Include Label="LinesOfStraightLineProgram">
<#Include Label="NrInputsOfStraightLineProgram">
<#Include Label="ResultOfStraightLineProgram">
<#Include Label="StringOfResultOfStraightLineProgram">
<#Include Label="CompositionOfStraightLinePrograms">
<#Include Label="IntegratedStraightLineProgram">
<#Include Label="RestrictOutputsOfSLP">
<#Include Label="IntermediateResultOfSLP">
<#Include Label="IntermediateResultOfSLPWithoutOverwrite">
<#Include Label="IntermediateResultsOfSLPWithoutOverwrite">
<#Include Label="ProductOfStraightLinePrograms">
<#Include Label="SlotUsagePattern">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Straight Line Program Elements">
<Heading>Straight Line Program Elements</Heading>
<#Include Label="[2]{straight}">
<#Include Label="IsStraightLineProgElm">
<#Include Label="StraightLineProgElm">
<#Include Label="StraightLineProgGens">
<#Include Label="EvalStraightLineProgElm">
<#Include Label="StretchImportantSLPElement">
</Section>
</Chapter>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %E -->
|
