page-1-   DISCLAIMER
page-2-   ASPL
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

             Basic Set Operations and Shapes

                       ASPL Symbol Tables

             ASPL Variables

                       TyP1 Set Variables

                       TyP2 Set Variables

             Definining a Function

             Defining a Quotient Relation

             ASPL Workspace

2-2  ASPL A DETAILED VIEW
             ASPL A DETAILED VIEW

             Metagrouping Tied Attributes

             Accessing Symbols from within GG-functions

2-3  ASPL Scripts
             ASPL Scripts

             Shebang

                       Comments

             Metagrouping Tied Attributes

                       ASPL Variables are Eternal

Chapter 3   ASPL Grouping Containment
3-1  ASPL Grouping Containment
             ASPL Grouping Containment

             Metagrouping Tied Attributes

             Accessing Symbols from within GG-functions

3-2  Element Grouping Class Container
             Element Grouping Class Container

             Metagrouping Tied Attributes

3-3  Global Grouping Class Container
             Global Grouping Class Container

             GGs Functions

Chapter 4   ASPL Set Operators
4-1  f& get the elements intersection
             f& gets the elements intersection

                       Operator f& gets the elements intersection

                       Tickable Predicates for f&

4-2  fP get the elements partitions
             fP gets the elements partition

                       Operator fP gets the elements partition

                       Tickable Predicates for fP

4-3  fU get the elements union
             fU gets the elements union

                       Operator fU gets the elements union

                       Tickable Predicates for fU

4-4  f\ get the elements difference
             f\ gets the elements difference

                       Operator f\ gets the elements difference

                       Tickable Predicates for f\

4-5  fD get the elements symmetric difference
             fD gets the elements symmetric difference

                       fD gets the elements symmetric difference

                       Tickable Predicates for fD

4-6  d& get the subgroups intersection
             d& gets the subgroups intersection

                       Operator d& gets the subgroups intersection

                       Tickable Predicates for d&

4-7  dP get the subgroups partitions
             dP gets the subgroups partition

                       Operator dP gets the subgroups partition

                       Tickable Predicates for dP

4-8  dU get the subgroups union
             dU gets the subgroups union

                       Operator dU gets the subgroups union

                       Tickable Predicates for dU

4-9  d\ get the subgroups difference
             d\ gets the subgroups difference

                       Operator d\ gets the subgroups difference

                       Tickable Predicates for d\

4-10  dD get the subgroups symmetric difference
             dD gets the subgroups symmetric difference

                       Operator dD gets the subgroups symmetric difference

                       Tickable Predicates for dD

4-11  g& get 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 get 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 get 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\ get 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 get 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
Chapter 8   ASPL Checksum Set Operators
8-1  c& get the element-checksums intersection
             c& gets the element-checksums intersection

                       Operator c& gets the element-checksums intersection

                       Tickable Predicates for c&

8-2  cU get the element-checksums union
             cU gets the element-checksums union

                       Operator cU gets the element-checksums union

                       Tickable Predicates for cU

8-3  c\ get the element-checksums difference
             c\ gets the element-checksums difference

                       Operator c\ gets the element-checksums difference

                       Tickable Predicates for c\

8-4  cD get 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 get 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& get the fuzzy-elements intersection
             y& gets the fuzzy-elements intersection

                       Operator y& gets the fuzzy-elements intersection

                       Tickable Predicates for y&

9-3  yP get the fuzzy-elements partitions
             yP gets the fuzzy-elements partition

                       Operator yP gets the fuzzy-elements partition

                       Tickable Predicates for yP

9-4  yU get the fuzzy-elements union
             yU gets the fuzzy-elements union

                       Operator yU gets the fuzzy-elements union

                       Tickable Predicates for yU

9-5  y\ get the fuzzy-elements difference
             y\ gets the fuzzy-elements difference

                       Operator y\ gets the fuzzy-elements difference

                       Tickable Predicates for y\

9-6  yD get 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*& get 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 get 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*\ get 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 get 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*& get 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 get 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*\ get the shallow directories difference
             d*\ gets the shallow subgroups difference

                       Operator d*\ gets the shallow subgroups difference

                       Tickable Predicates for d*\

10-9  g*& get 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 get 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*\ get 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 Examples
11-1  ASPL by Examples
             ASPL by Examples

             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 Examples
12-1  ASPL Scripts by Examples
             ASPL Scripts by Examples

             List of Scripts

                       Script dircompare.aspl

                       Script pathcompare.pl

             Executing ASPL from other programming languages

                       Script pathcompare.pl

                       Script envcompare.pl

                       Script jarcompare.pl

12-2  Script dircompare.aspl
             Script dircompare.aspl

12-3  Script dirdiff.pl
             Script dirdiff.pl

12-4  Script dirchange-monitor.sh
             Monitoring Changes in UNIX Directories

             Script dirchange-monitor.sh

             Monitoring Directories From Within an ASPL Session

12-5  Script randomdice.aspl
             Script randomdice.aspl

12-6  Script mutant.aspl
             Script mutant.aspl

12-7  Script twospheres.aspl
             Script twospheres.aspl

12-8  Script polyclouds.aspl
             Script polyclouds.aspl

12-9  Script jarcompare.aspl
             Script jarcompare.aspl

12-10  Script jarcompare.pl
             Script jarcompare.pl

12-11  Script jarcomparelong.aspl
             Script jarcomparelong.aspl

12-12  Script jarsimilarity.pl
             Script jarsimilarity.pl

12-13  Script pathcompare.pl
             Script pathcompare.pl

12-14  Script pathcompare.aspl
             Script pathcompare.aspl

12-15  Script envcompare.pl
             Script envcompare.pl

12-16  Script reapenv.aspl
             Script reapenv.aspl

12-17  Script wasreaper.aspl
             Script wasreaper.aspl

12-18  Script progenv.aspl
             Script progenv.aspl

12-19  Script progenvshellscompare.aspl
             Script progenvshellscompare.aspl

12-20  Script reapenvpidcompare.aspl
             Script reapenvpidcompare.aspl

12-21  Script bay12mon.pl
             Script bay12mon.pl

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 augmented 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 super 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  # returns the cardinality of a set
             # gets the cardinality of a set variable

                       Operator # gets the cardinality of a set variable

13-7  push push 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 pop 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 returns the cardinality of an augmented set variable
             #a gets the cardinality of a binned set variable

                       Operator #a gets the cardinality of a binned set variable

13-10  apush push an augmented 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 pop the last result from the enswer stack into an augmented 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  #p returns the cardinality of an augmented partitioned set
             #p gets the cardinality of a binned partitioned set

                       Operator #p gets the cardinality of a binned partitioned set

13-13  upush push 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-14  upop pop 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-15  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-16  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-17  asimilarity calculates the similarities of one or more augmented 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 augmented 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 an augmented set variable into another augmented 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  = assign some data to a variable
             = assigns a dataset to a set variable

                       Operator = assigns a dataset to a set variable

13-30  .=* transforms augmented 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
             *=* starassignstar assignment operator for binned set variables

                       Operator *=* starassignstar assignment operator for binned set variables

13-32  *= starassign, union translation of one or more set variables into an augmented 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 envvar
Appendix D   Technical Specifications
Appendix E   ASPL Seqops
Appendix F   ASPL Examples