changeset 5:f375051b0fcd draft

Uploaded
author jfb
date Fri, 19 Apr 2019 16:21:08 -0400
parents 74ada21ceb70
children 8fa6b79a2f19
files all stuff/differenceFinder.xml
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
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>