add isLess

include/mcl/fp.hpp

@@ -340,6 +340,13 @@ public:
 		y.getBlock(yb);
 		return fp::compareArray(xb.p, yb.p, op_.N);
 	}
+	static inline bool isLess(const FpT& x, const FpT& y)
+	{
+		fp::Block xb, yb;
+		x.getBlock(xb);
+		y.getBlock(yb);
+		return fp::isLessArray(xb.p, yb.p, op_.N);
+	}
 	/*
 		@note
 		return unexpected order if useMont is set.
@@ -348,6 +355,10 @@ public:
 	{
 		return fp::compareArray(x.v_, y.v_, op_.N);
 	}
+	static inline int isLessRaw(const FpT& x, const FpT& y)
+	{
+		return fp::isLessArray(x.v_, y.v_, op_.N);
+	}
 	/*
 		wrapper function for generic p
 		add(z, x, y)

include/mcl/util.hpp

@@ -52,6 +52,15 @@ bool isEqualArray(const T* x, const T* y, size_t n)
 	return true;
 }
 
+template<class T>
+bool isLessArray(const T *x, const T* y, size_t n)
+{
+	for (size_t i = 0; i < n; i++) {
+		if (x[n - i - 1] < y[n - i - 1]) return true;
+	}
+	return false;
+}
+
 template<class T>
 bool isZeroArray(const T *x, size_t n)
 {