asplops contents - ASPL A Set Programming Language

page-1- DISCLAIMER

page-2- ASPL Operations Guide

page-3- Preface

Chapter 1 Setness Comparison Operators

1-1 Setness Comparison

Setness Comparison

SET EQUALITY and its Amplifiers

SUBSETNESS and its Amplifiers

SUPERSETNESS and its Amplifiers

DISJOINTNESS and its Amplifiers

Chapter 2 ASPL Basic Operators

2-1 equal determines if two sets are equal

equal determines if two sets are equal

Operator equal determines if two sets are equal

SET EQUALITY and its Amplifiers

2-2 aequal determines if two binned sets are equal

aequal determines if two binned sets are equal

Operator aequal determines if two binned sets are equal

2-3 subset determines if a set is a subset of a set

subset determines if a set is a subset of a set

Operator subset determines if a set is a subset of a set

SUBSETNESS and its Amplifiers

2-4 superset determines if a set is a superset of another set

superset determines if a set is a super of another set

superset determines if a set is a super of another set

SUPERSETNESS and its Amplifiers

2-5 disjoint determines if two sets are disjoint

disjoint determines if two sets are disjoint

disjoint determines if two sets are disjoint

DISJOINTNESS and its Amplifiers

2-6 # gets the cardinality of a set variable

# gets the cardinality of a set variable

Operator # gets the cardinality of a set variable

2-7 push pushes a set variable on the answer stack

push pushes a set variable on the answer stack

Operator push pushes a set variable on the answer stack

2-8 pop pops the last result from the answer stack into a set variable

pop pops the last result from the answer stack into a set variable

Operator pop pops the last result from the answer stack into a set variable

2-9 #a gets the cardinality of a binned set variable

#a gets the cardinality of a binned set variable

Operator #a gets the cardinality of a binned set variable

2-10 apush pushes a binned set variable on the enswer stack

apush pushes a binned set variable on the enswer stack

Operator apush pushes a binned set variable on the enswer stack

2-11 apop pops the last result from the enswer stack into a binned set variable

apop pops the last result from the enswer stack into a binned set variable

Operator apop pops the last result from the enswer stack into a binned set variable

2-12 upush pushes an uset variable on the unswer stack

upush pushes an uset variable on the unswer stack

Operator upush pushes an uset variable on the unswer stack

2-13 upop pops the last result from the unswer stack into an uset variable

upop pops the last result from the unswer stack into an uset variable

Operator upop pops the last result from the unswer stack into an uset variable

2-14 ggdir primitive to get the group of directories

ggdir primitive to get the group of directories

Operator ggdir primitive to get the group of directories

2-15 similarity calculates the similarities of one or more set variables

similarity calculates the similarities of one or more set variables

similarity calculates the similarities of one or more set variables

Tickable Predicates for similarity

2-16 xsimilarity calculates the extended similarities of one or more set variables

xsimilarity calculates the xsimilarities of one or more set variables

Operator xsimilarity displays the extended similarities of one or more set variables

Tickable Predicates for xsimilarity

2-17 asimilarity calculates the similarities of one or more binned set variables

asimilarity calculates the similarities of one or more binned set variables

Operator asimilarity calculates the similarities of one or more binned set variables

Tickable Predicates for asimilarity

2-18 density determines the elements density of one or more set variables

density determines the elements density of one or more set variables

Operator density determines the elements density of one or more set variables

2-19 adensity determines the elements density of one or more binned set variables

adensity determines the elements density of one or more binned set variables

Operator adensity determines the elements density of one or more binned set variables

2-20 merge merges set variables into a set variable

merge merges set variables into a set variable

Operator merge merges set variables into a set variable

2-21 lmerge loosely merges set variables into a set variable using leftmost variable group label

lmerge loosely merges set variables into a set variable using leftmost variable group label

Operator lmerge loosely merges set variables into a set variable using leftmost variable group label

2-22 gmerge loosely merges set variables into a set variable using concatenaded group labels

gmerge loosely merges set variables into a set variable using concatenaded group labels

Operator gmerge loosely merges set variables into a set variable using concatenaded group labels

2-23 split splits set variables into set variables

