wip

joelberkeley · Jul 12, 2022 · 8f5c0ff · 8f5c0ff
1 parent 2feedfd
commit 8f5c0ff
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Unit/TestTensor.idr b/test/Unit/TestTensor.idr
@@ -1117,8 +1117,8 @@ iidKolmogorovSmirnov samples cdf =
 
       indices : Tensor [n] F64 := cast (fromLiteral {dtype=U64} (range n))
       sampleSize : Tensor [] F64 := cast (fromLiteral {dtype=U64} (Scalar n))
-      samplesFlat := reshape {sizesEqual=sym (product1 n)} {to=[n]} (cdf samples)
-      deviationFromCDF : Tensor [n] F64 := indices / sampleSize - (sort (<) 0 samplesFlat)
+      cdfs := reshape {sizesEqual=sym (product1 n)} {to=[n]} (cdf samples)
+      deviationFromCDF : Tensor [n] F64 := indices / sampleSize - (sort (<) 0 cdfs)
    in reduce @{Max} [0] (abs deviationFromCDF)
 
 namespace F64