diff all stuff/differenceFinder.xml @ 5:f375051b0fcd draft

Uploaded

--- a/all stuff/differenceFinder.xml	Fri Apr 19 14:00:46 2019 -0400
+++ b/all stuff/differenceFinder.xml	Fri Apr 19 16:21:08 2019 -0400
@@ -33,11 +33,13 @@
         </test>
     </tests>
     <help><![CDATA[
-	This tool takes two Kinamine outputs (substrates and substrate background frequency files) and finds the symmetrical differences between those sets
+	This tool takes two Kinamine outputs (substrates and substrate background frequency files) and finds the two halves of the symmetrical difference.  https://en.wikipedia.org/wiki/Symmetric_difference
+	
+	Let us call the two INPUT substrate files 'A' and 'B'.  Let us call the two OUTPUT substrate files 'Y' and 'Z'.  'Y' consists of all 'A' that are not in 'B'.  'Z' consists of all 'B' that are not in 'A'.  In symbolic logic:
 	
-	Let us call the two INPUT substrate files 'Substrates A' and 'Substrates B'.  Let us call the two OUTPUT substrate files 'Substrates Y' and 'Substrates Z'.  If we treat each file as a SET, then...
+	Y ⇔ A ∧ ¬B
 	
-	'Substrates Y' consists of all 'Substrates A' that are not in 'Substrates B'.  'Substrates Z' consists of all 'Substrates B' that are not in 'Substrates A'.  
+	Z ⇔ B ∧ ¬A
 	
 	The associated Substrate Background Frequency files for each consists of all the proteins associated with that substrate file.
     ]]></help>