split splits set variables into set variables

Operator split splits set variables into set variables

2-24 common keeps common set variables grplb from a set variable

common keeps common set variables grplb from a set variable

Operator common keeps common set variables grplb from a set variable

2-25 purge purges set variables grplb from a set variable

purge purges set variables grplb from a set variable

purge purges set variables grplb from a set variable

2-26 copy copies a set variable into another set variable

copy copies a set variable into another set variable

Operator copy copies a set variable into another set variable

2-27 acopy copies a binned set variable into another binned set variable

acopy copies a binned set variable into another binned set variable

Operator acopy copies a binned set variable into another binned set variable

2-28 ucopy copies a partitioned uset variable into another uset variable

ucopy copies a partitioned uset variable into another uset variable

Operator ucopy copies a partitioned uset variable into another uset variable

2-29 = assigns a dataset to a set variable

= assigns a dataset to a set variable

Operator = assigns a dataset to a set variable

2-30 .=* transforms binned set variables and assign them to set variables

.=* transforms binned set variables and assign them to set variables

Operator .=* transforms binned set variables and assign them to set variables

2-31 *=* starassignstar assignment operator for binned set variables

*=* starassignstar assignment operator for binned set variables

Operator *=* starassignstar assignment operator for binned set variables

2-32 *= starassign as the union translation of one or more set variables into a binned set variable

*= starassign as the union translation of one or more set variables into a binned set variable

Operator *= starassign as the union translation of one or more set variables into a binned set variable

Chapter 3 ASPL Set Operators

3-1 f& gets the elements intersection

f& gets the elements intersection

Operator f& gets the elements intersection

Tickable Predicates for f&

3-2 fP gets the elements partition

fP gets the elements partition

Operator fP gets the elements partition

Tickable Predicates for fP

3-3 fU gets the elements union

fU gets the elements union

Operator fU gets the elements union

Tickable Predicates for fU

3-4 f\ gets the elements difference

f\ gets the elements difference

Operator f\ gets the elements difference

Tickable Predicates for f\

3-5 fD gets the elements symmetric difference

fD gets the elements symmetric difference

Tickable Predicates for fD

3-6 d& gets the subgroups intersection

d& gets the subgroups intersection

Operator d& gets the subgroups intersection

Tickable Predicates for d&

3-7 dP gets the subgroups partition

dP gets the subgroups partition

Operator dP gets the subgroups partition

Tickable Predicates for dP

3-8 dU gets the subgroups union

dU gets the subgroups union

Operator dU gets the subgroups union

Tickable Predicates for dU

3-9 d\ gets the subgroups difference

d\ gets the subgroups difference

Operator d\ gets the subgroups difference

Tickable Predicates for d\

3-10 dD gets the subgroups symmetric difference

dD gets the subgroups symmetric difference

Operator dD gets the subgroups symmetric difference

Tickable Predicates for dD

3-11 g& gets the subgroups and the elements intersection

g& gets the subgroups and the elements intersection

Operator g& gets the subgroups and the elements intersection

Tickable Predicates for g&

3-12 gP gets the subgroups and the elements partition

gP gets the subgroups and the elements partition

Operator gP gets the subgroups and the elements partition

Tickable Predicates for gP

3-13 gU gets the subgroups and the elements union

gU gets the subgroups and the elements union

Operator gU gets the subgroups and the elements union

Tickable Predicates for gU

3-14 g\ gets the subgroups and the elements difference

g\ gets the subgroups and the elements difference

Operator g\ gets the subgroups and the elements difference

Tickable Predicates for g\

3-15 gD gets the subgroups and the elements symmetric difference

gD gets the subgroups and the elements symmetric difference

Operator gD gets the subgroups and the elements symmetric difference

Tickable Predicates for gD

Chapter 4 ASPL Shallow Set Operators

4-1 f*& gets the shallow elements intersection

f*& gets the shallow elements intersection

Operator f*& gets the shallow elements intersection

Tickable Predicates for f*&

4-2 f*U gets the shallow elements union

f*U gets the shallow elements union

Operator f*U gets the shallow elements union

Tickable Predicates for f*U

4-3 f*\ gets the shallow elements difference

