diff --git a/PackageInfo.g b/PackageInfo.g index affbc57f..8fb0746e 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "FunctorCategories", Subtitle := "Categories of functors", -Version := "2022.10-08", +Version := "2022.10-09", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), diff --git a/gap/PreSheaves.gd b/gap/PreSheaves.gd index bbec214b..73929f8d 100644 --- a/gap/PreSheaves.gd +++ b/gap/PreSheaves.gd @@ -282,6 +282,7 @@ DeclareAttribute( "CreatePreSheaf", DeclareOperation( "CreatePreSheaf", [ IsCapCategory, IsRecord, IsRecord ] ); +if false then #! @Description #! Another alternative input is the source category B and two defining lists images_of_objects and images_of_morphisms of F. #! The order of their entries must correspond to that of the vertices and arrows of the underlying quiver. @@ -294,7 +295,6 @@ DeclareOperation( "CreatePreSheaf", #! in MatrixCategory( $k$ ), respectively. #! @Arguments B, images_of_objects, images_of_morphisms #! @Group CreatePreSheaf -if false then DeclareOperation( "CreatePreSheaf", [ IsCapCategory, IsList, IsList ] ); fi;