| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/monoidalcategories/gap/ (GAP Algebra Version 4.15.1©) Datei vom 25.7.2025 mit Größe 778 B |
|
Quelle CreateMonoidalCategories.gd Sprache: Shell |
|||||||||||||||||||||||||
|
# SPDX-License-Identifier: GPL-2.0-or-later # MonoidalCategories: Monoidal and monoidal (co)closed categories # # Declarations # #################################### ## #! @Chapter Code Generation for Monodial Categories ## #! @Section Monoidal Categories ## #################################### DeclareGlobalFunction( "CAP_INTERNAL_FUNC_FOR_MONOIDAL_STRUCTURES" ); #! @Description #! This functions uses the dictionary <A>key_val_rec</A> to create a new 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( "WriteFileForMonoidalStructure" );
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-04