f*\ gets the shallow elements difference

Operator f*\ gets the shallow elements difference

Tickable Predicates for f*\

4-4 f*D gets the shallow elements symmetric difference

f*D gets the shallow elements symmetric difference

Operator f*D gets the shallow elements symmetric difference

Tickable Predicates for f*D

4-5 d*& gets the shallow subgroups intersection

d*& gets the shallow subgroups intersection

Operator d*& gets the shallow subgroups intersection

Tickable Predicates for d*&

4-6 d*U gets the shallow subgroups union

d*U gets the shallow subgroups union

Operator d*U gets the shallow subgroups union

Tickable Predicates for d*U

4-7 d*\ gets the shallow subgroups difference

d*\ gets the shallow subgroups difference

Operator d*\ gets the shallow subgroups difference

Tickable Predicates for d*\

4-8 g*& gets the shallow subgroups and elements intersection

g*& gets the shallow subgroups and elements intersection

Operator g*& gets the shallow subgroups and the elements intersection

Tickable Predicates for g*&

4-9 g*U gets the shallow subgroups and elements union

g*U gets the shallow subgroups and elements union

Operator g*U gets the shallow subgroups and the elements union

Tickable Predicates for g*U

4-10 g*\ gets the shallow subgroups and elements difference

g*\ gets the shallow subgroups and elements difference

Operator g*\ gets the shallow subgroups and the elements difference

Tickable Predicates for g*\

Chapter 5 ASPL Fuzzy Set Operators

5-1 y& gets the fuzzy-elements intersection

y& gets the fuzzy-elements intersection

Operator y& gets the fuzzy-elements intersection

Tickable Predicates for y&

5-2 y*& gets the fuzzy-elements intersection

y& gets the fuzzy-elements intersection

Operator y*& gets the fuzzy-elements intersection

Tickable Predicates for y*&

5-3 yU gets the fuzzy-elements union

yU gets the fuzzy-elements union

Operator yU gets the fuzzy-elements union

Tickable Predicates for yU

5-4 y*U gets the fuzzy-elements union

yU gets the fuzzy-elements union

Operator y*U gets the fuzzy-elements union

Tickable Predicates for y*U

5-5 y\ gets the fuzzy-elements difference

y\ gets the fuzzy-elements difference

Operator y\ gets the fuzzy-elements difference

Tickable Predicates for y\

5-6 y*\ gets the fuzzy-elements difference

y\ gets the fuzzy-elements difference

Operator y*\ gets the fuzzy-elements difference

Tickable Predicates for y*\

5-7 yD gets the fuzzy-elements symmetric difference

yD gets the fuzzy-elements symmetric difference

Operator yD gets the fuzzy-elements symmetric difference

Tickable Predicates for yD

5-8 y*D gets the fuzzy-elements symmetric difference

yD gets the fuzzy-elements symmetric difference

Operator y*D gets the fuzzy-elements symmetric difference

Tickable Predicates for y*D

5-9 yP gets the fuzzy-elements partition

yP gets the fuzzy-elements partition

Operator yP gets the fuzzy-elements partition

Tickable Predicates for yP

5-10 y*P gets the fuzzy-elements partition

yP gets the fuzzy-elements partition

Operator y*P gets the fuzzy-elements partition

Tickable Predicates for y*P

Chapter 6 ASPL Checksum Operators

6-1 c& gets the element-checksums intersection

c& gets the element-checksums intersection

Operator c& gets the element-checksums intersection

Tickable Predicates for c&

6-2 c*& get the element-checksums intersection

c*& gets the element-checksums intersection

Operator c*& gets the element-checksums intersection

Tickable Predicates for c*&

6-3 cU gets the element-checksums union

cU gets the element-checksums union

Operator cU gets the element-checksums union

Tickable Predicates for cU

6-4 c*U get the element-checksums union

c*U gets the element-checksums union

Operator c*U gets the element-checksums union

Tickable Predicates for c*U

6-5 c\ gets the element-checksums difference

c\ gets the element-checksums difference

Operator c\ gets the element-checksums difference

Tickable Predicates for c\

6-6 c*\ get the element-checksums difference

