Revision 3a654fb6556f8b24081daeae9249680d8ff68214 authored by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC, committed by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC
1 parent 8ba25ff
ModulesForHomalg.gd
#############################################################################
##
## ModulesForHomalg.gd Modules package Mohamed Barakat
##
## Copyright 2007-2010, Mohamed Barakat, University of Kaiserslautern
##
## Declaration stuff for the package Modules.
##
#############################################################################
# our info classes:
DeclareInfoClass( "InfoModulesForHomalg" );
SetInfoLevel( InfoModulesForHomalg, 1 );
# a central place for configurations:
DeclareGlobalVariable( "HOMALG_MODULES" );
####################################
#
# global functions and operations:
#
####################################
# basic operations:
DeclareOperation( "HomalgRing",
[ IsHomalgObjectOrMorphism ] );
DeclareOperation( "BasisOfModule",
[ IsHomalgObjectOrMorphism ] );
DeclareOperation( "OnBasisOfPresentation",
[ IsHomalgObjectOrMorphism ] );
DeclareOperation( "OnLessGenerators",
[ IsHomalgObjectOrMorphism ] );
Computing file changes ...