added logic template for the Kronecker product of two identity matrices

homalg-project · Aug 19, 2023 · 35f3348 · 35f3348
1 parent 7fdd710
commit 35f3348
Show file tree

Hide file tree

Showing 3 changed files with 453 additions and 468 deletions.
diff --git a/LinearAlgebraForCAP/PackageInfo.g b/LinearAlgebraForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearAlgebraForCAP",
 Subtitle := "Category of Matrices over a Field for CAP",
-Version := "2023.08-05",
+Version := "2023.08-06",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/LinearAlgebraForCAP/gap/CompilerLogic.gi b/LinearAlgebraForCAP/gap/CompilerLogic.gi
@@ -118,6 +118,15 @@ CapJitAddLogicTemplate(
     )
 );
 
+#
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "m", "n", "ring" ],
+        src_template := "KroneckerMat( HomalgIdentityMatrix( m, ring ), HomalgIdentityMatrix( n, ring ) )",
+        dst_template := "HomalgIdentityMatrix( m * n, ring )",
+    )
+);
+
 # Length( [ 1 .. n ] ) -> n
 CapJitAddLogicTemplate(
     rec(