c*\ gets the element-checksums difference

Operator c*\ gets the element-checksums difference

Tickable Predicates for c*\

6-7 cD gets the element-checksums symmetric difference

cD gets the element-checksums symmetric difference

Operator cD gets the element-checksums symmetric difference

Tickable Predicates for cD

6-8 c*D get the element-checksums symmetric difference

c*D gets the element-checksums symmetric difference

Operator c*D gets the element-checksums symmetric difference

Tickable Predicates for c*D

6-9 cP gets the element-checksums partition

cP gets the element-checksums partition

Operator cP gets the element-checksums partition

Tickable Predicates for cP

6-10 c*P get the element-checksums partition

c*P gets the element-checksums partition

Operator c*P gets the element-checksums partition

Tickable Predicates for c*P

Chapter 7 ASPL Augmented Set Operators

7-1 f&& gets the binned elements intersection

f&& gets the binned elements intersection

Operator f&& gets the binned elements intersection

Tickable Predicates for f&&

7-2 fUU gets the binned elements union

fUU gets the binned elements union

Operator fUU gets the binned elements union

Tickable Predicates for fUU

7-3 f\\ gets the binned elements difference

f\\ gets the binned elements difference

Operator f\\ gets the binned elements difference

Tickable Predicates for fTickable Predicates for f"

7-4 fDD gets the binned elements symmetric difference

fDD gets the binned elements symmetric difference

Operator fDD gets the binned elements symmetric difference

Tickable Predicates for fDD

7-5 d&& gets the binned subgroups intersection

d&& gets the binned subgroups intersection

Operator d&& gets the binned subgroups intersection

Tickable Predicates for d&&

7-6 dUU gets the binned subgroups union

dUU gets the binned subgroups union

Operator dUU gets the binned subgroups union

Tickable Predicates for dUU

7-7 d\\ gets the binned subgroups difference

d\\ gets the binned subgroups difference

Operator d\\ gets the binned subgroups difference

Tickable Predicates for dTickable Predicates for d"

7-8 dDD gets the binned subgroups symmetric difference

dDD gets the binned subgroups symmetric difference

Operator dDD gets the binned subgroups symmetric difference

Tickable Predicates for dDD

7-9 g&& gets the binned subgroups and elements intersection

g&& gets the binned subgroups and elements intersection

Operator g&& gets the binned subgroups and elements intersection

Tickable Predicates for g&&

7-10 gUU gets the binned subgroups and elements union

gUU gets the binned subgroups and elements union

Operator gUU gets the binned subgroups and elements union

Tickable Predicates for gUU

7-11 g\\ gets the binned subgroups and elements difference

g\\ gets the binned subgroups and elements difference

Operator g\\ gets the binned subgroups and elements difference

Tickable Predicates for gTickable Predicates for g"

7-12 gDD gets the binned subgroups and elements symmetric difference

gDD gets the binned subgroups and elements symmetric difference

Operator gDD gets the binned subgroups and elements symmetric difference

Tickable Predicates for gDD

7-13 c&& gets the binned element-checksums intersection

c&& gets the binned element-checksums intersection

Operator c&& gets the binned element-checksums intersection

Tickable Predicates for c&&

7-14 cUU gets the binned element-checksums union

cUU gets the binned element-checksums union

Operator cUU gets the binned element-checksums union

Tickable Predicates for cUU

Chapter 8 ASPL Sequence Alignment Operators

8-1 f%& aligns two sequences based on their elements intersection

f%& aligns two sequences based on their elements intersection

Operator f%& aligns two sequences based on their elements intersection

Tickable Predicates for f%&

8-2 f%U aligns two sequences based on their elements union

f%U aligns two sequences based on their elements union

Operator f%U aligns two sequences based on their elements union

Tickable Predicates for f%U

8-3 f%\ aligns two sequences based on their elements difference

f%\ aligns two sequences based on their elements difference

Operator f%\ aligns two sequences based on their elements difference

Tickable Predicates for f%\

8-4 d%& aligns two sequences based on their subgroups intersection

d%& aligns two sequences based on their subgroups intersection

Operator d%& aligns two sequences based on their subgroups intersection

