|
#############################################################################
##
#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
##
[ Dauer der Verarbeitung: 0.7 Sekunden
(vorverarbeitet)
]
|
