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
#############################################################################
##
##  Service.gd                  MatricesForHomalg package    Mohamed Barakat
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declarations of homalg service procedures.
##
#############################################################################

####################################
#
# attributes:
#
####################################

DeclareAttribute( "BasisOfRowModule",
        IsHomalgMatrix );

DeclareAttribute( "BasisOfColumnModule",
        IsHomalgMatrix );

DeclareAttribute( "SyzygiesGeneratorsOfRows",
        IsHomalgMatrix );

DeclareAttribute( "SyzygiesGeneratorsOfColumns",
        IsHomalgMatrix );

DeclareAttribute( "ReducedBasisOfRowModule",
        IsHomalgMatrix );

DeclareAttribute( "ReducedBasisOfColumnModule",
        IsHomalgMatrix );

DeclareAttribute( "ReducedSyzygiesGeneratorsOfRows",
        IsHomalgMatrix );

DeclareAttribute( "ReducedSyzygiesGeneratorsOfColumns",
        IsHomalgMatrix );

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

DeclareGlobalFunction( "ColoredInfoForService" );

# basic operations:

DeclareOperation( "RowReducedEchelonForm",
        [ IsHomalgMatrix ] );

DeclareOperation( "RowReducedEchelonForm",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "ColumnReducedEchelonForm",
        [ IsHomalgMatrix ] );

DeclareOperation( "ColumnReducedEchelonForm",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "DecideZeroRows",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "DecideZeroColumns",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "SyzygiesGeneratorsOfRows",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "SyzygiesGeneratorsOfColumns",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "BasisOfRowsCoeff",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "BasisOfColumnsCoeff",
        [ IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "DecideZeroRowsEffectively",
        [ IsHomalgMatrix, IsHomalgMatrix, IsHomalgMatrix ] );

DeclareOperation( "DecideZeroColumnsEffectively",
        [ IsHomalgMatrix, IsHomalgMatrix, IsHomalgMatrix ] );