aspl contents - ASPL A Set Programming Language

page-1- DISCLAIMER

page-2- ASPL User Manual

page-3- Preface

Chapter 1 What is ASPL

1-1 Introduction to ASPL

Introduction to ASPL

ASPL Building Blocks

ASPL Commands with asplcmd

ASPL Symbolic Shemes and Colors

Why do you need to use ASPL

1-2 Getting to Know Your ASPL Interpreter

Getting to Know Your ASPL Interpreter

The TRIVIAL Workspace

The RANDONEBIT Workspace

The CRAPTABLE Workspace

Basic Set Operations

Sequence Alignment Operations

Interrogating a Set Variable

Similarity Operations

ASPL Workspace

Chapter 2 Using Your ASPL Calculator

2-1 ASPL A SIMPLIFIED VIEW

ASPL A SIMPLIFIED VIEW

ASPL Statements

Set Operations at the ASPL Prompt

The Answer Stack

ASPL Variables

Shapes of Variables

ASPL Symbol Tables

The COS Symbol Table

Ticking Set Operators With Predicates

Definining a Function

Defining Various Functions to Compare Two Groups

2-2 ASPL Quotient Set Relative to an Equivalence Relation

ASPL Quotient Set Relative to an Equivalence Relation

Defining an Equivalence Relation

Getting the Quotient Set For Event Listeners in JMX

AN EQUIVALENCE RELATION TO GET THE QUOTIENT SET OF EVENTS IN JMX

EXTENDING THE EQUIVALENCE RELATION TO GET THE QUOTIENT SET OF EVENT LISTENERS IN JMX

Getting the Quotient Set For Processes in WebSphere Cloud

2-3 Quotient Set for Document Similarity

Quotient Set for Document Similarity

Defining an Equivalence Relation for Document Similarity

Chapter 3 ASPL Grouping Containment

3-1 ASPL Grouping Containment

ASPL Grouping Containment

Chapter 4 ASPL Set Operators

4-1 f& gets the elements intersection

f& gets the elements intersection

Operator f& gets the elements intersection

Tickable Predicates for f&

4-2 fP gets the elements partitions

fP gets the elements partition

Operator fP gets the elements partition

Tickable Predicates for fP

4-3 fU gets the elements union

fU gets the elements union

Operator fU gets the elements union

Tickable Predicates for fU

4-4 f\ gets the elements difference

f\ gets the elements difference

Operator f\ gets the elements difference

Tickable Predicates for f\

4-5 fD gets the elements symmetric difference

fD gets the elements symmetric difference

Tickable Predicates for fD

4-6 d& gets the subgroups intersection

d& gets the subgroups intersection

Operator d& gets the subgroups intersection

Tickable Predicates for d&

4-7 dP gets the subgroups partitions

dP gets the subgroups partition

Operator dP gets the subgroups partition

Tickable Predicates for dP

4-8 dU gets the subgroups union

dU gets the subgroups union

Operator dU gets the subgroups union

Tickable Predicates for dU

4-9 d\ gets the subgroups difference

d\ gets the subgroups difference

Operator d\ gets the subgroups difference

Tickable Predicates for d\

4-10 dD gets the subgroups symmetric difference

dD gets the subgroups symmetric difference

Operator dD gets the subgroups symmetric difference

Tickable Predicates for dD

4-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&

4-12 gP gets the subgroups and the elements partitions

gP gets the subgroups and the elements partition

Operator gP gets the subgroups and the elements partition

Tickable Predicates for gP

4-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

4-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\

4-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 5 Setness Comparison Operators

5-1 Setness Comparison

Setness Comparison

SET EQUALITY and its Amplifiers

SUBSETNESS and its Amplifiers

SUPERSETNESS and its Amplifiers

DISJOINTNESS and its Amplifiers

Chapter 6 ASPL Similarity Operations

6-1 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

6-2 Extended Similarities Comparison Between Your 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

Chapter 7 ASPL Sequence Alignment Operators

7-1 f%& sequencing on the 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%&

7-2 f%U sequencing on the 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

7-3 f%\ sequencing on the 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%\

7-4 d%& sequencing on the 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%&

7-5 d%U sequencing on the 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

7-6 d%\ sequencing on the 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%\

7-7 g%& sequencing on the 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%&

7-8 g%U sequencing on the 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

7-9 g%\ sequencing on the 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%\

7-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&

Chapter 8 ASPL Checksum Set Operators

8-1 c& gets the element-checksums intersection

c& gets the element-checksums intersection

Operator c& gets the element-checksums intersection

Tickable Predicates for c&

8-2 cU gets the element-checksums union

cU gets the element-checksums union

Operator cU gets the element-checksums union

