Merge pull request #726 from zickgraf/MatElm

Update TODO file and normalize "MatElm"

Author: zickgraf

CompilerForCAP/PackageInfo.g

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

CompilerForCAP/TODO

@@ -1,13 +1,10 @@
 Speed:
 
 * reduce number of calls to `StructuralCopy`
-* get value of all expression from jit args only once
-* logic templates per category?
-* drop unused variables completely (instead of marking them with _UNUSED_)
 
 Features:
 
 * list expressions for logic templates
 * do not inline variables but only a reference to them for the logic to use
 * support compilation of operations
-* support assigning a variable multiple times, at least in different if branches
+* For categories with finitely many objects (or morphisms): detect parts of the code which can be precomputed, e.g. hom_structure_on_basis_paths in Algebroids.

CompilerForCAP/examples/MatElm.g

@@ -0,0 +1,17 @@
+#! @Chapter Examples and tests
+
+#! @Section Tests
+
+LoadPackage( "CompilerForCAP", false );
+
+#! @Example
+
+func := x -> x[1,1];;
+tree := ENHANCED_SYNTAX_TREE( func );;
+tree := CapJitResolvedGlobalVariables( tree );;
+Display( ENHANCED_SYNTAX_TREE_CODE( tree ) );
+#! function ( x_1 )
+#!     return MatElm( x_1, 1, 1 );
+#! end
+
+#! @EndExample

CompilerForCAP/gap/EnhancedSyntaxTree.gi

@@ -1193,6 +1193,19 @@ InstallGlobalFunction( ENHANCED_SYNTAX_TREE_CODE, function ( tree )
 
             fi;
 
+            # normalize "[,]" (GAP 4.11) to "MatElm" (GAP 4.12)
+            if tree.type = "EXPR_REF_GVAR" and tree.gvar = "[,]" then
+                
+                # this code is only executed with GAP 4.11, but coverage information is only uploaded for GAP master
+                Assert( 0, IsIdenticalObj( \[\,\], MatElm ) );
+                
+                tree := rec(
+                    type := "EXPR_REF_GVAR",
+                    gvar := "MatElm",
+                );
+                
+            fi;
+            
         fi;
 
         return tree;

makefile

@@ -88,13 +88,28 @@ doc_ToricSheaves:
 
 # END PACKAGE JANITOR
 
-ci-test: homalg_compatibility doc
-	cd CAP && make ci-test
-	cd ModulePresentationsForCAP && make ci-test
-	cd GradedModulePresentationsForCAP && make ci-test
-	cd LinearAlgebraForCAP && make ci-test
-	cd GeneralizedMorphismsForCAP && make ci-test
-	cd GroupRepresentationsForCAP && make ci-test
-	cd InternalExteriorAlgebraForCAP && make ci-test
-	cd CompilerForCAP && make ci-test
-	cd FreydCategoriesForCAP && make doc
+ci-test_CAP:
+	$(MAKE) -C CAP ci-test
+
+ci-test_CompilerForCAP:
+	$(MAKE) -C CompilerForCAP ci-test
+
+ci-test_GeneralizedMorphismsForCAP:
+	$(MAKE) -C GeneralizedMorphismsForCAP ci-test
+
+ci-test_GradedModulePresentationsForCAP:
+	$(MAKE) -C GradedModulePresentationsForCAP ci-test
+
+ci-test_GroupRepresentationsForCAP:
+	$(MAKE) -C GroupRepresentationsForCAP ci-test
+
+ci-test_InternalExteriorAlgebraForCAP:
+	$(MAKE) -C InternalExteriorAlgebraForCAP ci-test
+
+ci-test_LinearAlgebraForCAP:
+	$(MAKE) -C LinearAlgebraForCAP ci-test
+
+ci-test_ModulePresentationsForCAP:
+	$(MAKE) -C ModulePresentationsForCAP ci-test
+
+ci-test: homalg_compatibility doc ci-test_CAP ci-test_CompilerForCAP ci-test_GeneralizedMorphismsForCAP ci-test_GradedModulePresentationsForCAP ci-test_GroupRepresentationsForCAP ci-test_InternalExteriorAlgebraForCAP ci-test_LinearAlgebraForCAP ci-test_ModulePresentationsForCAP