Tickable Predicates for d%&

8-5 d%U aligns two sequences based on their subgroups union

d%U aligns two sequences based on their subgroups union

Operator d%U aligns two sequences based on their subgroups union

Tickable Predicates for d%U

8-6 d%\ aligns two sequences based on their subgroups difference

d%\ aligns two sequences based on their subgroups difference

Operator d%\ aligns two sequences based on their subgroups difference

Tickable Predicates for d%\

8-7 g%& aligns two sequences based on their subgroups and the elements intersection

g%& aligns two sequences based on their subgroups and the elements intersection

Operator g%& aligns two sequences based on their subgroups and the elements intersection

Tickable Predicates for g%&

8-8 g%U aligns two sequences based on their subgroups and the elements union

g%U aligns two sequences based on their subgroups and the elements union

Operator g%U aligns two sequences based on their subgroups and the elements union

Tickable Predicates for g%U

8-9 g%\ aligns two sequences based on their subgroups and the elements difference

g%\ aligns two sequences based on their subgroups and the elements difference

Operator g%\ aligns two sequences based on their subgroups and the elements difference

Tickable Predicates for g%\

8-10 f%U& sequence alignment on the union of the mediated elements intersection

f%U& sequence alignment on the union of the mediated elements intersection

Operator f%U& sequence alignment on the union of the mediated elements intersection

Tickable Predicates for f%U&

8-11 f%UU sequence alignment on the union of the mediated elements union

f%UU sequence alignment on the union of the mediated elements union

Operator f%UU sequence alignment on the union of the mediated elements union

Tickable Predicates for f%UU

8-12 f%U\ sequence alignment on the union of the mediated elements difference

f%U\ sequence alignment on the union of the mediated elements difference

Operator f%U\ sequence alignment on the union of the mediated elements difference

Tickable Predicates for f%U\

8-13 d%U& sequence alignment on the union of the mediated subgroups intersection

d%U& sequence alignment on the union of the mediated subgroups intersection

Operator d%U& sequence alignment on the union of the mediated subgroups intersection

Tickable Predicates for d%U&

8-14 d%UU sequence alignment on the union of the mediated subgroups union

d%UU sequence alignment on the union of the mediated subgroups union

Operator d%UU sequence alignment on the union of the mediated subgroups union

Tickable Predicates for d%UU

8-15 d%U\ sequence alignment on the union of the mediated subgroups difference

d%U\ sequence alignment on the union of the mediated subgroups difference

Operator d%U\ sequence alignment on the union of the mediated subgroups difference

Tickable Predicates for d%U\

8-16 g%U& sequence alignment on the union of the mediated subgroups and elements intersection

g%U& sequence alignment on the union of the mediated subgroups and elements intersection

Operator g%U& sequence alignment on the union of the mediated subgroups and elements intersection

Tickable Predicates for g%U&

8-17 g%UU sequence alignment on the union of the mediated subgroups and elements union

g%UU sequence alignment on the union of the mediated subgroups and elements union

Operator g%UU sequence alignment on the union of the mediated subgroups and elements union

Tickable Predicates for g%UU

8-18 g%U\ sequence alignment on the union of the mediated subgroups and elements difference

g%U\ sequence alignment on the union of the mediated subgroups and elements difference

Operator g%U\ sequence alignment on the union of the mediated subgroups and elements difference

Tickable Predicates for g%U\

8-19 f%&& sequence alignment on the intersection of the mediated elements intersection

f%&& sequence alignment on the intersection of the mediated elements intersection

Operator f%&& sequence alignment on the intersection of the mediated elements intersection

Tickable Predicates for f%&&

8-20 f%&U sequence alignment on the intersection of the mediated elements union

f%&U sequence alignment on the intersection of the mediated elements union

Operator f%&U sequence alignment on the intersection of the mediated elements union

Tickable Predicates for f%&U

8-21 f%&\ sequence alignment on the intersection of the mediated elements difference

f%&\ sequence alignment on the intersection of the mediated elements difference

Operator f%&\ sequence alignment on the intersection of the mediated elements difference

Tickable Predicates for f%&\

8-22 d%&& sequence alignment on the intersection of the mediated subgroups intersection

