Merge pull request #35 from mohamed-barakat/devel

got rid of UnderlyingCapTwoCategoryCell
homalg-project · Apr 18, 2022 · 56849c9 · 56849c9
2 parents e9e9124 + 03637f8
commit 56849c9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.04-01",
+Version := "2022.04-02",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -269,7 +269,7 @@ Display( fortyone );
 #! A morphism in Category of matrices over GF(3)
 etas := WeakDirectSumDecomposition( fortyone : random := false );;
 dec := List( etas, eta -> List( SetOfObjects( A ),
-             o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) );
+             o -> Dimension( Source( eta( o ) ) ) ) );
 #! [ [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 0, 3 ],
 #!   [ 1, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 1 ] ]
 iso := UniversalMorphismFromDirectSum( etas );

diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
@@ -1326,7 +1326,7 @@
    ],
    "source": [
     "dec = List( etas, eta -> List( SetOfObjects( A ),\n",
-    "             o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) )"
+    "             o -> Dimension( Source( eta( o ) ) ) ) )"
    ]
   },
   {