Make Random for a (finite) collection take an optional source

This requires moving the function as it was defined too early
to use InstallMethodWithRandomSource

Author: ChrisJefferson

lib/coll.gi

@@ -257,12 +257,15 @@ InstallGlobalFunction( RandomList, function(args...)
     Error(" Usage: RandomList([rs], list))");
   fi;
 end );
-InstallMethod( Random, "for a (finite) collection",
-    [ IsCollection and IsFinite ],
-    C -> RandomList( Enumerator( C ) ) );
 
-RedispatchOnCondition(Random,true,[IsCollection],[IsFinite],0);
 
+InstallMethodWithRandomSource( Random,
+    "for a random source and a (finite) collection",
+    [ IsRandomSource, IsCollection and IsFinite ],
+    {rs, C} -> RandomList(rs, Enumerator( C ) ) );
+
+RedispatchOnCondition(Random,true,[IsCollection],[IsFinite],0);
+RedispatchOnCondition(Random,true,[IsRandomSource,IsCollection],[IsFinite],0);
 
 #############################################################################
 ##