forked from homalg-project/CategoricalTowers
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathinit.g
15 lines (14 loc) · 897 Bytes
/
init.g
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
# SPDX-License-Identifier: GPL-2.0-or-later
# IntrinsicGradedModules: Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements
#
# Reading the declaration part of the package.
#
ReadPackage( "IntrinsicGradedModules", "gap/IntrinsicGradedModules.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/FpGradedModulesByFreyd.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/FpGradedModulesByFreyd.autogen.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/FunctorsForFpGradedModulesByFreyd.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/NatTrForFpGradedModulesByFreyd.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/GradedModule.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/GradedModuleMap.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/GradedSubmodule.gd" );
ReadPackage( "IntrinsicGradedModules", "gap/Koszul.gd" );