added logic template for Kronecker products with 1x1 identity matrices

homalg-project · Aug 25, 2023 · 521e6bf · 521e6bf
1 parent 959583b
commit 521e6bf
Show file tree

Hide file tree

Showing 2 changed files with 130 additions and 154 deletions.
diff --git a/LinearAlgebraForCAP/gap/CompilerLogic.gi b/LinearAlgebraForCAP/gap/CompilerLogic.gi
@@ -100,6 +100,24 @@ CapJitAddLogicTemplate(
     )
 );
 
+#
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "ring", "matrix" ],
+        src_template := "KroneckerMat( HomalgIdentityMatrix( 1, ring ), matrix )",
+        dst_template := "matrix",
+    )
+);
+
+#
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "ring", "matrix" ],
+        src_template := "KroneckerMat( matrix, HomalgIdentityMatrix( 1, ring ) )",
+        dst_template := "matrix",
+    )
+);
+
 # Length( [ 1 .. n ] ) -> n
 CapJitAddLogicTemplate(
     rec(