Merge pull request #700 from zickgraf/CategoryOfColumns

Make `CategoryOfColumns` return a precompiled version of `CategoryOfColumnsAsOppositeOfCategoryOfRows`

Author: zickgraf

CompilerForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CompilerForCAP",
 Subtitle := "Speed up computations in CAP categories",
-Version := "2021.09-06",
+Version := "2021.09-07",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

CompilerForCAP/README.md

@@ -9,8 +9,6 @@
 
 <!-- END HEADER -->
 
-**WARNING**: This package is still in alpha and not tested or validated extensively!
-
 Using the notions of category theory initially comes with a measurable performance overhead when implementing algorithms on a computer.
 The main reason for this is the excessive amount of superfluous wrapping and unwrapping occurring during complex computations once we use several category constructors.
 As an example, consider the category

CompilerForCAP/doc/Usage.autodoc

@@ -1,7 +1,5 @@
 @Chapter Using the compiler
 
-**WARNING**: This package is still in alpha and not tested or validated extensively!
-
 @Section Terminology
 
 The compiler is a just-in-time compiler, that is, it needs some arguments to infer types of variables. These arguments

CompilerForCAP/examples/PrecompileCategoryOfColumnsAsOppositeOfCategoryOfRows.g

@@ -0,0 +1,34 @@
+#! @Chapter Examples and tests
+
+#! @Section Tests
+
+#! @Example
+
+LoadPackage( "FreydCategoriesForCAP", false );
+#! true
+
+QQ := HomalgFieldOfRationalsInSingular( );;
+QQxy := QQ * "x,y";;
+EEE := KoszulDualRing( QQxy );;
+
+precompile_CategoryOfColumns := function( homalg_ring, name )
+    
+    CapJitPrecompileCategoryAndCompareResult(
+        homalg_ring -> CategoryOfColumnsAsOppositeOfCategoryOfRows(
+            homalg_ring
+        ),
+        [ homalg_ring ],
+        "FreydCategoriesForCAP",
+        Concatenation(
+            "CategoryOfColumnsAsOppositeOfCategoryOfRowsOf",
+            name,
+            "Precompiled"
+        ) :
+        operations := "primitive"
+    ); end;;
+
+precompile_CategoryOfColumns( QQ, "Field" );;
+precompile_CategoryOfColumns( QQxy, "CommutativeRing" );;
+precompile_CategoryOfColumns( EEE, "ArbitraryRing" );;
+
+#! @EndExample

CompilerForCAP/examples/PrecompileCategoryOfColumnsOfField.g

@@ -7,15 +7,20 @@ gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
 gap> LoadPackage( "CompilerForCAP", false );
 true
+gap> LoadPackage( "IO_ForHomalg", false );
+true
 gap> LoadPackage( "LinearAlgebraForCAP", false );
 true
 gap> LoadPackage( "RingsForHomalg", false );
 true
 gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
 gap> LoadPackage( "CompilerForCAP" );
 true
+gap> LoadPackage( "IO_ForHomalg" );
+true
 gap> LoadPackage( "LinearAlgebraForCAP" );
 true
 gap> LoadPackage( "RingsForHomalg" );
 true
 gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
+gap> HOMALG_IO.show_banners := false;;

CompilerForCAP/examples/PrecompileOppositeOfCategoryOfRowsOfField.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2021.09-03",
+Version := "2021.09-04",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

CompilerForCAP/tst/100_LoadPackage.tst

@@ -71,15 +71,3 @@ DeclareAttribute( "UnderlyingMatrix",
 
 DeclareAttribute( "CATEGORY_OF_COLUMNS_ReductionBySplitEpiSummandTuple",
                   IsCategoryOfColumnsMorphism );
-
-####################################
-##
-#! @Section Global functions
-##
-####################################
-
-DeclareGlobalFunction( "CATEGORY_OF_COLUMNS_SimplificationSourceAndRangeTuple" );
-
-DeclareGlobalFunction( "CATEGORY_OF_COLUMNS_SimplificationSourceTuple" );
-
-DeclareGlobalFunction( "CATEGORY_OF_COLUMNS_SimplificationRangeTuple" );