Tickable Predicates for cU

8-3 c\ gets the element-checksums difference

c\ gets the element-checksums difference

Operator c\ gets the element-checksums difference

Tickable Predicates for c\

8-4 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

8-5 cP gets the element-checksums partitions

cP gets the element-checksums partition

Operator cP gets the element-checksums partition

Tickable Predicates for cP

Chapter 9 ASPL Fuzzy Set Operators

9-1 Fuzzy Matching in Set Operations

Fuzzy Matching in Set Operations

The fuzzy Command

9-2 y& gets the fuzzy-elements intersection

y& gets the fuzzy-elements intersection

Operator y& gets the fuzzy-elements intersection

Tickable Predicates for y&

9-3 yP gets the fuzzy-elements partitions

yP gets the fuzzy-elements partition

Operator yP gets the fuzzy-elements partition

Tickable Predicates for yP

9-4 yU gets the fuzzy-elements union

yU gets the fuzzy-elements union

Operator yU gets the fuzzy-elements union

Tickable Predicates for yU

9-5 y\ gets the fuzzy-elements difference

y\ gets the fuzzy-elements difference

Operator y\ gets the fuzzy-elements difference

Tickable Predicates for y\

9-6 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

Chapter 10 ASPL Shallow Set Operators

10-1 Shallow Matching in Set Operations

Shallow Matching in Set Operations

The shallowed Command

10-2 f*& gets the shallow elements intersection

f*& gets the shallow elements intersection

Operator f*& gets the shallow elements intersection

Tickable Predicates for f*&

10-3 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

10-4 f*\ gets the shallow elements difference

f*\ gets the shallow elements difference

Operator f*\ gets the shallow elements difference

Tickable Predicates for f*\

10-5 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

10-6 d*& gets the shallow directories intersection

d*& gets the shallow subgroups intersection

Operator d*& gets the shallow subgroups intersection

Tickable Predicates for d*&

10-7 d*U gets the shallow directories union

d*U gets the shallow subgroups union

Operator d*U gets the shallow subgroups union

Tickable Predicates for d*U

10-8 d*\ gets the shallow directories difference

d*\ gets the shallow subgroups difference

Operator d*\ gets the shallow subgroups difference

Tickable Predicates for d*\

10-9 g*& gets the shallow directories and the elements intersection

g*& gets the shallow subgroups and elements intersection

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

Tickable Predicates for g*&

10-10 g*U gets the shallow directories and the 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

10-11 g*\ gets the shallow directories and the 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 11 ASPL by Example

11-1 ASPL by Example

ASPL by Example

List of Sample Workspaces

RANDOM GROUPS WITH ONE BIT

TOSSING DICE SIMULATION

Comparing Java JMX TX Jar Files

Partitioning Java JMX Jar Files

Comparing JDBC INFORMIX JAR Files

Comparing Java TX Jar Files

Group Operations on UNIX Filesystem

Glob Directories on UNIX Systems

TIE OSCILATOR SIGNALS TO ATTRIBUTES

RANDOM POLYGONS IN TWO 2D PLANES

RANDOM POLYGONS IN THREE 2D PLANES

RANDOM POLYGONS ON TWO SPHERES

RANDOM POLYGONS ON THREE SPHERES

MONITORING UNIX SOCKET STATUS

WATER LEVEL BETWEEN BAY1 AND BAY2

MINING WEBSPHERE JMV IN A CLOUD

11-2 RANDOM GROUPS WITH ONE BIT

RANDOM GROUPS WITH ONE BIT

11-3 TOSSING DICE SIMULATION

TOSSING DICE SIMULATION

11-4 Comparing Java JMX TX Jar Files

Comparing Java JMX TX Jar Files

11-5 Partitioning Java JMX Jar Files

Partitioning Java JMX Jar Files

11-6 Comparing JDBC INFORMIX JAR Files

Comparing JDBC INFORMIX JAR Files

11-7 Comparing Java TX Jar Files

Comparing Java TX Jar Files

11-8 Group Operations on UNIX Filesystem

Group Operations on UNIX Filesystem

11-9 Glob Directories on UNIX Systems

Glob Directories on UNIX Systems

11-10 TIE OSCILATOR SIGNALS TO ATTRIBUTES

TIE OSCILATOR SIGNALS TO ATTRIBUTES

11-11 RANDOM POLYGONS IN TWO 2D PLANES

RANDOM POLYGONS IN TWO 2D PLANES

11-12 RANDOM POLYGONS IN THREE 2D PLANES

RANDOM POLYGONS IN THREE 2D PLANES

11-13 RANDOM POLYGONS ON TWO SPHERES

RANDOM POLYGONS ON TWO SPHERES

