|
#############################################################################
##
## orb package
## read.g
## Juergen Mueller
## Max Neunhoeffer
## Felix Noeske
##
## Copyright 2005-2008 by the authors.
## This file is free software, see license information at the end.
##
## Reading the implementation part of the orb package.
##
#############################################################################
ReadPackage("orb","gap/homwdata.gi");
ReadPackage("orb","gap/avltree.gi");
ReadPackage("orb","gap/hash.gi");
ReadPackage("orb","gap/cache.gi");
ReadPackage("orb","gap/orbits.gi");
ReadPackage("orb","gap/search.gi");
ReadPackage("orb","gap/bysuborbit.gi");
if IsBound(IO_PackageIsLoaded) then
ReadPackage("orb","gap/picklers.gi");
else
if not(IsBound(IO_PkgThingsToRead)) then
IO_PkgThingsToRead := [];
fi;
Add(IO_PkgThingsToRead,["orb","gap/picklers.gi"]);
fi;
[ Dauer der Verarbeitung: 0.5 Sekunden
(vorverarbeitet)
]
|