ASPL Manual v 1.00
© 2024 by SetSphere.COM

13. 1

   equal determines if two sets are equal

 

equal a1 a2 .. aN       where a1 a2 .. aN are set variables

equal a1 a2

equal

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

equal  context  2  commu        ins:H_H_H  ret:context

●  Operator equal determines if two sets are equal

The equal operator compares if two datasets are equal. Two set variables are equal if and only of they have the same subgroups, the same elements, and their corresponding attributes are matching. The attributes can be selectively set using the ks command.

 

Example 13.1.1

equal EXAMPLE

The following example shows the use of equal operator, we will consider adjusting the attributes ks vector and comparing the similarities between the datasets.

 

Operation 13.1.1

equal OPERATION

# aspl WS1
    (load the WS1 workspace for this example)

①  aspl> a12 = f& a1 a2
    (get the elements intersection of a1 and a2 in a12)

②  aspl> a13 = f& a1 a3
    (get the elements intersection of a1 and a3 in a13)

③  aspl> equal a12 a13
    (check equality of the set a12 and a13)

④  aspl> looselyequal a12 a13
    (are the two set loosely equal, ignoring the group labels)

⑤  aspl> gU a12 a13
    (print the group union between a12 and a13)

⑥  aspl> ,gU a12 a13
    (labinate and print the group union between a12 and a13)

⑦  aspl> sim a12 a13
    (get the similarity between a12 a13)

⑧  aspl> sim`fflz a12 a13
    (get the similarity between a12 a13, consider the attributes of the elements)

⑨  aspl> ks
    (print the current ks vector)

⑩  aspl> ks chksum ppdd ffl
    (set the ks vector to chksum ppdd ffl)

⑪  aspl> equal a12 a13
    (check equality of the set a12 and a13)

⑫  aspl> looselyequal a12 a13
    (are the two set loosely equal, ignoring the group labels)

⑬  aspl> ,gU a12 a13
    (labinate and print the group union between a12 and a13)

⑭  aspl> sim a12 a13
    (get the similarity between a12 a13)

⑮  aspl> sim`fflz a12 a13
    (get the similarity between a12 a13, consider the attributes of the elements)

 

● SET EQUALITY and its Amplifiers

This equal can be amplified by prefixing it with amplification syntax shown in the following table:

       a yellow note

 -T- Tab. 13.1.1   [SET EQUALITY and its Amplifiers][SET EQUALITY and its Amplifiers]

Equal	determines if two or more sets are equal
mostlyEqual	determines if two or more sets are mostly equal
looselyEqual	determines if two or more sets are loosely equal
mostlyLooselyEqual	determines if two or more sets are mostly loosely equal
noeattrEqual	determines if two or more sets (ignoring the attributes) are equal
mostlyNoeattrEqual	determines if two or more sets (ignoring the attributes) are equal
looselyNoeattrEqual	determines if two or more sets (ignoring the attributes) are mostly equal
mostlyLooselyNoeattrEqual	determines if two or more sets (ignoring the attributes) are mostly loosely equal

(C)2024 ASPL Inc.