From 5d07e0135dc2202a33f7d013eb41797e7d91df06 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 15 Feb 2019 19:43:04 +0100
Subject: [PATCH] [WP] add the new builtins into the manual
---
src/plugins/wp/doc/manual/wp_builtins.tex | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/src/plugins/wp/doc/manual/wp_builtins.tex b/src/plugins/wp/doc/manual/wp_builtins.tex
index 8b4a2563ac9..a556ab01a82 100644
--- a/src/plugins/wp/doc/manual/wp_builtins.tex
+++ b/src/plugins/wp/doc/manual/wp_builtins.tex
@@ -235,6 +235,20 @@ polar coordinates. Definitions imported from the reference implementation of
%---------------------------------------------------------------------------------------------
+\vskip 1em
+\hrule
+\label{builtin-fpcmp}
+\paragraph{$\builtin{le\_float}(x,y)$, $\builtin{ge\_float}(x,y)$,
+$\builtin{lt\_float}(x,y)$, $\builtin{gt\_float}(x,y)$, $\builtin{eq\_float}(x,y)$,
+$\builtin{ne\_float}(x,y)$, $\builtin{le\_double}(x,y)$,
+$\builtin{ge\_double}(x,y)$, $\builtin{lt\_double}(x,y)$,
+$\builtin{gt\_double}(x,y)$, $\builtin{eq\_double}(x,y)$, and
+$\builtin{ne\_double}(x,y)$} for dealing with floating point
+comparisons. They are similar to comparisons over the real numbers if both
+$x$ and $y$ are finite, but obey IEEE semantics for infinities and NaNs
+
+%---------------------------------------------------------------------------------------------
+
\section{Custom Extensions}
As explained in Section~\ref{drivers}, it is possible to extend all the properties mentioned
--
GitLab