minor fixes in the documentation

- get rid of the "multiply defined labels" complaints when one builds the
  Reference Manual (added some explicit labels, and renamed a manual section)
- fixed a formulation in the documentation of `Factorization`
- removed a superfluous `<` in the text

Author: ThomasBreuer

doc/ref/alglie.xml

@@ -347,8 +347,8 @@ gap> ExtRepOfObj( q );
 
 
 <!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
-<Section Label="Tensor Products and Exterior and Symmetric Powers">
-<Heading>Tensor Products and Exterior and Symmetric Powers</Heading>
+<Section Label="Tensor Products and Exterior and Symmetric Powers of Algebra Modules">
+<Heading>Tensor Products and Exterior and Symmetric Powers of Algebra Modules</Heading>
 
 <#Include Label="TensorProductOfAlgebraModules">
 <#Include Label="ExteriorPowerOfAlgebraModule">

doc/ref/methsel.xml

@@ -95,7 +95,7 @@ method filter.
 Also, method ranking works differently: instead of the sum of the ranks of the
 types of all arguments, only the rank of the filter given as first argument is
 considered; and for it, the normal ranking order is reversed. This ensures
-that if multiple constructor methods match, the <Q>>most general</Q> method is
+that if multiple constructor methods match, the <Q>most general</Q> method is
 selected.
 
 <Example><![CDATA[

grp/classic.gd

@@ -200,9 +200,9 @@ DeclareConstructor( "GeneralOrthogonalGroupCons",
 ##  <#GAPDoc Label="GeneralOrthogonalGroup">
 ##  <ManSection>
 ##  <Func Name="GeneralOrthogonalGroup" Arg='[filt, ][e, ]d, q[, form]'/>
-##  <Func Name="GeneralOrthogonalGroup" Arg='[filt, ]form'/>
+##  <Func Name="GeneralOrthogonalGroup" Arg='[filt, ]form' Label="for a form"/>
 ##  <Func Name="GO" Arg='[filt, ][e, ]d, q[, form]'/>
-##  <Func Name="GO" Arg='[filt, ]form'/>
+##  <Func Name="GO" Arg='[filt, ]form' Label="for a form"/>
 ##
 ##  <Description>
 ##  constructs a group isomorphic to the
@@ -321,9 +321,9 @@ DeclareConstructor( "GeneralUnitaryGroupCons",
 ##  <#GAPDoc Label="GeneralUnitaryGroup">
 ##  <ManSection>
 ##  <Func Name="GeneralUnitaryGroup" Arg='[filt, ]d, q[, form]'/>
-##  <Func Name="GeneralUnitaryGroup" Arg='[filt, ]form'/>
+##  <Func Name="GeneralUnitaryGroup" Arg='[filt, ]form' Label="for a form"/>
 ##  <Func Name="GU" Arg='[filt, ]d, q[, form]'/>
-##  <Func Name="GU" Arg='[filt, ]form'/>
+##  <Func Name="GU" Arg='[filt, ]form' Label="for a form"/>
 ##
 ##  <Description>
 ##  constructs a group isomorphic to the general unitary group
@@ -508,9 +508,9 @@ DeclareConstructor( "SpecialOrthogonalGroupCons",
 ##  <#GAPDoc Label="SpecialOrthogonalGroup">
 ##  <ManSection>
 ##  <Func Name="SpecialOrthogonalGroup" Arg='[filt, ][e, ]d, q[, form]'/>
-##  <Func Name="SpecialOrthogonalGroup" Arg='[filt, ]form'/>
+##  <Func Name="SpecialOrthogonalGroup" Arg='[filt, ]form' Label="for a form"/>
 ##  <Func Name="SO" Arg='[filt, ][e, ]d, q[, form]'/>
-##  <Func Name="SO" Arg='[filt, ]form'/>
+##  <Func Name="SO" Arg='[filt, ]form' Label="for a form"/>
 ##
 ##  <Description>
 ##  constructs a group isomorphic to the
@@ -620,9 +620,9 @@ DeclareConstructor( "SpecialUnitaryGroupCons",
 ##  <#GAPDoc Label="SpecialUnitaryGroup">
 ##  <ManSection>
 ##  <Func Name="SpecialUnitaryGroup" Arg='[filt, ]d, q[, form]'/>
-##  <Func Name="SpecialUnitaryGroup" Arg='[filt, ]form'/>
+##  <Func Name="SpecialUnitaryGroup" Arg='[filt, ]form' Label="for a form"/>
 ##  <Func Name="SU" Arg='[filt, ]d, q[, form]'/>
-##  <Func Name="SU" Arg='[filt, ]form'/>
+##  <Func Name="SU" Arg='[filt, ]form' Label="for a form"/>
 ##
 ##  <Description>
 ##  constructs a group isomorphic to the special unitary group

lib/files.gd

@@ -784,7 +784,7 @@ BIND_GLOBAL("CHARS_SYMBOLS",Immutable(SSortedList(
 ##  <#GAPDoc Label="HexSHA256">
 ##  <ManSection>
 ##  <Func Name="HexSHA256" Arg='string'/>
-##  <Func Name="HexSHA256" Arg='stream'/>
+##  <Func Name="HexSHA256" Arg='stream' Label="for a stream"/>
 ##
 ##  <Description>
 ##  <Index>hash function</Index>

lib/ghomfp.gd

@@ -251,7 +251,7 @@ DeclareAttribute("IsomorphismSimplifiedFpGroup",IsSubgroupFpGroup);
 ##  <Description>
 ##  For a group <A>G</A> with a known generating set, this attribute returns
 ##  a homomorphism from a free group that maps the free generators to the
-##  groups generators.
+##  generators of <A>G</A>.
 ##  <P/>
 ##  The option <C>names</C> can be used to prescribe a (print) name
 ##  for the free generators.

lib/grp.gd

@@ -3599,8 +3599,8 @@ DeclareOperation( "NrConjugacyClassesInSupergroup", [ IsGroup, IsGroup ] );
 ##  returns a factorization of <A>elm</A> as word in the generators of the
 ##  group <A>G</A> given in the attribute <Ref Attr="GeneratorsOfGroup"/>.
 ##  The attribute <Ref Attr="EpimorphismFromFreeGroup"/> of <A>G</A>
-##  will contain a map from the group <A>G</A> to the free group
-##  in which the word is expressed.
+##  will contain a map from the free group in which the word is expressed
+##  to the group <A>G</A>.
 ##  The attribute <Ref Attr="MappingGeneratorsImages"/> of this map gives a
 ##  list of generators and corresponding letters.
 ##  <P/>