diff --git a/PackageInfo.g b/PackageInfo.g
index fc4f4e6..0a9aefb 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
PackageName := "CatReps",
Subtitle := "Representations and cohomology of finite categories",
Version := Maximum( [
- "2020.10-05", ## Mohamed's version
+ "2020.10-06", ## Mohamed's version
## this line prevents merge conflicts
"2020.10-02", ## Tibor's version
## this line prevents merge conflicts
diff --git a/Project.toml b/Project.toml
index 9fc094f..a2c6818 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,5 +1,5 @@
[deps]
-HomalgProject = "50bd374c-87b5-11e9-015a-2febe71398bd"
+CapAndHomalg = "c4774649-1891-41ea-a883-87141804c57c"
IJulia = "7073ff75-c697-5162-941a-fcdaad2a7d2a"
[compat]
diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
index 5c6a70e..13cc778 100644
--- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
@@ -18,21 +18,14 @@
"name": "stdout",
"output_type": "stream",
"text": [
- "Singular.jl, based on\n",
- " SINGULAR / \n",
- " A Computer Algebra System for Polynomial Computations / Singular.jl: 0.4.1 \n",
- " 0< Singular : 2.3.1-4\n",
- " by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \\ \n",
- "FB Mathematik der Universitaet, D-67653 Kaiserslautern \\\n",
- " \n",
- "HomalgProject v\u001b[32m0.5.6-dev\u001b[39m\n",
- "Imported OSCAR's components GAP, Nemo, and Singular\n",
- "Type: ?HomalgProject for more information\n"
+ "CapAndHomalg v\u001b[32m1.0.0\u001b[39m\n",
+ "Imported OSCAR's components GAP and Singular_jll\n",
+ "Type: ?CapAndHomalg for more information\n"
]
}
],
"source": [
- "using HomalgProject"
+ "using CapAndHomalg"
]
},
{
@@ -409,7 +402,7 @@
},
{
"cell_type": "code",
- "execution_count": 25,
+ "execution_count": 18,
"metadata": {},
"outputs": [
{
@@ -418,7 +411,7 @@
"GAP: "
]
},
- "execution_count": 25,
+ "execution_count": 18,
"metadata": {},
"output_type": "execute_result"
}
@@ -429,7 +422,7 @@
},
{
"cell_type": "code",
- "execution_count": 21,
+ "execution_count": 19,
"metadata": {},
"outputs": [
{
@@ -438,7 +431,7 @@
"GAP: "
]
},
- "execution_count": 21,
+ "execution_count": 19,
"metadata": {},
"output_type": "execute_result"
}
@@ -449,7 +442,7 @@
},
{
"cell_type": "code",
- "execution_count": 22,
+ "execution_count": 20,
"metadata": {},
"outputs": [
{
@@ -458,7 +451,7 @@
"GAP: "
]
},
- "execution_count": 22,
+ "execution_count": 20,
"metadata": {},
"output_type": "execute_result"
}
@@ -469,7 +462,7 @@
},
{
"cell_type": "code",
- "execution_count": 23,
+ "execution_count": 21,
"metadata": {},
"outputs": [
{
@@ -492,19 +485,16 @@
},
{
"cell_type": "code",
- "execution_count": 26,
+ "execution_count": 22,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 26,
+ "execution_count": 22,
"metadata": {},
"output_type": "execute_result"
}
@@ -515,19 +505,16 @@
},
{
"cell_type": "code",
- "execution_count": 27,
+ "execution_count": 23,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "1"
- ],
"text/plain": [
"1"
]
},
- "execution_count": 27,
+ "execution_count": 23,
"metadata": {},
"output_type": "execute_result"
}
@@ -538,7 +525,7 @@
},
{
"cell_type": "code",
- "execution_count": 28,
+ "execution_count": 24,
"metadata": {},
"outputs": [
{
@@ -547,7 +534,7 @@
"GAP: <(1)->25, (2)->16; (a)->25x25, (b)->25x16, (c)->16x16>"
]
},
- "execution_count": 28,
+ "execution_count": 24,
"metadata": {},
"output_type": "execute_result"
}
@@ -558,19 +545,16 @@
},
{
"cell_type": "code",
- "execution_count": 29,
+ "execution_count": 25,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 29,
+ "execution_count": 25,
"metadata": {},
"output_type": "execute_result"
}
@@ -581,7 +565,7 @@
},
{
"cell_type": "code",
- "execution_count": 31,
+ "execution_count": 26,
"metadata": {},
"outputs": [
{
@@ -590,7 +574,7 @@
"GAP: "
]
},
- "execution_count": 31,
+ "execution_count": 26,
"metadata": {},
"output_type": "execute_result"
}
@@ -601,7 +585,7 @@
},
{
"cell_type": "code",
- "execution_count": 33,
+ "execution_count": 27,
"metadata": {},
"outputs": [
{
@@ -610,7 +594,7 @@
"GAP: "
]
},
- "execution_count": 33,
+ "execution_count": 27,
"metadata": {},
"output_type": "execute_result"
}
@@ -621,19 +605,16 @@
},
{
"cell_type": "code",
- "execution_count": 35,
+ "execution_count": 28,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 35,
+ "execution_count": 28,
"metadata": {},
"output_type": "execute_result"
}
@@ -644,19 +625,16 @@
},
{
"cell_type": "code",
- "execution_count": 36,
+ "execution_count": 29,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 36,
+ "execution_count": 29,
"metadata": {},
"output_type": "execute_result"
}
@@ -667,19 +645,16 @@
},
{
"cell_type": "code",
- "execution_count": 38,
+ "execution_count": 30,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 38,
+ "execution_count": 30,
"metadata": {},
"output_type": "execute_result"
}
@@ -690,7 +665,7 @@
},
{
"cell_type": "code",
- "execution_count": 39,
+ "execution_count": 31,
"metadata": {},
"outputs": [
{
@@ -794,7 +769,7 @@
},
{
"cell_type": "code",
- "execution_count": 40,
+ "execution_count": 32,
"metadata": {},
"outputs": [],
"source": [
@@ -803,7 +778,7 @@
},
{
"cell_type": "code",
- "execution_count": 41,
+ "execution_count": 33,
"metadata": {},
"outputs": [
{
@@ -812,7 +787,7 @@
"GAP: [ [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 0, 3 ], [ 1, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 1 ] ]"
]
},
- "execution_count": 41,
+ "execution_count": 33,
"metadata": {},
"output_type": "execute_result"
}
@@ -824,7 +799,7 @@
},
{
"cell_type": "code",
- "execution_count": 42,
+ "execution_count": 34,
"metadata": {},
"outputs": [
{
@@ -833,7 +808,7 @@
"GAP: <(1)->25x25, (2)->16x16>"
]
},
- "execution_count": 42,
+ "execution_count": 34,
"metadata": {},
"output_type": "execute_result"
}
@@ -844,19 +819,16 @@
},
{
"cell_type": "code",
- "execution_count": 43,
+ "execution_count": 35,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 43,
+ "execution_count": 35,
"metadata": {},
"output_type": "execute_result"
}
@@ -867,7 +839,7 @@
},
{
"cell_type": "code",
- "execution_count": 44,
+ "execution_count": 36,
"metadata": {
"scrolled": false
},
@@ -973,7 +945,7 @@
},
{
"cell_type": "code",
- "execution_count": 45,
+ "execution_count": 37,
"metadata": {},
"outputs": [
{
@@ -1041,7 +1013,7 @@
},
{
"cell_type": "code",
- "execution_count": 47,
+ "execution_count": 38,
"metadata": {},
"outputs": [
{
@@ -1050,7 +1022,7 @@
"GAP: <(1)->3x25, (2)->3x16>"
]
},
- "execution_count": 47,
+ "execution_count": 38,
"metadata": {},
"output_type": "execute_result"
}
@@ -1061,7 +1033,7 @@
},
{
"cell_type": "code",
- "execution_count": 48,
+ "execution_count": 39,
"metadata": {},
"outputs": [
{
@@ -1070,7 +1042,7 @@
"GAP: <(1)->9x625, (2)->9x256>"
]
},
- "execution_count": 48,
+ "execution_count": 39,
"metadata": {},
"output_type": "execute_result"
}
@@ -1081,7 +1053,7 @@
},
{
"cell_type": "code",
- "execution_count": 49,
+ "execution_count": 40,
"metadata": {},
"outputs": [
{
@@ -1090,7 +1062,7 @@
"GAP: <(1)->3, (2)->3; (a)->3x3, (b)->3x3, (c)->3x3>"
]
},
- "execution_count": 49,
+ "execution_count": 40,
"metadata": {},
"output_type": "execute_result"
}
@@ -1101,7 +1073,7 @@
},
{
"cell_type": "code",
- "execution_count": 50,
+ "execution_count": 41,
"metadata": {},
"outputs": [
{
@@ -1148,7 +1120,7 @@
},
{
"cell_type": "code",
- "execution_count": 51,
+ "execution_count": 42,
"metadata": {},
"outputs": [
{
@@ -1157,7 +1129,7 @@
"GAP: <(1)->1x3, (2)->0x3>"
]
},
- "execution_count": 51,
+ "execution_count": 42,
"metadata": {},
"output_type": "execute_result"
}
@@ -1168,7 +1140,7 @@
},
{
"cell_type": "code",
- "execution_count": 52,
+ "execution_count": 43,
"metadata": {},
"outputs": [
{
@@ -1197,7 +1169,7 @@
},
{
"cell_type": "code",
- "execution_count": 53,
+ "execution_count": 44,
"metadata": {},
"outputs": [
{
@@ -1206,7 +1178,7 @@
"GAP: <(1)->1, (2)->0; (a)->1x1, (b)->1x0, (c)->0x0>"
]
},
- "execution_count": 53,
+ "execution_count": 44,
"metadata": {},
"output_type": "execute_result"
}
@@ -1217,7 +1189,7 @@
},
{
"cell_type": "code",
- "execution_count": 54,
+ "execution_count": 45,
"metadata": {},
"outputs": [
{
@@ -1258,7 +1230,7 @@
},
{
"cell_type": "code",
- "execution_count": 55,
+ "execution_count": 46,
"metadata": {},
"outputs": [
{
@@ -1267,7 +1239,7 @@
"GAP: Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2]"
]
},
- "execution_count": 55,
+ "execution_count": 46,
"metadata": {},
"output_type": "execute_result"
}
@@ -1278,7 +1250,7 @@
},
{
"cell_type": "code",
- "execution_count": 56,
+ "execution_count": 47,
"metadata": {},
"outputs": [
{
@@ -1287,7 +1259,7 @@
"GAP: Yoneda embedding functor"
]
},
- "execution_count": 56,
+ "execution_count": 47,
"metadata": {},
"output_type": "execute_result"
}
@@ -1298,7 +1270,7 @@
},
{
"cell_type": "code",
- "execution_count": 57,
+ "execution_count": 48,
"metadata": {},
"outputs": [
{
@@ -1328,7 +1300,7 @@
},
{
"cell_type": "code",
- "execution_count": 59,
+ "execution_count": 49,
"metadata": {},
"outputs": [
{
@@ -1337,7 +1309,7 @@
"GAP: <(1)->3, (2)->3; (a)->3x3, (b)->3x3, (c)->3x3>"
]
},
- "execution_count": 59,
+ "execution_count": 49,
"metadata": {},
"output_type": "execute_result"
}
@@ -1348,19 +1320,16 @@
},
{
"cell_type": "code",
- "execution_count": 60,
+ "execution_count": 50,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 60,
+ "execution_count": 50,
"metadata": {},
"output_type": "execute_result"
}
@@ -1371,7 +1340,7 @@
},
{
"cell_type": "code",
- "execution_count": 61,
+ "execution_count": 51,
"metadata": {},
"outputs": [
{
@@ -1426,7 +1395,7 @@
},
{
"cell_type": "code",
- "execution_count": 62,
+ "execution_count": 52,
"metadata": {},
"outputs": [
{
@@ -1435,7 +1404,7 @@
"GAP: <(1)->1x3, (2)->1x3>"
]
},
- "execution_count": 62,
+ "execution_count": 52,
"metadata": {},
"output_type": "execute_result"
}
@@ -1446,7 +1415,7 @@
},
{
"cell_type": "code",
- "execution_count": 63,
+ "execution_count": 53,
"metadata": {},
"outputs": [
{
@@ -1455,7 +1424,7 @@
"GAP: <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1>"
]
},
- "execution_count": 63,
+ "execution_count": 53,
"metadata": {},
"output_type": "execute_result"
}
@@ -1474,19 +1443,16 @@
},
{
"cell_type": "code",
- "execution_count": 64,
+ "execution_count": 54,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "false"
- ],
"text/plain": [
"false"
]
},
- "execution_count": 64,
+ "execution_count": 54,
"metadata": {},
"output_type": "execute_result"
}
@@ -1497,7 +1463,7 @@
},
{
"cell_type": "code",
- "execution_count": 65,
+ "execution_count": 55,
"metadata": {},
"outputs": [
{
@@ -1506,7 +1472,7 @@
"GAP: <(1)->2, (2)->3; (a)->2x2, (b)->2x3, (c)->3x3>"
]
},
- "execution_count": 65,
+ "execution_count": 55,
"metadata": {},
"output_type": "execute_result"
}
@@ -1517,7 +1483,7 @@
},
{
"cell_type": "code",
- "execution_count": 66,
+ "execution_count": 56,
"metadata": {},
"outputs": [
{
@@ -1570,7 +1536,7 @@
},
{
"cell_type": "code",
- "execution_count": 75,
+ "execution_count": 57,
"metadata": {},
"outputs": [
{
@@ -1579,7 +1545,7 @@
"GAP: <(1)->1, (2)->0; (a)->1x1, (b)->1x0, (c)->0x0>"
]
},
- "execution_count": 75,
+ "execution_count": 57,
"metadata": {},
"output_type": "execute_result"
}
@@ -1598,7 +1564,7 @@
},
{
"cell_type": "code",
- "execution_count": 76,
+ "execution_count": 58,
"metadata": {},
"outputs": [
{
@@ -1607,7 +1573,7 @@
"GAP: <(1)->0, (2)->0; (a)->0x0, (b)->0x0, (c)->0x0>"
]
},
- "execution_count": 76,
+ "execution_count": 58,
"metadata": {},
"output_type": "execute_result"
}
@@ -1618,7 +1584,7 @@
},
{
"cell_type": "code",
- "execution_count": 78,
+ "execution_count": 59,
"metadata": {},
"outputs": [
{
@@ -1627,7 +1593,7 @@
"GAP: <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1>"
]
},
- "execution_count": 78,
+ "execution_count": 59,
"metadata": {},
"output_type": "execute_result"
}
@@ -1647,7 +1613,7 @@
},
{
"cell_type": "code",
- "execution_count": 79,
+ "execution_count": 60,
"metadata": {},
"outputs": [
{
@@ -1656,7 +1622,7 @@
"GAP: <(1)->0, (2)->1; (a)->0x0, (b)->0x1, (c)->1x1>"
]
},
- "execution_count": 79,
+ "execution_count": 60,
"metadata": {},
"output_type": "execute_result"
}
@@ -1675,7 +1641,7 @@
},
{
"cell_type": "code",
- "execution_count": 72,
+ "execution_count": 61,
"metadata": {},
"outputs": [
{
@@ -1684,7 +1650,7 @@
"GAP: <(1)->0, (2)->3; (a)->0x0, (b)->0x3, (c)->3x3>"
]
},
- "execution_count": 72,
+ "execution_count": 61,
"metadata": {},
"output_type": "execute_result"
}
@@ -1695,19 +1661,16 @@
},
{
"cell_type": "code",
- "execution_count": 73,
+ "execution_count": 62,
"metadata": {},
"outputs": [
{
"data": {
- "text/latex": [
- "true"
- ],
"text/plain": [
"true"
]
},
- "execution_count": 73,
+ "execution_count": 62,
"metadata": {},
"output_type": "execute_result"
}
@@ -1718,7 +1681,7 @@
},
{
"cell_type": "code",
- "execution_count": 74,
+ "execution_count": 63,
"metadata": {},
"outputs": [
{
diff --git a/examples/julia/notebooks/README.md b/examples/julia/notebooks/README.md
index 9b35311..5f3409a 100644
--- a/examples/julia/notebooks/README.md
+++ b/examples/julia/notebooks/README.md
@@ -5,4 +5,4 @@ This directory contains a collection of [Jupyter](https://jupyter.org/) notebook
* [homalg project](https://github.com/homalg-project/homalg_project/),
* [CAP project](https://github.com/homalg-project/CAP_project/).
-These notebooks use the [Julia](https://julialang.org/) package [HomalgProject](https://github.com/homalg-project/HomalgProject.jl).
+These notebooks use the [Julia](https://julialang.org/) package [CapAndHomalg](https://github.com/homalg-project/CapAndHomalg.jl).