[pure-lang-svn] SF.net SVN: pure-lang: [196] pure/trunk/examples/symbolic.pure

[<ag...@us...>]

Revision: 196
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=196&view=rev
Author:   agraef
Date:     2008-06-09 14:51:35 -0700 (Mon, 09 Jun 2008)

Log Message:
-----------
Use syntactic equality in differentiation rule.

Modified Paths:
--------------
    pure/trunk/examples/symbolic.pure

Modified: pure/trunk/examples/symbolic.pure
===================================================================
--- pure/trunk/examples/symbolic.pure	2008-06-08 10:14:35 UTC (rev 195)
+++ pure/trunk/examples/symbolic.pure	2008-06-09 21:51:35 UTC (rev 196)
@@ -19,7 +19,7 @@
 
 diff x (u+v)	= diff x u + diff x v;
 diff x (u*v)	= u*diff x v + v*diff x u;
-diff x y	= 1 if str x==str y;
+diff x y	= 1 if x===y;
 		= 0 otherwise;
 
 // Example:


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