CAP_project/CAP/init.g at master · homalg-project/CAP_project · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Reading the declaration part of the package.
#
## the CAP core
ReadPackage( "CAP", "gap/ToolsForCategories.gd" );

ReadPackage( "CAP", "gap/CAP.gd" );

ReadPackage( "CAP", "gap/Derivations.gd" );

ReadPackage( "CAP", "gap/Finalize.gd" );

ReadPackage( "CAP", "gap/MethodRecordTools.gd" );

ReadPackage( "CAP", "gap/CategoryObjects.gd" );

ReadPackage( "CAP", "gap/CategoryMorphisms.gd" );

ReadPackage( "CAP", "gap/CategoryTwoCells.gd" );

ReadPackage( "CAP", "gap/LimitConvenience.gd" );

ReadPackage( "CAP", "gap/InstallAdds.gd" );

#= comment for Julia
ReadPackage( "CAP", "gap/TheoremParser.gd" );
# =#

ReadPackage( "CAP", "gap/LogicForCAP.gd" );

ReadPackage( "CAP", "gap/ConstructiveCategoriesRecord.gd" );

ReadPackage( "CAP", "gap/PrintingFunctions.gd" );

ReadPackage( "CAP", "gap/PrepareFunctionsTools.gd" );

# load tools required for the CAP library
ReadPackage( "CAP", "gap/ToolsForCategories.gi" );

## the CAP library

## pre-defined CAP operations
ReadPackage( "CAP", "gap/CategoryObjectsOperations.gd" );

ReadPackage( "CAP", "gap/CategoryMorphismsOperations.gd" );

ReadPackage( "CAP", "gap/CategoryTwoCellsOperations.gd" );

ReadPackage( "CAP", "gap/UniversalObjects.gd" );

ReadPackage( "CAP", "gap/MethodRecordDeclarations.autogen.gd" );

## pre-defined category constructors
ReadPackage( "CAP", "gap/OppositeCategory.gd" );

ReadPackage( "CAP", "gap/ProductCategory.gd" );

ReadPackage( "CAP", "gap/CategoriesCategory.gd" );

ReadPackage( "CAP", "gap/CategoryConstructor.gd" );

ReadPackage( "CAP", "gap/TerminalCategory.gd" );

ReadPackage( "CAP", "gap/FiniteSkeletalDiscreteCategory.gd" );

ReadPackage( "CAP", "gap/ReinterpretationOfCategory.gd" );

ReadPackage( "CAP", "gap/WrapperCategory.gd" );

ReadPackage( "CAP", "gap/DummyImplementations.gd" );