[pure-lang-svn] SF.net SVN: pure-lang: [433] pure/trunk/lib/math.pure

[<ed...@us...>]

Revision: 433
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=433&view=rev
Author:   eddier
Date:     2008-07-10 05:23:48 -0700 (Thu, 10 Jul 2008)

Log Message:
-----------
Add inexactp predicate.

Modified Paths:
--------------
    pure/trunk/lib/math.pure

Modified: pure/trunk/lib/math.pure
===================================================================
--- pure/trunk/lib/math.pure	2008-07-09 23:16:20 UTC (rev 432)
+++ pure/trunk/lib/math.pure	2008-07-10 12:23:48 UTC (rev 433)
@@ -560,8 +560,9 @@
 realp x		= intp x || bigintp x || doublep x || rationalp x;
 numberp x	= realp x || complexp x;
 
-exactp x	= intp x || bigintp x || rationalp ||
-		  complexp x && exactp (re x) && exactp (im x) if numberp x;
+inexactp x      = doublep x || doublep (re x) || doublep (im x) if numberp x;
+exactp x	= not(doublep x || doublep (re x) || doublep (im x))
+                    if numberp x;
 
 infp x::double	= not nanp x && nanp (x-x);
 nanp x::double	= x===nan;


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.