added logic template for the Kronecker product of two identity matrices

homalg-project · Oct 17, 2023 · 6c7b8c5 · 6c7b8c5
1 parent a5d6043
commit 6c7b8c5
Show file tree

Hide file tree

Showing 3 changed files with 464 additions and 479 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.10-03",
+Version := "2023.10-04",
 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 )",
+    )
+);
+
 # 0 + n -> n
 CapJitAddLogicTemplate(
     rec(