From 33b450758dc93071158039b34914c347d68191d1 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Mon, 6 Apr 2020 13:12:03 +0200
Subject: [PATCH] outsourced YonedaProjective to FunctorCategories v2020.02.23

---
 PackageInfo.g         |  4 +--
 gap/CatRepsWithCAP.gd |  9 ------
 gap/CatRepsWithCAP.gi | 73 -------------------------------------------
 3 files changed, 2 insertions(+), 84 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 57ed9c9..74155cc 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.02.20", ## Mohamed's version
+                   "2020.02.23", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -110,7 +110,7 @@ Dependencies := rec(
                    [ "SubcategoriesForCAP", ">= 2020.02.02" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.02.19" ],
-                   [ "FunctorCategories", ">= 2020.02.19" ],
+                   [ "FunctorCategories", ">= 2020.02.23" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
diff --git a/gap/CatRepsWithCAP.gd b/gap/CatRepsWithCAP.gd
index e85bd63..bc137b0 100644
--- a/gap/CatRepsWithCAP.gd
+++ b/gap/CatRepsWithCAP.gd
@@ -115,15 +115,6 @@ DeclareOperation( "EmbeddingOfSubRepresentation",
 DeclareOperation( "WeakDirectSumDecomposition",
         [ IsCapCategoryObjectInHomCategory ] );
 
-#! @Description
-#!  Return Yoneda's projective representation given by the object <A>o</A>,
-#!  i.e., the submodule of the category algebra consisting of all arrows
-#!  starting at <A>o</A>.
-#! @Arguments H, o
-#! @Returns IsCapCategoryObjectInHomCategory
-DeclareOperation( "YonedaProjective",
-        [ IsCapHomCategory, IsCapCategoryObject ] );
-
 ####################################
 #
 #! @Section Tools
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
index 0f6f40e..bfe1aef 100644
--- a/gap/CatRepsWithCAP.gi
+++ b/gap/CatRepsWithCAP.gi
@@ -193,76 +193,3 @@ InstallMethod( WeakDirectSumDecomposition,
     return List( d, eta -> EmbeddingOfSubRepresentation( eta, F ) );
     
 end );
-
-##
-InstallMethod( YonedaProjective,
-        "for a Hom-category and a CAP object",
-        [ IsCapHomCategory, IsCapCategoryObject ],
-        
-  function( CatReps, o )
-    local kq, k, basis_list, A, basis, dimensions, a, arrows, matrices,
-          source, target, dim_source, dim_target, b, b_source, b_target,
-          matrix, b_a_path, b_a, coeffs, yproj;
-    
-    kq := Source( CatReps );
-    
-    o := Position( SetOfObjects( kq ), o );
-    
-    k := CommutativeRingOfLinearCategory( CatReps );
-    
-    ## code from QPA2/lib/special-representations.gi
-    
-    A := UnderlyingQuiverAlgebra( kq );
-    
-    basis_list := BasisOfProjectives( A );
-    basis := basis_list[ o ];
-    
-    dimensions := List( basis, Length );
-    arrows := Arrows( QuiverOfAlgebra( A ) );
-    matrices := [ ];
-    
-    for a in arrows do
-        
-        source := VertexIndex( Source( a ) );
-        target := VertexIndex( Target( a ) );
-        
-        dim_source := dimensions[ source ];
-        dim_target := dimensions[ target ];
-        
-        if dim_source = 0 or dim_target = 0 then
-            
-            matrix := HomalgZeroMatrix( dim_source, dim_target, k );
-            
-        else
-            
-            b_source := List( basis[ source ], b -> Paths(b)[ 1 ] );
-            b_target := List( basis[ target ], b -> Paths(b)[ 1 ] );
-            
-            matrix := [ ];
-            
-            for b in b_source do
-                b_a_path := ComposePaths( b, a );
-                b_a := PathAsAlgebraElement( A, b_a_path );
-                coeffs := CoefficientsOfPaths( b_target, b_a );
-                Add( matrix, coeffs );
-            od;
-            
-            matrix := HomalgMatrix( matrix, dim_source, dim_target, k );
-            
-            matrix := VectorSpaceMorphism( VectorSpaceObject( dim_source, k ), matrix, VectorSpaceObject( dim_target, k ) );
-            
-        fi;
-        
-        Add( matrices, matrix );
-        
-    od;
-    
-    dimensions := List( dimensions, dim -> VectorSpaceObject( dim, k ) );
-    
-    yproj := AsObjectInHomCategory( kq, dimensions, matrices );
-    
-    SetIsProjective( yproj, true );
-    
-    return yproj;
-    
-end );