From 0a54f607b0777256500ae78c68049cc92569cc62 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Fri, 21 Oct 2022 20:37:07 -0400 Subject: [PATCH] Add sirdi manifest file --- sirdi.json | 38 ++++++++++++++++++++++++++++++++++ src/Data/NumIdr/Interfaces.idr | 2 +- 2 files changed, 39 insertions(+), 1 deletion(-) create mode 100644 sirdi.json diff --git a/sirdi.json b/sirdi.json new file mode 100644 index 0000000..2d9c191 --- /dev/null +++ b/sirdi.json @@ -0,0 +1,38 @@ +[ + { + "name": "numidr", + "version": "0.2.0", + "deps": [], + "modules": [ + "Data.NP", + "Data.Permutation", + "Data.NumIdr", + "Data.NumIdr.Array", + "Data.NumIdr.Array.Array", + "Data.NumIdr.Array.Coords", + "Data.NumIdr.Array.Order", + "Data.NumIdr.Homogeneous", + "Data.NumIdr.Matrix", + "Data.NumIdr.Interfaces", + "Data.NumIdr.PrimArray", + "Data.NumIdr.Scalar", + "Data.NumIdr.Vector", + "Data.NumIdr.Transform", + "Data.NumIdr.Transform.Affine", + "Data.NumIdr.Transform.Isometry", + "Data.NumIdr.Transform.Linear", + "Data.NumIdr.Transform.Orthonormal", + "Data.NumIdr.Transform.Point", + "Data.NumIdr.Transform.Rigid", + "Data.NumIdr.Transform.Rotation", + "Data.NumIdr.Transform.Transform", + "Data.NumIdr.Transform.Translation", + "Data.NumIdr.Transform.Trivial" + ], + "passthru": { + "authors": "Kiana Sheibani", + "license": "MIT", + "sourceloc": "https://github.com/kiana-S/numidr" + } + } +] diff --git a/src/Data/NumIdr/Interfaces.idr b/src/Data/NumIdr/Interfaces.idr index 1f133eb..f6a3fc1 100644 --- a/src/Data/NumIdr/Interfaces.idr +++ b/src/Data/NumIdr/Interfaces.idr @@ -37,7 +37,7 @@ FieldCmp Double where namespace Eq export WithEpsilon : Double -> Eq Double - WithEpsilon ep = MkEq (\x,y => x - y < ep) (\x,y => x - y >= ep) + WithEpsilon ep = MkEq (\x,y => abs (x - y) < ep) (\x,y => abs (x - y) >= ep) namespace FieldCmp export