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

Uploaded
author jfb
date Fri, 19 Apr 2019 16:21:08 -0400
parents 74ada21ceb70
children f2dd4121a4f1
line wrap: on
line diff
--- 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>