Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/gradedmodules/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 436 B image not shown  

Quelle  LIGrHOM.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# GradedModules: A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
#
# Declarations
#

##         LIGrHOM = Logical Implications for Graded HOMomorphisms

# a central place for configurations:
DeclareGlobalVariable( "LIGrHOM" );

####################################
#
# global functions:
#
####################################

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]