CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
#############################################################################
##
##  Relative.gd                 Graded Modules package
##
##  Copyright 2008-2010, Mohamed Barakat, University of Kaiserslautern
##                       Markus Lange-Hegermann, RWTH Aachen
##
##  Declarations of procedures for the relative situation.
##
#############################################################################

####################################
#
# global functions and operations:
#
####################################

# basic operations:

DeclareOperation( "RelativeRepresentationMapOfKoszulId",
        [ IsHomalgModule, IsHomalgRing ] );

DeclareOperation( "RelativeRepresentationMapOfKoszulId",
        [ IsHomalgModule ] );

DeclareOperation( "DegreeZeroSubcomplex",
        [ IsHomalgComplex, IsHomalgRing ] );

DeclareOperation( "DegreeZeroSubcomplex",
        [ IsHomalgComplex ] );