From 3956cd17cf8ab46f167fcc5d27598b94344f23b8 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Sun, 18 Oct 2020 19:14:30 +0200 Subject: [PATCH] switched to new package CapAndHomalg.jl in notebook --- PackageInfo.g | 2 +- Project.toml | 2 +- .../notebooks/CategoryOfRepresentations.ipynb | 205 +++++++----------- examples/julia/notebooks/README.md | 2 +- 4 files changed, 87 insertions(+), 124 deletions(-) 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).