Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/modulepresentationsforcap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.8.2025 mit Größe 1 kB image not shown  

Quelle  read.g   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# ModulePresentationsForCAP: Category R-pres for CAP
#
# Reading the implementation part of the package.
#

ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/LeftPresentations_as_FreydCategory_CategoryOfRows_Field_precompiled.gi" );
ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/LeftPresentations_as_FreydCategory_CategoryOfRows_CommutativeRing_precompiled.gi" );
ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/LeftPresentations_as_FreydCategory_CategoryOfRows_ArbitraryRing_precompiled.gi" );

ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/RightPresentations_as_FreydCategory_CategoryOfColumns_Field_precompiled.gi" );
ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/RightPresentations_as_FreydCategory_CategoryOfColumns_CommutativeRing_precompiled.gi" );
ReadPackage( "ModulePresentationsForCAP", "gap/precompiled_categories/RightPresentations_as_FreydCategory_CategoryOfColumns_ArbitraryRing_precompiled.gi" );

ReadPackage( "ModulePresentationsForCAP", "gap/ModulePresentationsForCAP.gi" );

ReadPackage( "ModulePresentationsForCAP", "gap/ModulePresentationObject.gi" );

ReadPackage( "ModulePresentationsForCAP", "gap/ModulePresentationMorphism.gi" );

#= comment for Julia
ReadPackage( "ModulePresentationsForCAP", "gap/ModulePresentationFunctors.gi" );
# =#

ReadPackage( "ModulePresentationsForCAP", "gap/ModulePresentationNaturalTransformations.gi" );

ReadPackage( "ModulePresentationsForCAP", "gap/Tools.gi" );

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]