doc: fix doc of GeneratorsOfDomain

gap-system · May 15, 2019 · 6d6f310 · 6d6f310
1 parent f30c1e4
commit 6d6f310
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/domain.gd b/lib/domain.gd
@@ -139,7 +139,8 @@ InstallTrueMethod( IsDuplicateFree, IsDomain );
 ##
 ##  <Description>
 ##  For a domain <A>D</A>, <Ref Attr="GeneratorsOfDomain"/> returns a list
-##  containing all elements of <A>D</A>, perhaps with repetitions.
+##  containing generators of <A>D</A> with respect to its operational
+##  structure. The returned list may contain repetitions.
 ##  Note that if the domain <A>D</A> shall be generated by a list of some
 ##  elements w.r.t.&nbsp;the empty operational structure
 ##  (see&nbsp;<Ref Sect="Operational Structure of Domains"/>),