ASPL Guide to Operations v 1.00
© 2024 by SetSphere.COM
8. 3f\\ gets the binned elements difference
f\\ a1 a2 [a3 .. aN] where a1 a2 [a3 .. aN] are binned set variables
f\\`mtm~ a1 a2 [a3 .. aN]
f\\/mtm~ a1 a2 [a3 .. aN]
f\\
When specified by itself then the operation is performed on the object on top of the stack and the one that is one below it, then the result is pushed on the stack
asetop asetoid 2* notcommu ins:H_H_AH ous:H_H_AH
Use the f\\ operator to get the elements difference between binned set variables. The binned set variables are also called augmented set variables and are saved in the augmented symbol table. You can display the binned variables using the av command, and the binned answer stack using the command ens.
f\\ EXAMPLEThe following example shows how to get the difference of the elements between binned set variables in the sample workspace WS1.
f\\ OPERATION# aspl WS1
(start ASPL loading the sample workspace WS1)
① aspl>
av
(print the augmented symbol table)
② aspl>
f\\ aa1 aa2
(show the elements difference between two binned variables aa1 and aa2)
③ aspl>
aadiff12 = f\\ aa1 aa2
(aadiff12 is assigned the differeence between between binned variables aa1 and aa2)
④ aspl>
aadiff12m = f\\`mtm~ aa1 aa2
(aadiff12m is assigned the elements difference between aa1 and aa2 whose mtimes are different)
⑤ aspl>
av
(print the augmented symbol table)
⑥ aspl>
adisplay aadiff12m
(display the binned set variable aadiff12m)
● Tickable Predicates for f" "Tickable Predicates for f"
This f\\ is tickable with predicates that are shown in the following table:
f\\`_ gets the binned elements difference for the plularity of matching relations f\\`c= gets the binned elements difference for the plularity of matching relations such that they have the same checksum f\\`c~ gets the binned elements difference for the plularity of matching relations such that they have different checksums f\\`c~~ gets the binned elements difference for the plularity of matching relations such that they have all over different checksums f\\`h= gets the binned elements difference for the plularity of matching relations such that they have the same entropy f\\`h~ gets the binned elements difference for the plularity of matching relations such that they have different entropies f\\`h~~ gets the binned elements difference for the plularity of matching relations such that they have all over different entropies f\\`mtm= gets the binned elements difference for the plularity of matching relations such that they have the same make time f\\`mtm~ gets the binned elements difference for the plularity of matching relations such that they have different make times f\\`mtm~~ gets the binned elements difference for the plularity of matching relations such that they have all over different make times f\\`ks= gets the binned elements difference for the plularity of matching relations such that they have the same ksum f\\`ks~ gets the binned elements difference for the plularity of matching relations such that they have different ksums f\\`ks~~ gets the binned elements difference for the plularity of matching relations such that they have all over different ksums