Change 'nonnegative' to 'non-negative' for consistency

oscar-system · Sep 18, 2023 · 6858cd2 · 6858cd2
1 parent 5471f12
commit 6858cd2
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/pkg/JuliaExperimental/gap/finvar.gi b/pkg/JuliaExperimental/gap/finvar.gi
@@ -336,7 +336,7 @@ InstallGlobalFunction( EvaluateMolienSeries, function( R, d )
 ##
 InstallGlobalFunction( MonomialsOfGivenDegree, function( R, d )
     if not IsInt( d ) or d < 0 then
-      Error( "<d> must be a nonnegative integer" );
+      Error( "<d> must be a non-negative integer" );
     elif d = 0 then
       return [ One( R ) ];
     fi;

diff --git a/pkg/JuliaInterface/gap/adapter.gi b/pkg/JuliaInterface/gap/adapter.gi
@@ -168,7 +168,7 @@ InstallMethod( Init,
         SetJuliaPointer( rng, seed );
       fi;
     else
-      Error( "<seed> must be a nonnegative integer ",
+      Error( "<seed> must be a non-negative integer ",
              "or a Julia random number generator" );
     fi;
     return rng;
@@ -194,7 +194,7 @@ InstallMethod( Reset,
       # This means a prescribed state.
       Julia.Base.copy\!( JuliaPointer( rng ), seed );
     else
-      Error( "<seed> must be a nonnegative integer ",
+      Error( "<seed> must be a non-negative integer ",
              "or a Julia random number generator" );
     fi;
 

diff --git a/pkg/JuliaInterface/tst/adapter.tst b/pkg/JuliaInterface/tst/adapter.tst
@@ -213,9 +213,9 @@ true
 
 # possible errors
 gap> RandomSource( IsRandomSourceJulia, "random" );
-Error, <seed> must be a nonnegative integer or a Julia random number generator
+Error, <seed> must be a non-negative integer or a Julia random number generator
 gap> Reset( rs, "random" );;
-Error, <seed> must be a nonnegative integer or a Julia random number generator
+Error, <seed> must be a non-negative integer or a Julia random number generator
 
 #
 gap> STOP_TEST( "adapter.tst", 1 );