Quelle testlib.g Sprache: unbekannt

#############################################################################
##
#W  testlib.g              The UnitLib package             Olexandr Konovalov
#W                                                            Olena Yakimenko
##
#############################################################################

#############################################################################
##
##  UNITLIBTestLibrary()
##
##  This is a function to check the completeness of the library
##  (requires a UNIX environment)
##
UNITLIBTestLibrary := function()
local datapath, testresult, size, missing, n, libfile, s;

  datapath := Concatenation(
                GAPInfo.PackagesInfo.("unitlib")[1].InstallationPath,
            "/data/" );
  testresult := true;

  for size in Filtered( [ 2 .. 243 ], IsPrimePowerInt) do

    missing := [];

    # Print( NrSmallGroups(size), " group(s) of order ", size, "\n" );

    for n in [ 1 .. NrSmallGroups( size ) ] do

      if IsPrimeInt( size ) then
        libfile := Concatenation( datapath, "primeord",
           "/u", String(size), "_", String(n) );
      else
        libfile := Concatenation( datapath, String(size),
           "/u", String(size), "_", String(n) );
      fi;

      libfile := Concatenation( libfile, ".g.gz" );

      if not IsExistingFile(libfile) then
        Add( missing, n );
     testresult := false;
      fi;

    od;

    if Length(missing) > 0 then
      Print( Length(missing), " missing groups for order ", size, " : ", missing, "\n");
    fi;
  od;
  if testresult then
    Print("UnitLib library is complete - no missing files!!!\n");
    return true;
  else
    Print("UnitLib library is incomplete - some files are not available!!!\n");
    return false;
  fi;
end;

#############################################################################
##
#E
##

Quelle testlib.g Sprache: unbekannt

[ Dauer der Verarbeitung: 0.25 Sekunden (vorverarbeitet) ]