11-14 RANDOM POLYGONS ON THREE SPHERES

RANDOM POLYGONS ON THREE SPHERES

11-15 MONITORING UNIX SOCKET STATUS

MONITORING UNIX SOCKET STATUS

11-16 WATER LEVEL BETWEEN BAY1 AND BAY2

WATER LEVEL BETWEEN BAY1 AND BAY2

11-17 MINING WEBSPHERE JMV IN A CLOUD

MINING WEBSPHERE JMV IN A CLOUD

Chapter 12 ASPL Scripts by Example

12-1 ASPL Scripts by Example

ASPL Scripts by Example

List of Scripts

Executing ASPL from other programming languages

Script pathcompare.pl

Script envcompare.pl

Script jarcompare.pl

12-2 Compare Two Directories: dircompare.aspl

Compare Two Directories: dircompare.aspl

12-3 Diff Directories on UNIX hosts: dirdiff.pl

Diff Directories on UNIX hosts: dirdiff.pl

12-4 Realtime Monitoring of System Directories

Realtime Monitoring of System Directories

Shell Scripts to Monitor Directories

Script dirchange-monitor-delta.sh

Script dirchange-monitor-delta-alternate.sh

Monitoring Directories From Within an ASPL Session

12-5 Throwing Dice Simulation: randomdice.aspl

Throwing Dice Simulation: randomdice.aspl

12-6 Mutant DNA Alignment: mutant.aspl

Mutant DNA Alignment: mutant.aspl

12-7 Intersecting Two Spheres: twospheres.aspl

Intersecting Two Spheres: twospheres.aspl

12-8 Random Polygons on Three Spheres: polyclouds.aspl

Random Polygons on Three Spheres: polyclouds.aspl

12-9 Comparing Two Jar Files: jarcompare.aspl

Comparing Two Jar Files: jarcompare.aspl

12-10 Comparing Jar Files: jarcompare.pl

Comparing Jar Files: jarcompare.pl

12-11 Extended Comparison of Jar Files: jarcomparelong.aspl

Extended Comparison of Jar Files: jarcomparelong.aspl

12-12 Similarity Between Jar Archive Files: jarsimilarity.pl

Similarity Between Jar Archive Files: jarsimilarity.pl

12-13 Compare System PATHs: pathcompare.pl

Compare System PATHs: pathcompare.pl

12-14 Compare Two System PATHs: pathcompare.aspl

Compare Two System PATHs: pathcompare.aspl

12-15 Compare System Environment Variables: envcompare.pl

Compare System Environment Variables: envcompare.pl

12-16 Environment Variables in a Shell: progenv.aspl

Environment Variables in a Shell: progenv.aspl

12-17 Compare Program Env. Variables: progenvcompare.aspl

Compare Program Env. Variables: progenvcompare.aspl

12-18 Comparing Shell Variables: progenvshellscompare.aspl

Comparing Shell Variables: progenvshellscompare.aspl

12-19 Merging Shell Variables: progenvshellsmerged.aspl

Merging Shell Variables: progenvshellsmerged.aspl

12-20 Reaping the environment of a process: reapenv.aspl

Reaping the environment of a process: reapenv.aspl

12-21 Compare Reaped Environment: reapenvcompare.aspl

Compare Reaped Environment: reapenvcompare.aspl

12-22 Compare Thread Environments: reapenvpidcompare.aspl

Compare Thread Environments: reapenvpidcompare.aspl

12-23 Reaping WebSphere JVM Processes: wasreaper.aspl

Reaping WebSphere JVM Processes: wasreaper.aspl

12-24 Monitoring Water Level Between Two Bays: bay12mon.pl

Monitoring Water Level Between Two Bays: bay12mon.pl

12-25 Monitoring Water Level Between Two Bays: bay12.sh

Monitoring Water Level Between Two Bays: bay12.sh

Chapter 13 ASPL Basic Operators

13-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

13-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

13-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

13-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

13-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

13-6 # gets the cardinality of a set variable

# gets the cardinality of a set variable

Operator # gets the cardinality of a set variable

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-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

13-23 split splits set variables into set variables

split splits set variables into set variables

Operator split splits set variables into set variables

13-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

13-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

13-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

13-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

13-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

13-29 = assigns a dataset to a set variable

= assigns a dataset to a set variable

Operator = assigns a dataset to a set variable

13-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

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

*=* starassignstar assignment operator for binned set variables

Operator *=* starassignstar assignment operator for binned set variables

13-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

Appendices

Appendix A ASPL Synopsis

Appendix B Environment Variables

Appendix C ASPL Tilde Expansions: tilde

Appendix D ASPL Technical Specifications