Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/modules/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 22.11.2024 mit Größe 1 kB

Quelle init.g Sprache: unbekannt

# 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" );