Merge pull request #62 from kamalsaleh/main

Cast indices to Int for Nemo matrix ops

Author: mohamed-barakat

Project.toml

@@ -1,7 +1,7 @@
 name = "MatricesForHomalg"
 uuid = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
 authors = ["Mohamed Barakat <mohamed.barakat@uni-siegen.de>", "Johanna Knecht <johanna.knecht@student.uni-siegen.de>"]
-version = "0.1.4"
+version = "0.1.5"
 
 [deps]
 Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"

src/MatricesForHomalg.jl

@@ -114,7 +114,7 @@ julia> mat = HomalgIdentityMatrix(3, ZZ)
 ```
 """
 function HomalgIdentityMatrix(r, R)::TypeOfMatrixForHomalg
-    return Nemo.identity_matrix(R, r)
+    return Nemo.identity_matrix(R, Int(r))
 end
 
 """
@@ -915,7 +915,7 @@ function CertainColumns(mat, list)::TypeOfMatrixForHomalg
     if length(list) == 0
         return HomalgZeroMatrix(NumberRows(mat), 0, HomalgRing(mat))
     end
-    return mat[:, list]
+    return mat[:, map(x->Int(x), list)]
 end
 
 """
@@ -945,7 +945,7 @@ function CertainRows(mat, list)::TypeOfMatrixForHomalg
     if length(list) == 0
         return HomalgZeroMatrix(0, NumberColumns(mat), HomalgRing(mat))
     end
-    return mat[list, :]
+    return mat[map(x->Int(x), list), :]
 end
 
 """