Disallow duplicate names gens for magmas, semigroups, groups, etc

Author: wilfwilson

doc/ref/grplib.xml

@@ -106,7 +106,7 @@ It is possible to influence this naming with the option <C>generatorNames</C>,
 see Section&nbsp;<Ref Sect="Function Call With Options"/>.
 If this option holds a string, then the generators are named with this
 string and sequential numbers starting with <C>1</C>.
-If this option holds a list of sufficient length consisting of
+If this option holds a list of sufficient length consisting of distinct
 nonempty strings, then the generator names are taken from this list, in order.
 <P/>
 <Example><![CDATA[

lib/algebra.gd

@@ -1491,7 +1491,8 @@ DeclareOperation( "AsLieAlgebra", [ IsDivisionRing, IsCollection ] );
 ##  <Description>
 ##  is a free (nonassociative) algebra of rank <A>rank</A>
 ##  over the division ring <A>R</A>.
-##  Here <A>name</A>, and <A>name1</A>, <A>name2</A>, ... are optional strings
+##  Here <A>name</A>, and <A>name1</A>, <A>name2</A>, ... are optional
+##  distinct nonempty strings
 ##  that can be used to provide names for the generators.
 ##  <Example><![CDATA[
 ##  gap> A:= FreeAlgebra( Rationals, "a", "b" );
@@ -1523,7 +1524,8 @@ DeclareGlobalFunction( "FreeAlgebra" );
 ##  <Description>
 ##  is a free (nonassociative) algebra-with-one of rank <A>rank</A>
 ##  over the division ring <A>R</A>.
-##  Here <A>name</A>, and <A>name1</A>, <A>name2</A>, ... are optional strings
+##  Here <A>name</A>, and <A>name1</A>, <A>name2</A>, ... are optional
+##  distinct nonempty strings
 ##  that can be used to provide names for the generators.
 ##  <Example><![CDATA[
 ##  gap> A:= FreeAlgebraWithOne( Rationals, 4, "q" );

lib/alglie.gd

@@ -1253,6 +1253,7 @@ DeclareAttribute(
 ##  <C>FreeLieAlgebra( <A>R</A>, <A>name1</A>, <A>name2</A>,...)</C> returns
 ##  a free Lie algebra over <A>R</A> with generators named <A>name1</A>,
 ##  <A>name2</A>, and so on.
+##  Note that any provided generator names must be distinct.
 ##  The elements of a free Lie algebra are written on the Hall-Lyndon
 ##  basis.
 ##  <Example><![CDATA[

lib/grpfree.gd

@@ -79,14 +79,14 @@ DeclareSynonym( "IsElementOfFreeGroupFamily",IsAssocWordWithInverseFamily );
 ##    </Item>
 ##    <Mark>2: For given generator names</Mark>
 ##    <Item>
-##      Called with various nonempty strings,
+##      Called with various distinct nonempty strings,
 ##      <Ref Func="FreeGroup" Label="for various names"/> returns
 ##      a free group on as many generators as arguments, which are labelled
 ##      <A>name1</A>, <A>name2</A>, etc.
 ##    </Item>
 ##    <Mark>3: For a given list of generator names</Mark>
 ##    <Item>
-##      Called with a finite list <A>names</A> of
+##      Called with a finite duplicate-free list <A>names</A> of
 ##      nonempty strings,
 ##      <Ref Func="FreeGroup" Label="for a list of names"/> returns
 ##      a free group on <C>Length(<A>names</A>)</C> generators, whose
@@ -104,11 +104,12 @@ DeclareSynonym( "IsElementOfFreeGroupFamily",IsAssocWordWithInverseFamily );
 ##      The optional argument <A>name</A> must be a string; its default value is
 ##      <C>"f"</C>,
 ##      and the optional argument <A>init</A> must be a finite list of
-##      nonempty strings; its default value is an empty list.
+##      distinct nonempty strings; its default value is an empty list.
 ##      The generators are initially labelled according to the list <A>init</A>,
 ##      followed by
 ##      <A>name</A><C>i</C> for each <C>i</C> in the range from
-##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>.
+##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>; such a label is not
+##      allowed to appear in <A>init</A>.
 ##    </Item>
 ##  </List>
 ##  If the optional first argument <A>wfilt</A> is given, then it must be either

lib/magma.gd

@@ -818,15 +818,15 @@ DeclareGlobalFunction("FreeXArgumentProcessor");
 ##    </Item>
 ##    <Mark>2: For given generator names</Mark>
 ##    <Item>
-##      Called with various (at least one) nonempty strings,
+##      Called with various (one or more) distinct nonempty strings,
 ##      <Ref Func="FreeMagma" Label="for various names"/> returns
 ##      a free magma on as many generators as arguments, which are labelled
 ##      <A>name1</A>, <A>name2</A>, etc.
 ##    </Item>
 ##    <Mark>3: For a given list of generator names</Mark>
 ##    <Item>
 ##      Called with a finite nonempty list <A>names</A> of
-##      nonempty strings,
+##      distinct nonempty strings,
 ##      <Ref Func="FreeMagma" Label="for a list of names"/> returns
 ##      a free magma on <C>Length(<A>names</A>)</C> generators, whose
 ##      <C>i</C>-th generator is labelled <A>names</A><C>[i]</C>.
@@ -843,11 +843,12 @@ DeclareGlobalFunction("FreeXArgumentProcessor");
 ##      The optional argument <A>name</A> must be a string; its default value is
 ##      <C>"x"</C>,
 ##      and the optional argument <A>init</A> must be a finite list of
-##      nonempty strings; its default value is an empty list.
+##      distinct nonempty strings; its default value is an empty list.
 ##      The generators are initially labelled according to the list <A>init</A>,
 ##      followed by
 ##      <A>name</A><C>i</C> for each <C>i</C> in the range from
-##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>.
+##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>; such a label is not
+##      allowed to appear in <A>init</A>.
 ##    </Item>
 ##  </List>
 ##  <Example><![CDATA[
@@ -931,15 +932,15 @@ DeclareGlobalFunction( "FreeMagma" );
 ##    </Item>
 ##    <Mark>2: For given generator names</Mark>
 ##    <Item>
-##      Called with various nonempty strings,
+##      Called with various (one or more) distinct nonempty strings,
 ##      <Ref Func="FreeMagmaWithOne" Label="for various names"/> returns
 ##      a free magma-with-one on as many generators as arguments, which are
 ##      labelled <A>name1</A>, <A>name2</A>, etc.
 ##    </Item>
 ##    <Mark>3: For a given list of generator names</Mark>
 ##    <Item>
 ##      Called with a finite list <A>names</A> of
-##      nonempty strings,
+##      distinct nonempty strings,
 ##      <Ref Func="FreeMagmaWithOne" Label="for a list of names"/> returns
 ##      a free magma-with-one on <C>Length(<A>names</A>)</C> generators, whose
 ##      <C>i</C>-th generator is labelled <A>names</A><C>[i]</C>.
@@ -956,11 +957,12 @@ DeclareGlobalFunction( "FreeMagma" );
 ##      The optional argument <A>name</A> must be a string; its default value is
 ##      <C>"x"</C>,
 ##      and the optional argument <A>init</A> must be a finite list of
-##      nonempty strings; its default value is an empty list.
+##      distinct nonempty strings; its default value is an empty list.
 ##      The generators are initially labelled according to the list <A>init</A>,
 ##      followed by
 ##      <A>name</A><C>i</C> for each <C>i</C> in the range from
-##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>.
+##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>; such a label is not
+##      allowed to appear in <A>init</A>.
 ##    </Item>
 ##  </List>
 ##  <Example><![CDATA[

lib/mgmfree.gi

@@ -291,6 +291,7 @@ function(
         rank,    # Length( names )
         opt,
         init,
+        word,
         x, y1, y2;
 
   # Set up defaults.
@@ -339,13 +340,14 @@ function(
         MakeImmutable( names );
       elif ( IsList and IsFinite )( opt ) and rank <= Length( opt )
           and ForAll( [ 1 .. rank ],
-                      s -> IsString( opt[s] ) and not IsEmpty( opt[s] ) ) then
+                      s -> IsString( opt[s] ) and not IsEmpty( opt[s] ) )
+          and IsDuplicateFreeList( opt{[ 1 .. rank ]} ) then
         names := MakeImmutable( opt{[ 1 .. rank ]} );
       else
         ErrorNoReturn( Concatenation(
           "Cannot process the `generatorNames` option: ",
           "the value must be either a single string, or a list ",
-          "of sufficiently many nonempty strings ",
+          "of sufficiently many distinct nonempty strings ",
           "(at least ", String( rank ), ", in this case)" ) );
       fi;
 
@@ -378,6 +380,8 @@ function(
       err := "there must be only finitely many names";
     elif not ForAll( names, s -> IsString( s ) and not IsEmpty( s ) ) then
       err := "the names must be nonempty strings";
+    elif not IsDuplicateFreeList( names ) then
+      err := "the names must be distinct";
     fi;
 
   # Validate call of form: func( infinity[, <name>][, <init>] ).
@@ -404,8 +408,22 @@ function(
       err := "<name> must be a string";
     elif not ( IsList( init ) and IsFinite( init ) ) then
       err := "<init> must be a finite list";
+    elif not IsDuplicateFreeList( init ) then
+      err := "<init> must be duplicate-free";
     elif not ForAll( init, s -> IsString( s ) and not IsEmpty( s ) ) then
       err := "<init> must consist of nonempty strings";
+    else
+      for word in init do
+        if StartsWith( word, name ) then
+          x := word{[ Length( name ) + 1 .. Length( word ) ]};
+          if not IsEmpty( x ) and ForAll( x, IsDigitChar )
+              and Int( x ) > Length( init ) then
+            err := "no member of <init> may repeat any of the infinitely many ";
+            Append( err, "generators that begin with <name>" );
+            break;
+          fi;
+        fi;
+      od;
     fi;
     if IsEmpty( err ) then
       names := InfiniteListOfNames( name, init );

lib/monoid.gd

@@ -231,15 +231,15 @@ DeclareSynonymAttr( "TrivialSubmonoid", TrivialSubmagmaWithOne );
 ##    </Item>
 ##    <Mark>2: For given generator names</Mark>
 ##    <Item>
-##      Called with various nonempty strings,
+##      Called with various (one or more) distinct nonempty strings,
 ##      <Ref Func="FreeMonoid" Label="for various names"/> returns
 ##      a free monoid on as many generators as arguments, which are labelled
 ##      <A>name1</A>, <A>name2</A>, etc.
 ##    </Item>
 ##    <Mark>3: For a given list of generator names</Mark>
 ##    <Item>
 ##      Called with a finite list <A>names</A> of
-##      nonempty strings,
+##      distinct nonempty strings,
 ##      <Ref Func="FreeMonoid" Label="for a list of names"/> returns
 ##      a free monoid on <C>Length(<A>names</A>)</C> generators, whose
 ##      <C>i</C>-th generator is labelled <A>names</A><C>[i]</C>.
@@ -256,11 +256,12 @@ DeclareSynonymAttr( "TrivialSubmonoid", TrivialSubmagmaWithOne );
 ##      The optional argument <A>name</A> must be a string; its default value is
 ##      <C>"m"</C>,
 ##      and the optional argument <A>init</A> must be a finite list of
-##      nonempty strings; its default value is an empty list.
+##      distinct nonempty strings; its default value is an empty list.
 ##      The generators are initially labelled according to the list <A>init</A>,
 ##      followed by
 ##      <A>name</A><C>i</C> for each <C>i</C> in the range from
-##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>.
+##      <C>Length(<A>init</A>)+1</C> to <K>infinity</K>; such a label is not
+##      allowed to appear in <A>init</A>.
 ##    </Item>
 ##  </List>
 ##

lib/semigrp.gd

@@ -300,7 +300,7 @@ DeclareAttribute("CayleyGraphDualSemigroup",IsSemigroup);
 ##  generators, and the labels given to the generators, can be specified in
 ##  several different ways.
 ##  Warning: the labels of generators are only an aid for printing,
-##  and do not necessarily distinguish generators;
+##  and do not necessarily distinguish elements of the semigroup;
 ##  see the examples at the end for more information.
 ##  <List>
 ##    <Mark>
@@ -323,15 +323,15 @@ DeclareAttribute("CayleyGraphDualSemigroup",IsSemigroup);
 ##    </Item>
 ##    <Mark>2: For given generator names</Mark>
 ##    <Item>
-##      Called with various (at least one) nonempty strings,
+##      Called with various (one or more) distinct nonempty strings,
 ##      <Ref Func="FreeSemigroup" Label="for various names"/> returns
 ##      a free semigroup on as many generators as arguments, which are labelled
 ##      <A>name1</A>, <A>name2</A>, etc.
 ##    </Item>
 ##    <Mark>3: For a given list of generator names</Mark>
 ##    <Item>
 ##      Called with a nonempty finite list <A>names</A> of
-##      nonempty strings,
+##      distinct nonempty strings,
 ##      <Ref Func="FreeSemigroup" Label="for a list of names"/> returns
 ##      a free semigroup on <C>Length(<A>names</A>)</C> generators, whose
 ##      <C>i</C>-th generator is labelled <A>names</A><C>[i]</C>.
@@ -417,6 +417,8 @@ DeclareAttribute("CayleyGraphDualSemigroup",IsSemigroup);
 ##  distinguish letters.
 ##  It is possible to create arbitrarily weird situations by choosing strange
 ##  names for the letters.
+##  However, as a small step to avoiding confusion, it is disallowed to choose
+##  duplicate generator names.
 ##  <P/>
 ##  <Example><![CDATA[
 ##  gap> f := FreeGroup( "x", "x" );

tst/testinstall/grpfree.tst

@@ -167,6 +167,10 @@ gap> FreeGroup("bacon", "eggs", "beans");
 <free group on the generators [ bacon, eggs, beans ]>
 gap> FreeGroup("shed");
 <free group on the generators [ shed ]>
+gap> FreeGroup("shed", "shed");
+Error, FreeGroup( <name1>, <name2>, ... ): the names must be distinct
+gap> FreeGroup("a", "b", "c", "d", "b", "e", "f");
+Error, FreeGroup( <name1>, <name2>, ... ): the names must be distinct
 
 # FreeGroup( [ <name1>, <name2>, ... ] )
 gap> FreeGroup(InfiniteListOfNames("a"));

tst/testinstall/mgmfree.tst

@@ -113,6 +113,10 @@ gap> FreeMagma("bacon", "eggs", "beans");
 <free magma on the generators [ bacon, eggs, beans ]>
 gap> FreeMagma("shed");
 <free magma on the generators [ shed ]>
+gap> FreeMagma("shed", "shed");
+Error, FreeMagma( <name1>, <name2>, ... ): the names must be distinct
+gap> FreeMagma("a", "b", "c", "d", "b", "e", "f");
+Error, FreeMagma( <name1>, <name2>, ... ): the names must be distinct
 
 # FreeMagma( [ <name1>[, <name2>, ...] ] )
 gap> FreeMagma(InfiniteListOfNames("a"));
@@ -238,6 +242,10 @@ gap> FreeMagmaWithOne("bacon", "eggs", "beans");
 <free magma-with-one on the generators [ bacon, eggs, beans ]>
 gap> FreeMagmaWithOne("shed");
 <free magma-with-one on the generators [ shed ]>
+gap> FreeMagmaWithOne("shed", "shed");
+Error, FreeMagmaWithOne( <name1>, <name2>, ... ): the names must be distinct
+gap> FreeMagmaWithOne("a", "b", "c", "d", "b", "e", "f");
+Error, FreeMagmaWithOne( <name1>, <name2>, ... ): the names must be distinct
 
 # FreeMagmaWithOne( [ <name1>[, <name2>, ...] ] )
 gap> FreeMagmaWithOne(InfiniteListOfNames("a"));