|
|
|
|
Quelle init.g
Sprache: unbekannt
|
|
#############################################################################
##
## orb package
## init.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 declaration part of the orb package.
##
#############################################################################
################################
# First look after our C part: #
################################
# load kernel function if it is installed:
if LoadKernelExtension("orb", "orb") = false then
Error("failed to load orb kernel extension");
fi;
#
# Compatibility between older and newer versions of the MatrixObj interface
#
if not IsBound(MultVector) then
DeclareSynonym( "MultVector", MultRowVector );
fi;
#
#I introduce the NC versions of PreImages...
#
if not IsBound( PreImagesElmNC ) then
BindGlobal( "PreImagesElmNC", PreImagesElm );
fi;
if not IsBound( PreImagesRepresentativeNC ) then
BindGlobal( "PreImagesRepresentativeNC", PreImagesRepresentative );
fi;
ReadPackage("orb","gap/homwdata.gd");
ReadPackage("orb","gap/avltree.gd");
ReadPackage("orb","gap/hash.gd");
ReadPackage("orb","gap/cache.gd");
ReadPackage("orb","gap/orbits.gd");
ReadPackage("orb","gap/search.gd");
ReadPackage("orb","gap/bysuborbit.gd");
##
## This program is free software: you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation, either version 3 of the License, or
## (at your option) any later version.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
## GNU General Public License for more details.
##
## You should have received a copy of the GNU General Public License
## along with this program. If not, see <https://www.gnu.org/licenses/>.
##
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
