Specify Double type

rsdc2 · rsdc2 · commit c72ca5eb4f1d · 2025-01-11T09:16:56.000Z
diff --git a/QSharpMathUtils/src/Matrices/Constructors.qs b/QSharpMathUtils/src/Matrices/Constructors.qs
@@ -9,12 +9,12 @@ namespace Matrices.Constructors {
     import Matrices.Multiply.*;
     import Categories.Monoid.*;
 
-    function MonoidReduceMatrix(n : Int) : (Double[][][] -> Double[][]) {
+    function MonoidReduceMatrixD(n : Int) : (Double[][][] -> Double[][]) {
         let mul : Int -> Int -> Int = x -> y -> x * y; 
         let validate : Double[][] -> Double[][] = M -> Shape(M) == (n, n) ? M | fail $"Must be square array with height / width of {n}";
         MonoidReduceValidate(IdentityMatrix(n), MatMulD, validate)
     }
 
-    export MonoidReduceMatrix;
+    export MonoidReduceMatrixD;
 
 }

Original file line number	Diff line number	Diff line change
`@@ -9,12 +9,12 @@ namespace Matrices.Constructors {`
`9`	`9`	`import Matrices.Multiply.*;`
`10`	`10`	`import Categories.Monoid.*;`
`11`	`11`
`12`		`- function MonoidReduceMatrix(n : Int) : (Double[][][] -> Double[][]) {`
	`12`	`+ function MonoidReduceMatrixD(n : Int) : (Double[][][] -> Double[][]) {`
`13`	`13`	`let mul : Int -> Int -> Int = x -> y -> x * y;`
`14`	`14`	`let validate : Double[][] -> Double[][] = M -> Shape(M) == (n, n) ? M \| fail $"Must be square array with height / width of {n}";`
`15`	`15`	`MonoidReduceValidate(IdentityMatrix(n), MatMulD, validate)`
`16`	`16`	`}`
`17`	`17`
`18`		`- export MonoidReduceMatrix;`
	`18`	`+ export MonoidReduceMatrixD;`
`19`	`19`
`20`	`20`	`}`