Skip to content

Commit b36e07e

Browse files
Do not need to declare another AsList attribute on a category which is already a collection
1 parent 8faba7e commit b36e07e

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

gap/attributes/cartan.gd

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@ DeclareCategory("IsGeneralizedConjugacyClass", IsCollection);
1313
DeclareAttribute("Representative", IsGeneralizedConjugacyClass);
1414
DeclareAttribute("ParentAttr", IsGeneralizedConjugacyClass);
1515
DeclareAttribute("MapToGroupHClass", IsGeneralizedConjugacyClass);
16-
DeclareAttribute("AsList", IsGeneralizedConjugacyClass);
1716
DeclareOperation("GeneralizedConjugacyClass",
1817
[IsSemigroup, IsMultiplicativeElement]);
1918
DeclareOperation("GeneralizedConjugacyClass",

0 commit comments

Comments
 (0)