d%&& sequence alignment on the intersection of the mediated subgroups intersection

Operator d%&& sequence alignment on the intersection of the mediated subgroups intersection

Tickable Predicates for d%&&

8-23 d%&U sequence alignment on the intersection of the mediated subgroups union

d%&U sequence alignment on the intersection of the mediated subgroups union

Operator d%&U sequence alignment on the intersection of the mediated subgroups union

Tickable Predicates for d%&U

8-24 d%&\ sequence alignment on the intersection of the mediated subgroups difference

d%&\ sequence alignment on the intersection of the mediated subgroups difference

Operator d%&\ sequence alignment on the intersection of the mediated subgroups difference

Tickable Predicates for d%&\

8-25 g%&& sequence alignment on the intersection of the mediated subgroups and elements intersection

g%&& sequence alignment on the intersection of the mediated subgroups and elements intersection

Operator g%&& sequence alignment on the intersection of the mediated subgroups and elements intersection

Tickable Predicates for g%&&

8-26 g%&U sequence alignment on the intersection of the mediated subgroups and elements union

g%&U sequence alignment on the intersection of the mediated subgroups and elements union

Operator g%&U sequence alignment on the intersection of the mediated subgroups and elements union

Tickable Predicates for g%&U

8-27 g%&\ sequence alignment on the intersection of the mediated subgroups and elements difference

g%&\ sequence alignment on the intersection of the mediated subgroups and elements difference

Operator g%&\ sequence alignment on the intersection of the mediated subgroups and elements difference

Tickable Predicates for g%&\

8-28 f%\& sequence alignment on the difference of the mediated elements intersection

f%\& sequence alignment on the difference of the mediated elements intersection

Operator f%\& sequence alignment on the difference of the mediated elements intersection

Tickable Predicates for f%\&

8-29 f%\U sequence alignment on the difference of the mediated elements union

f%\U sequence alignment on the difference of the mediated elements union

Operator f%\U sequence alignment on the difference of the mediated elements union

Tickable Predicates for f%\U

8-30 f%\\ sequence alignment on the difference of the mediated elements difference

f%\\ sequence alignment on the difference of the mediated elements difference

Operator f%\\ sequence alignment on the difference of the mediated elements difference

Tickable Predicates for f%Tickable Predicates for f%"

8-31 d%\& sequence alignment on the difference of the mediated subgroups intersection

d%\& sequence alignment on the difference of the mediated subgroups intersection

Operator d%\& sequence alignment on the difference of the mediated subgroups intersection

Tickable Predicates for d%\&

8-32 d%\U sequence alignment on the difference of the mediated subgroups union

d%\U sequence alignment on the difference of the mediated subgroups union

Operator d%\U sequence alignment on the difference of the mediated subgroups union

Tickable Predicates for d%\U

8-33 d%\\ sequence alignment on the difference of the mediated subgroups difference

d%\\ sequence alignment on the difference of the mediated subgroups difference

Operator d%\\ sequence alignment on the difference of the mediated subgroups difference

Tickable Predicates for d%Tickable Predicates for d%"

8-34 g%\& sequence alignment on the difference of the mediated subgroups and elements intersection

g%\& sequence alignment on the difference of the mediated subgroups and elements intersection

Operator g%\& sequence alignment on the difference of the mediated subgroups and elements intersection

Tickable Predicates for g%\&

8-35 g%\U sequence alignment on the difference of the mediated subgroups and elements union

g%\U sequence alignment on the difference of the mediated subgroups and elements union

Operator g%\U sequence alignment on the difference of the mediated subgroups and elements union

Tickable Predicates for g%\U

8-36 g%\\ sequence alignment on the difference of the mediated subgroups and elements difference

g%\\ sequence alignment on the difference of the mediated subgroups and elements difference

Operator g%\\ sequence alignment on the difference of the mediated subgroups and elements difference

Tickable Predicates for g%Tickable Predicates for g%"

Appendices

Appendix A IBM ASCII Standard Character Set

Appendix B ASPL Symbolic Operators

Appendix C The Syntax Box

Appendix D ASPL Calculator Technical Specifications