ASPL Operations Guide v 1.00
© 2025 Bassem W. Jamaleddine
8. 30f%\\ sequence alignment on the difference of the mediated elements difference
![]()
f%\\ a1 a2 a3 where a1 a2 a3 are set variables
f%\\`mtm~ a1 a2 a3
f%\\/mtm~ a1 a2 a3
seqop seqoid 3 notcommu ins:H_H_H text:alignment
The operator f%\\ is followed by three set variables. Use the operator f%\\ to align the difference of two datasets where the first dataset is the result of the set difference of the first set variable with the third set variable, and the second dataset is the difference of the second set variable with the third set variable. It is assumed that each set variable has one group label, otherwise the first group (in the set variable) is explicitly implied. You can change the sequence alignment algorithm selectively. The sequence alignment can be selected: the command sequencing lcs selects the algorithm for the longest common sequence, and the command sequencing ssa selects the algorithm for the sequence similarity analysis.
f%\\ EXAMPLEIn this example, we will compare the JMX in Jar files in two directories by displaying their sequence alignment. We will start ASPL by loading the JMXJAR workspace, then we will issue the command f%\\ to display the alignment of the element differences (which are the files) between the two set variables jmx1 and jmx2. The set variable jmx3 is mediated (using the difference set operation) with jmx1 and jmx2 prior to the alignment operation.
f%\\ OPERATION# aspl JMXJAR
(start ASPL loading the sample workspace JMXJAR)
① aspl>
ks mtime chksum ppdd ffl
(set the ks vector to mtime chksum ppdd ffl )
② aspl>
f%\\ jmx1 jmx2 jmx3
(show the alignment of the element differences of "jmx1 \ jmx3" and "jmx2 \ jmx3")
③ aspl>
f%\\`c= jmx1 jmx2 jmx3
(show the alignment of the element differences of "jmx1 \ jmx3" and "jmx2 \ jmx3" such that checksums are equal)
④ aspl>
f%\\`c~ jmx1 jmx2 jmx3
(show the alignment of the element differences of "jmx1 \ jmx3" and "jmx2 \ jmx3" such that checksums are unequal)
NOTE: Here we mediate jmx3 and jmx1 with jmx2
⑤ aspl>
f%\\ jmx3 jmx1 jmx2
(show the alignment of the element differences of "jmx3 \ jmx2" and "jmx1 \ jmx2")
⑥ aspl>
f%\\`c= jmx3 jmx1 jmx2
(show the alignment of the element differences of "jmx3 \ jmx2" and "jmx1 \ jmx2" such that checksums are equal)
⑦ aspl>
f%\\`c~ jmx3 jmx1 jmx2
(show the alignment of the element differences of "jmx3 \ jmx2" and "jmx1 \ jmx2" such that checksums are unequal)
● Tickable Predicates for f%" "Tickable Predicates for f%"
This f%\\ is tickable with predicates that are shown in the following table:
f%\\`_ sequence alignment on the difference of the mediated elements difference f%\\`c= sequence alignment on the difference of the mediated elements difference such that they have the same checksum f%\\`c~ sequence alignment on the difference of the mediated elements difference such that they have different checksums f%\\`c~~ sequence alignment on the difference of the mediated elements difference such that they have all over different checksums f%\\`h= sequence alignment on the difference of the mediated elements difference such that they have the same entropy f%\\`h~ sequence alignment on the difference of the mediated elements difference such that they have different entropies f%\\`h~~ sequence alignment on the difference of the mediated elements difference such that they have all over different entropies f%\\`mtm= sequence alignment on the difference of the mediated elements difference such that they have the same make time f%\\`mtm~ sequence alignment on the difference of the mediated elements difference such that they have different make times f%\\`mtm~~ sequence alignment on the difference of the mediated elements difference such that they have all over different make times f%\\`mtm< sequence alignment on the difference of the mediated elements difference such that they have a prior make time f%\\`mtm<= sequence alignment on the difference of the mediated elements difference such that they have prior or same make time f%\\`mtm> sequence alignment on the difference of the mediated elements difference such that they have more recent make time f%\\`mtm>= sequence alignment on the difference of the mediated elements difference such that they have more recent or same make time f%\\`ks= sequence alignment on the difference of the mediated elements difference such that they have the same ksum f%\\`ks~ sequence alignment on the difference of the mediated elements difference such that they have different ksums f%\\`ks~~ sequence alignment on the difference of the mediated elements difference such that they have all over different ksums