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

                       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