Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/monoidalcategories/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 25.7.2025 mit Größe 805 B image not shown  

Quelle  CreateClosedMonoidalCategories.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# MonoidalCategories: Monoidal and monoidal (co)closed categories
#
# Declarations
#

####################################
##
#! @Chapter Code Generation for Monodial Categories
##
#! @Section Closed Monoidal Categories
##
####################################

DeclareGlobalFunction( "CAP_INTERNAL_FUNC_FOR_CLOSED_MONOIDAL_STRUCTURES" );

#! @Description
#!  This functions uses the dictionary <A>key_val_rec</A> to create a new closed monoidal structure.
#!  It generates the necessary files in the package <A>package_name</A> using
#!  the file-correspondence table <A>files_rec</A>.
#!  See the implementation for details.
#! @Returns nothing
#! @Arguments key_val_rec, package_name, files_rec
DeclareGlobalFunction( "WriteFileForClosedMonoidalStructure" );

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]