init.g

# SPDX-License-Identifier: GPL-2.0-or-later
# Modules: A homalg based package for the Abelian category of finitely presented modules over computable rings
#
# Reading the declaration part of the package.
#

## init
ReadPackage( "Modules", "gap/ModulesForHomalg.gd" );

## rings
ReadPackage( "Modules", "gap/HomalgRingMap.gd" );

## relations/generators
ReadPackage( "Modules", "gap/HomalgRelations.gd" );
ReadPackage( "Modules", "gap/SetsOfRelations.gd" );
ReadPackage( "Modules", "gap/HomalgGenerators.gd" );
ReadPackage( "Modules", "gap/SetsOfGenerators.gd" );

## modules/submodules
ReadPackage( "Modules", "gap/HomalgModule.gd" );
ReadPackage( "Modules", "gap/HomalgSubmodule.gd" );

## maps
ReadPackage( "Modules", "gap/HomalgMap.gd" );

## elements
ReadPackage( "Modules", "gap/HomalgModuleElement.gd" );

## filtrations
ReadPackage( "Modules", "gap/HomalgFiltration.gd" );

## complexes
ReadPackage( "Modules", "gap/HomalgComplex.gd" );

## chain maps
ReadPackage( "Modules", "gap/HomalgChainMap.gd" );

## bicomplexes
ReadPackage( "Modules", "gap/HomalgBicomplex.gd" );

## bigraded objects
ReadPackage( "Modules", "gap/HomalgBigradedObject.gd" );

## main
ReadPackage( "Modules", "gap/Modules.gd" );
ReadPackage( "Modules", "gap/ToolFunctors.gd" );
ReadPackage( "Modules", "gap/BasicFunctors.gd" );
ReadPackage( "Modules", "gap/OtherFunctors.gd" );

## symmetric algebra
ReadPackage( "Modules", "gap/SymmetricAlgebra.gd" );

## exterior algebra
ReadPackage( "Modules", "gap/ExteriorAlgebra.gd" );

## tools
ReadPackage( "Modules", "gap/Tools.gd" );

## elements of the Grothendieck group of a projective space
ReadPackage( "Modules", "gap/GrothendieckGroup.gd" );

## LogicForHomalg subpackages
ReadPackage( "Modules", "gap/LIMAP.gd" );
ReadPackage( "Modules", "gap/LIREL.gd" );
ReadPackage( "Modules", "gap/LIMOD.gd" );
ReadPackage( "Modules", "gap/LIHOM.gd" );