@@ -656,7 +656,6 @@ def coefficient_of_word(self, w, multiply_left=True, multiply_right=True):
656
656
result = result * self .right
657
657
return result
658
658
659
-
660
659
__getitem__ = coefficient_of_word
661
660
662
661
@cached_method
@@ -1080,7 +1079,6 @@ def alpha(c):
1080
1079
P = self .parent ()
1081
1080
return P .element_class (P , mu_prime , left_prime , right_prime )
1082
1081
1083
-
1084
1082
def dimension (self ):
1085
1083
r"""
1086
1084
Return the dimension of this recognizable series.
@@ -1103,7 +1101,7 @@ def _add_(self, other):
1103
1101
INPUT:
1104
1102
1105
1103
- ``other`` -- a :class:`RecognizableSeries` with the same parent
1106
- as this recognizable series.
1104
+ as this recognizable series
1107
1105
1108
1106
- ``minimize`` -- (default: ``None``) a boolean or ``None``.
1109
1107
If ``True``, then :meth:`minimized` is called after the operation,
@@ -1142,14 +1140,13 @@ def _add_(self, other):
1142
1140
1143
1141
return result
1144
1142
1145
-
1146
1143
def _neg_ (self ):
1147
1144
r"""
1148
1145
Return the additive inverse of this recognizable series.
1149
1146
1150
1147
OUTPUT:
1151
1148
1152
- A :class:`RecognizableSeries`.
1149
+ A :class:`RecognizableSeries`
1153
1150
1154
1151
EXAMPLES::
1155
1152
@@ -1165,19 +1162,18 @@ def _neg_(self):
1165
1162
P = self .parent ()
1166
1163
return P .element_class (P , self .mu , - self .left , self .right )
1167
1164
1168
-
1169
1165
def _rmul_ (self , other ):
1170
1166
r"""
1171
1167
Multiply this recognizable series from the right
1172
1168
by an element ``other`` of its coefficient (semi-)ring.
1173
1169
1174
1170
INPUT:
1175
1171
1176
- - ``other`` -- an element of the coefficient (semi-)ring.
1172
+ - ``other`` -- an element of the coefficient (semi-)ring
1177
1173
1178
1174
OUTPUT:
1179
1175
1180
- A :class:`RecognizableSeries`.
1176
+ A :class:`RecognizableSeries`
1181
1177
1182
1178
EXAMPLES::
1183
1179
@@ -1196,19 +1192,18 @@ def _rmul_(self, other):
1196
1192
P = self .parent ()
1197
1193
return P .element_class (P , self .mu , self .left , self .right * other )
1198
1194
1199
-
1200
1195
def _lmul_ (self , other ):
1201
1196
r"""
1202
1197
Multiply this recognizable series from the left
1203
1198
by an element ``other`` of its coefficient (semi-)ring.
1204
1199
1205
1200
INPUT:
1206
1201
1207
- - ``other`` -- an element of the coefficient (semi-)ring.
1202
+ - ``other`` -- an element of the coefficient (semi-)ring
1208
1203
1209
1204
OUTPUT:
1210
1205
1211
- A :class:`RecognizableSeries`.
1206
+ A :class:`RecognizableSeries`
1212
1207
1213
1208
EXAMPLES:
1214
1209
@@ -1245,7 +1240,7 @@ def hadamard_product(self, other):
1245
1240
INPUT:
1246
1241
1247
1242
- ``other`` -- a :class:`RecognizableSeries` with the same parent
1248
- as this recognizable series.
1243
+ as this recognizable series
1249
1244
1250
1245
- ``minimize`` -- (default: ``None``) a boolean or ``None``.
1251
1246
If ``True``, then :meth:`minimized` is called after the operation,
@@ -1254,7 +1249,7 @@ def hadamard_product(self, other):
1254
1249
1255
1250
OUTPUT:
1256
1251
1257
- A :class:`RecognizableSeries`.
1252
+ A :class:`RecognizableSeries`
1258
1253
1259
1254
EXAMPLES::
1260
1255
@@ -1334,7 +1329,6 @@ def hadamard_product(self, other):
1334
1329
return result
1335
1330
1336
1331
1337
-
1338
1332
class RecognizableSeriesSpace (UniqueRepresentation , Parent ):
1339
1333
r"""
1340
1334
The space of recognizable series on the given alphabet and
@@ -1600,7 +1594,7 @@ def one_hadamard(self):
1600
1594
1601
1595
OUTPUT:
1602
1596
1603
- A :class:`RecognizableSeries`.
1597
+ A :class:`RecognizableSeries`
1604
1598
1605
1599
EXAMPLES::
1606
1600
0 commit comments