| List-Compare documentation | Contained in the List-Compare distribution. |
List::Compare::Functional - Compare elements of two or more lists
This document refers to version 0.37 of List::Compare::Functional. This version was released June 07, 2008. The first released version of List::Compare::Functional was v0.21. Its version numbers are set to be consistent with the other parts of the List::Compare distribution.
Certain significant changes to the interface to List::Compare::Functional were made with the introduction of Version 0.25 in April 2004. The documentation immediately below reflects those changes, so if you are first using this module with that or a later version, simply read and follow the documentation below. If, however, you used List::Compare::Functional prior to that version, see the discussion of interface changes farther below: April 2004 Change of Interface.
List::Compare::Functional exports no subroutines by default.
use List::Compare::Functional qw(:originals :aliases);
will import all publicly available subroutines from List::Compare::Functional. The model for importing just one subroutine from List::Compare::Functional is:
use List::Compare::Functional qw( get_intersection );
It will probably be most convenient for the user to import functions by using one of the two following export tags:
use List::Compare::Functional qw(:main :mainrefs);
The assignment of the various comparison functions to export tags is discussed below.
For clarity, we shall begin by discussing comparisons of just two lists at a time. Farther below, we shall discuss comparisons among three or more lists at a time.
@Llist = qw(abel abel baker camera delta edward fargo golfer);
@Rlist = qw(baker camera delta delta edward fargo golfer hilton);
@intersection = get_intersection( [ \@Llist, \@Rlist ] );
get_intersection() a reference to that array.
@to_be_compared = ( \@Llist, \@Rlist );
@intersection = get_intersection( \@to_be_compared );
lists:
@intersection = get_intersection( {
lists => [ \@Llist, \@Rlist ],
} );
@union = get_union( [ \@Llist, \@Rlist ] );
@union = get_union( { lists => [ \@Llist, \@Rlist ] } );
@Lonly = get_unique( [ \@Llist, \@Rlist ] );
@Lonly = get_unique( { lists => [ \@Llist, \@Rlist ] } );
@Ronly = get_complement( [ \@Llist, \@Rlist ] );
@Ronly = get_complement( { lists => [ \@Llist, \@Rlist ] } );
@LorRonly = get_symmetric_difference( [ \@Llist, \@Rlist ] );
@LorRonly = get_symdiff( [ \@Llist, \@Rlist ] ); # alias
@LorRonly = get_symmetric_difference( { lists => [ \@Llist, \@Rlist ] } );
@bag = get_bag( [ \@Llist, \@Rlist ] );
@bag = get_bag( { lists => [ \@Llist, \@Rlist ] } );
$intersection_ref = get_intersection_ref( [ \@Llist, \@Rlist ] );
$union_ref = get_union_ref( [ \@Llist, \@Rlist ] );
$Lonly_ref = get_unique_ref( [ \@Llist, \@Rlist ] );
$Ronly_ref = get_complement_ref( [ \@Llist, \@Rlist ] );
$LorRonly_ref = get_symmetric_difference_ref( [ \@Llist, \@Rlist ] );
$LorRonly_ref = get_symdiff_ref( [ \@Llist, \@Rlist ] );
# alias
$bag_ref = get_bag_ref( [ \@Llist, \@Rlist ] );
$intersection_ref =
get_intersection_ref( { lists => [ \@Llist, \@Rlist ] } );
$union_ref =
get_union_ref( { lists => [ \@Llist, \@Rlist ] } );
$Lonly_ref =
get_unique_ref( { lists => [ \@Llist, \@Rlist ] } );
$Ronly_ref =
get_complement_ref( { lists => [ \@Llist, \@Rlist ] } );
$LorRonly_ref =
get_symmetric_difference_ref( { lists => [ \@Llist, \@Rlist ] } );
$LorRonly_ref =
get_symdiff_ref( { lists => [ \@Llist, \@Rlist ] } );
# alias
$bag_ref =
get_bag_ref( { lists => [ \@Llist, \@Rlist ] } );
$LR = is_LsubsetR( [ \@Llist, \@Rlist ] );
$LR = is_LsubsetR( { lists => [ \@Llist, \@Rlist ] } );
$RL = is_RsubsetL( [ \@Llist, \@Rlist ] );
$RL = is_RsubsetL( { lists => [ \@Llist, \@Rlist ] } );
$eqv = is_LequivalentR( [ \@Llist, \@Rlist ] );
$eqv = is_LeqvlntR( [ \@Llist, \@Rlist ] ); # alias
$eqv = is_LequivalentR( { lists => [ \@Llist, \@Rlist ] } );
$disj = is_LdisjointR( [ \@Llist, \@Rlist ] );
$disj = is_LdisjointR( { lists => [ \@Llist, \@Rlist ] } );
print_subset_chart( [ \@Llist, \@Rlist ] );
print_subset_chart( { lists => [ \@Llist, \@Rlist ] } );
print_equivalence_chart( [ \@Llist, \@Rlist ] );
print_equivalence_chart( { lists => [ \@Llist, \@Rlist ] } );
@memb_arr = is_member_which( [ \@Llist, \@Rlist ] , [ 'abel' ] );
@memb_arr = is_member_which( {
lists => [ \@Llist, \@Rlist ], # value is array reference
item => 'abel', # value is string
} );
@memb_arr will be:
( 0 )
'abel' is found only in @Al which holds position 0 in the
list of arguments passed to new(). $memb_arr_ref = is_member_which_ref( [ \@Llist, \@Rlist ] , [ 'baker' ] );
$memb_arr_ref = is_member_which_ref( {
lists => [ \@Llist, \@Rlist ], # value is array reference
item => 'baker', # value is string
} );
$memb_arr_ref will be:
[ 0, 1 ]
'baker' is found in @Llist and @Rlist, which hold positions
0 and 1, respectively, in the list of arguments passed to new().
is_member_which() and is_member_which_ref test
only one string at a time and hence take only one argument. To test more
than one string at a time see the next function, are_members_which(). which (if any) of the lists passed as arguments one or
more given strings can be found. The lists beings searched are placed in an
array, a reference to which is the first argument passed to
are_members_which(). The strings to be tested are also placed in an
array, a reference to which is the second argument passed to that function.
$memb_hash_ref =
are_members_which( [ \@Llist, \@Rlist ] ,
[ qw| abel baker fargo hilton zebra | ]
);
$memb_hash_ref = are_members_which( {
lists => [ \@Llist, \@Rlist ], # value is arrayref
items => [ qw| abel baker fargo hilton zebra | ], # value is arrayref
} );
$memb_hash_ref will be:
{
abel => [ 0 ],
baker => [ 0, 1 ],
fargo => [ 0, 1 ],
hilton => [ 1 ],
zebra => [ ],
};
are_members_which() can take more than one argument;
is_member_which() and is_member_which_ref() each take only one argument.
Unlike those functions, are_members_which() returns a hash reference. 1 if a specified string can be found in any of the lists
and 0 if not.
$found = is_member_any( [ \@Llist, \@Rlist ] , [ 'abel' ] );
$found = is_member_any( {
lists => [ \@Llist, \@Rlist ], # value is array reference
item => 'abel', # value is string
} );
$found will be 1 because 'abel' is found in one
or more of the lists passed as arguments to new(). are_members_any(). The strings to be tested are also placed in an
array, a reference to which is the second argument passed to that function.
$memb_hash_ref =
are_members_any( [ \@Llist, \@Rlist ] ,
[ qw| abel baker fargo hilton zebra | ]
);
$memb_hash_ref = are_members_any( {
lists => [ \@Llist, \@Rlist ], # value is arrayref
items => [ qw| abel baker fargo hilton zebra | ], # value is arrayref
} );
1 if the string can be
found in any of the lists and 0 if not. In the examples above,
$memb_hash_ref will be:
{
abel => 1,
baker => 1,
fargo => 1,
hilton => 1,
zebra => 0,
};
zebra's value is 0 because zebra is not found in either of the lists
passed as arguments to are_members_any(). $vers = get_version;
Given five lists:
@Al = qw(abel abel baker camera delta edward fargo golfer);
@Bob = qw(baker camera delta delta edward fargo golfer hilton);
@Carmen = qw(fargo golfer hilton icon icon jerky kappa);
@Don = qw(fargo icon jerky);
@Ed = qw(fargo icon icon jerky);
@intersection = get_intersection( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@intersection = get_intersection( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
@union = get_union( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
get_unique()
with two array references. The first holds references to the arrays
which in turn hold the individual lists being compared. The second holds
the index position in the first reference of the particular list under
consideration. Example: To get elements unique to @Carmen:
@Lonly = get_unique(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 2 ]
);
@Lonly = get_unique( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
item => 2, # value is number
} );
get_unique() it will default to 0
and report items unique to the first list passed to the function. Hence,
@Lonly = get_unique( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@Lonly = get_unique( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], [ 0 ] );
get_unique_all and get a reference to an array of
array references:
$unique_all_ref = get_unique_all(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ]
);
$unique_all_ref = get_unique_all( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
get_complement() function.
The first holds references to the arrays which in turn hold the individual lists
being compared. The second holds the index position in the first reference
of the particular list under consideration. Example: to get all the
elements found in lists other than @Don:
@Ronly = get_complement(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 3 ]
);
@Ronly = get_complement( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
item => 3, # value is number
} );
get_complement() it will default to 0
and report items found in all lists other than the first list passed to
get_complement().
@Lonly = get_complement( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@Lonly = get_complement( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], [ 0 ] );
get_complement_all and get a reference to an array of
array references:
$complement_all_ref = get_complement_all(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ]
);
$complement_all_ref = get_complement_all( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
@LorRonly = get_symmetric_difference( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@LorRonly = get_symdiff( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] ); # alias
@LorRonly = get_symmetric_difference( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
all of the lists (i.e., all items except those found in the
intersection of the lists):
@nonintersection = get_nonintersection(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@nonintersection = get_nonintersection( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
@shared = get_shared( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@shared = get_shared( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
@bag = get_bag( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
@bag = get_bag( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
} );
$intersection_ref = get_intersection_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$union_ref = get_union_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$Lonly_ref = get_unique_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$Ronly_ref = get_complement_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$LorRonly_ref = get_symmetric_difference_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$LorRonly_ref = get_symdiff_ref( # alias
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$nonintersection_ref = get_nonintersection_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$shared_ref = get_shared_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$bag_ref = get_bag_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
is_LsubsetR() two array references.
The first of these is a reference to an array of array
references, the arrays holding the lists under consideration. The
second is a reference to a two-element array consisting of the
index of the presumed subset, followed by the index position of the presumed
superset. A true value (1) is returned if the first (left-hand) element
in the second reference list is a subset of the second (right-hand) element;
a false value (0) is returned otherwise.
@Ed is a subset of @Carmen, call:
$LR = is_LsubsetR(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 4, 2 ]
);
$LR = is_LsubsetR( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
pair => [ 4, 2 ], # value is arrayref
} );
is_LsubsetR, then the function's second argument defaults to (0,1) and
compares the first two lists passed to the constructor. So,
$LR = is_LsubsetR([ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$LR = is_LsubsetR([ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], [0,1] );
is_RsubsetL:
$RL = is_RsubsetL([ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], [2,4] );
$RL = is_RsubsetL( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
pair => [ 2, 4 ],
} );
is_LequivalentR() with two array references.
The first is a reference to an array of array
references, the arrays holding the lists under consideration. The
second of these is a reference to a two-element array consisting of the
two lists being tested for equivalence. A true value (1) is returned if
the lists are equivalent; a false value (0) is returned otherwise.
@Don and @Ed are equivalent, call:
$eqv = is_LequivalentR(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[3,4]
);
$eqv = is_LeqvlntR( # alias
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[3,4]
);
$eqv = is_LequivalentR( {
items => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
pair => [3,4],
} );
is_LequivalentR defaults to [0,1] and
compares the first two lists passed to the function. So,
$eqv = is_LequivalentR( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
$eqv = is_LequivalentR( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], [0,1] );
is_LdisjointR() with two array references.
The first is a reference to an array of array
references, the arrays holding the lists under consideration. The
second of these is a reference to a two-element array consisting of the
two lists being tested for disjointedness. A true value (1) is returned if
the lists are disjoint; a false value (0) is returned otherwise.
@Don and @Ed are disjoint, call:
$disj = is_LdisjointR(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[3,4]
);
$disj = is_LdisjointR( {
items => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
pair => [3,4]
} );
print_subset_chart( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
print_subset_chart( { lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] } );
print_equivalence_chart( [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] );
print_equivalence_chart( { lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ] } );
@memb_arr = is_member_which(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 'abel' ]
);
@memb_arr = is_member_which( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
item => 'abel', # value is string
} );
@memb_arr will be:
( 0 )
'abel' is found only in @Al which holds position 0 in the
list of arguments passed to is_member_which(). $memb_arr_ref = is_member_which_ref(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 'jerky' ]
);
$memb_arr_ref = is_member_which_ref( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
item => 'jerky', # value is string
} );
$memb_arr_ref will be:
[ 3, 4 ]
'jerky' is found in @Don and @Ed, which hold positions
3 and 4, respectively, in the list of arguments passed to
is_member_which().
is_member_which() and is_member_which_ref test
only one string at a time and hence take only one element in the second
array reference argument. To test more than one string at a time see
the next function, are_members_which(). which (if any) of several lists one or more given strings
can be found. Pass two array references, the first of which holds references
to arrays holding the lists under consideration, and the second of which
holds a list of the strings being tested.
$memb_hash_ref = are_members_which(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ qw| abel baker fargo hilton zebra | ]
);
$memb_hash_ref = are_members_which( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
items => [ qw| abel baker fargo hilton zebra | ], # value is arrayref
} );
$memb_hash_ref will be:
{
abel => [ 0 ],
baker => [ 0, 1 ],
fargo => [ 0, 1, 2, 3, 4 ],
hilton => [ 1, 2 ],
zebra => [ ],
};
are_members_which() tests more than one string at a time. Hence,
its second array reference argument can take more than one element.
is_member_which() and is_member_which_ref() each take only one element
in their second array reference arguments. are_members_which() returns a
hash reference; the other functions return either a list or a reference to an
array holding that list, depending on context. $found = is_member_any(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ 'abel' ]
);
$found = is_member_any( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
item => 'abel', # value is string
} );
1 if a specified string can be found in any of
the lists and 0 if not. In the example above, $found will be
1 because abel is found in one or more of the lists passed as
arguments to is_member_any(). $memb_hash_ref = are_members_any(
[ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ],
[ qw| abel baker fargo hilton zebra | ]
);
$memb_hash_ref = are_members_any( {
lists => [ \@Al, \@Bob, \@Carmen, \@Don, \@Ed ], # value is arrayref
items => [ qw| abel baker fargo hilton zebra | ], # value is arrayref
} );
1 if the string can be
found in any of the lists and 0 if not. In the example above,
$memb_hash_ref will be:
{
abel => 1,
baker => 1,
fargo => 1,
hilton => 1,
zebra => 0,
};
zebra's value is 0 because zebra is not found in any of the lists
passed as arguments to are_members_any(). $vers = get_version;
What is a seen-hash? A seen-hash is a typical Perl implementation of a
look-up table: a hash where the value for a given element represents the number
of times the element's key is observed in a list. For the purposes of
List::Compare::Functional, what is crucial is whether an item is observed in a
list or not; how many times the item occurs in a list is, with one exception,
irrelevant. (That exception is the get_bag() function and its fraternal
twin get_bag_ref(). In this case only, the key in each element of the
seen-hash is placed in the bag the number of times indicated by the value of
that element.) The value of an element in a List::Compare seen-hash must be
a positive integer, but whether that integer is 1 or 1,000,001 is immaterial for
all List::Compare::Functional functions except forming a bag.
The two lists compared above were represented by arrays; references to those arrays were passed to the various List::Compare::Functional functions. They could, however, have been represented by seen-hashes such as the following and passed in exactly the same manner to the various functions.
%Llist = (
abel => 2,
baker => 1,
camera => 1,
delta => 1,
edward => 1,
fargo => 1,
golfer => 1,
);
%Rlist = (
baker => 1,
camera => 1,
delta => 2,
edward => 1,
fargo => 1,
golfer => 1,
hilton => 1,
);
@intersection = get_intersection( [ \%Llist, \%Rlist ] );
@union = get_union( [ \%Llist, \%Rlist ] );
@complement = get_complement( [ \%Llist, \%Rlist ] );
and so forth.
To compare three or more lists simultaneously, provide the appropriate List::Compare::Functional function with a first array reference holding a list of three or more references to seen-hashes. Thus,
@union = get_intersection( [ \%Alpha, \%Beta, \%Gamma ] );
The 'single hashref' format for List::Compare::Functional functions is also available when passing seen-hashes as arguments. Examples:
@intersection = get_intersection( {
lists => [ \%Alpha, \%Beta, \%Gamma ],
} );
@Ronly = get_complement( {
lists => [ \%Alpha, \%Beta, \%Gamma ],
item => 3,
} );
$LR = is_LsubsetR( {
lists => [ \%Alpha, \%Beta, \%Gamma ],
pair => [ 4, 2 ],
} );
$memb_hash_ref = are_members_any( {
lists => [ \%Alpha, \%Beta, \%Gamma ],
items => [ qw| abel baker fargo hilton zebra | ],
} );
By default, List::Compare::Function functions return lists sorted in Perl's default ASCII-betical mode. Sorting entails a performance cost, and if you do not need a sorted list and do not wish to pay this performance cost, you may call the following List::Compare::Function functions with the 'unsorted' option:
@intersection = get_intersection( '-u', [ \@Llist, \@Rlist ] );
@union = get_union( '-u', [ \@Llist, \@Rlist ] );
@Lonly = get_unique( '-u', [ \@Llist, \@Rlist ] );
@Ronly = get_complement( '-u', [ \@Llist, \@Rlist ] );
@LorRonly = get_symmetric_difference('-u', [ \@Llist, \@Rlist ] );
@bag = get_bag( '-u', [ \@Llist, \@Rlist ] );
For greater readability, the option may be spelled out:
@intersection = get_intersection('--unsorted', [ \@Llist, \@Rlist ] );
or
@intersection = get_intersection( {
unsorted => 1,
lists => [ \@Llist, \@Rlist ],
} );
Should you need a reference to an unsorted list as the return value, you may call the unsorted option as follows:
$intersection_ref = get_intersection_ref(
'-u', [ \@Llist, \@Rlist ] );
$intersection_ref = get_intersection_ref(
'--unsorted', [ \@Llist, \@Rlist ] );
List::Compare::Functional is a non-object-oriented implementation of very common Perl code used to determine interesting relationships between two or more lists at a time. List::Compare::Functional is based on the same author's List::Compare module found in the same CPAN distribution. List::Compare::Functional is closely modeled on the ''Accelerated'' mode in List::Compare.
For a discussion of the antecedents of this module, see the discussion of the history and development of this module in the documentation to List::Compare.
By default, List::Compare::Functional exports no functions. You may import individual functions into your main package but may find it more convenient to import via export tag groups. Four such groups are currently defined:
use List::Compare::Functional qw(:main)
use List::Compare::Functional qw(:mainrefs)
use List::Compare::Functional qw(:originals)
use List::Compare::Functional qw(:aliases)
:main includes what, in the author's opinion, are the six
List::Compare::Functional subroutines mostly likely to be used:
get_intersection()
get_union()
get_unique()
get_complement()
get_symmetric_difference()
is_LsubsetR()
:mainrefs includes five of the six subroutines found in
:main -- all except is_LsubsetR() -- in the form in which they
return references to arrays rather than arrays proper:
get_intersection_ref()
get_union_ref()
get_unique_ref()
get_complement_ref()
get_symmetric_difference_ref()
:originals includes all List::Compare::Functional subroutines
in their 'original' form, i.e., no aliases for those subroutines:
get_intersection
get_intersection_ref
get_union
get_union_ref
get_unique
get_unique_ref
get_unique_all
get_complement
get_complement_ref
get_complement_all
get_symmetric_difference
get_symmetric_difference_ref
get_shared
get_shared_ref
get_nonintersection
get_nonintersection_ref
is_LsubsetR
is_RsubsetL
is_LequivalentR
is_LdisjointR
is_member_which
is_member_which_ref
are_members_which
is_member_any
are_members_any
print_subset_chart
print_equivalence_chart
get_bag
get_bag_ref
:aliases contains all List::Compare::Functional subroutines
which are aliases for subroutines found in tag group :originals. These
are provided simply for less typing.
get_symdiff
get_symdiff_ref
is_LeqvlntR
Note: You can skip this section unless you used List::Compare::Functional prior to the release of Version 0.25 in April 2004.
Version 0.25 initiated a significant change in the interface to this module's various functions. In order to be able to accommodate comparisons among more than two lists, it was necessary to change the type of arguments passed to the various functions. Whereas previously a typical List::Compare::Functional function would be called like this:
@intersection = get_intersection( \@Llist, \@Rlist ); # SUPERSEDED
... now the references to the lists being compared must now be placed within a wrapper array (anonymous or named), a reference to which is now passed to the function, like so:
@intersection = get_intersection( [ \@Llist, \@Rlist ] );
... or, alternatively:
@to_be_compared = (\@Llist, \@Rlist);
@intersection = get_intersection( \@to_be_compared );
In a similar manner, List::Compare::Functional functions could previously take arguments in the form of references to 'seen-hashes' instead of references to arrays:
@intersection = get_intersection( \%h0, \%h1 );
(See above for discussion of seen-hashes.) Now, those references to seen-hashes must be placed within a wrapper array (anonymous or named), a reference to which is passed to the function, like so:
@intersection = get_intersection( [ \%h0, \%h1 ] );
Also, in a similar manner, some List::Compare::Functional functions previously took arguments in addition to the lists being compared. These arguments were simply passed as scalars, like this:
@memb_arr = is_member_which(\@Llist, \@Rlist, 'abel');
Now these arguments must also be placed within a wrapper array (anonymous or named), a reference to which is now passed to the function, like so:
@memb_arr = is_member_which( [ \@Llist, \@Rlist ], [ 'abel' ] );
... or, alternatively:
@to_be_compared = (\@Llist, \@Rlist);
@opts = ( 'abel' );
@memb_arr = is_member_which( \@to_be_compared, \@opts );
As in previous versions, for a speed boost the user may provide the
'-u' or '--unsorted' option as the first argument to some
List::Compare::Functional functions. Using this option, the
get_intersection() function above would appear as:
@intersection = get_intersection( '-u', [ \@Llist, \@Rlist ] );
... or, alternatively:
@intersection = get_intersection( '--unsorted', [ \@Llist, \@Rlist ] );
The arguments to any List::Compare::Functional function will therefore consist possibly of the unsorted option, and then of either one or two references to arrays, the first of which is a reference to an array of arrays or an array of seen-hashes.
James E. Keenan (jkeenan@cpan.org). When sending correspondence, please include 'List::Compare::Functional' or 'List-Compare-Functional' in your subject line.
Creation date: May 20, 2002. Last modification date: June 07, 2008. Copyright (c) 2002-08 James E. Keenan. United States. All rights reserved. This is free software and may be distributed under the same terms as Perl itself.
| List-Compare documentation | Contained in the List-Compare distribution. |
package List::Compare::Functional; #$Id: Functional.pm 1329 2008-06-07 23:49:51Z jimk $ $VERSION = 0.37; @ISA = qw(Exporter); @EXPORT_OK = qw| get_intersection get_intersection_ref get_union get_union_ref get_unique get_unique_ref get_unique_all get_complement get_complement_ref get_complement_all get_symmetric_difference get_symmetric_difference_ref is_LsubsetR is_RsubsetL is_LequivalentR is_LdisjointR is_member_which is_member_which_ref are_members_which is_member_any are_members_any print_subset_chart print_equivalence_chart get_shared get_shared_ref get_nonintersection get_nonintersection_ref get_symdiff get_symdiff_ref is_LeqvlntR get_bag get_bag_ref get_version |; %EXPORT_TAGS = ( main => [ qw( get_intersection get_union get_unique get_complement get_symmetric_difference is_LsubsetR ) ], mainrefs => [ qw( get_intersection_ref get_union_ref get_unique_ref get_complement_ref get_symmetric_difference_ref ) ], originals => [ qw( get_intersection get_intersection_ref get_union get_union_ref get_unique get_unique_ref get_unique_all get_complement get_complement_ref get_complement_all get_symmetric_difference get_symmetric_difference_ref get_shared get_shared_ref get_nonintersection get_nonintersection_ref is_LsubsetR is_RsubsetL is_LequivalentR is_LdisjointR is_member_which is_member_which_ref are_members_which is_member_any are_members_any print_subset_chart print_equivalence_chart get_bag get_bag_ref get_version ) ], aliases => [ qw( get_symdiff get_symdiff_ref is_LeqvlntR ) ], ); use strict; local $^W = 1; use Carp; use List::Compare::Base::_Auxiliary qw( _subset_subengine _chart_engine_multiple _equivalent_subengine _calc_seen1 ); use List::Compare::Base::_Auxiliary qw(:calculate :checker :tester); use List::Compare::Base::_Engine qw( _unique_all_engine _complement_all_engine ); sub get_union { return @{ get_union_ref(@_) }; } sub get_union_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _union_engine(_argument_checker($argref)) : return [ sort @{_union_engine(_argument_checker($argref))} ]; } sub _union_engine { my $seenrefsref = _calc_seen1(@_); my $unionhashref = _calculate_union_only($seenrefsref); return [ keys %{$unionhashref} ]; } sub get_intersection { return @{ get_intersection_ref(@_) }; } sub get_intersection_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _intersection_engine(_argument_checker($argref)) : return [ sort @{_intersection_engine(_argument_checker($argref))} ]; } sub _intersection_engine { my $seenrefsref = _calc_seen1(@_); my $xintersectionref = _calculate_xintersection_only($seenrefsref); my $intersectionref = _calculate_hash_intersection($xintersectionref); return [ keys %{$intersectionref} ]; } sub get_unique { return @{ get_unique_ref(@_) }; } sub get_unique_ref { my ($argref, $unsorted) = _alt_construct_tester_3(@_); $unsorted ? return _unique_engine(_argument_checker_3($argref)) : return [ sort @{_unique_engine(_argument_checker_3($argref))} ]; } sub get_unique_all { my ($argref, $unsorted) = _alt_construct_tester_3(@_); # currently it doesn't appear that &_unique_all_engine can make use of # $unsorted return _unique_all_engine(_argument_checker_3a($argref)); } sub _unique_engine { my $tested = pop(@_); my $seenrefsref = _calc_seen1(@_); my ($seenref, $xintersectionref) = _calculate_seen_xintersection_only($seenrefsref); my %seen = %{$seenref}; my %xintersection = %{$xintersectionref}; # Calculate %xunique my (%xunique); for (my $i = 0; $i <= $#{$seenrefsref}; $i++) { my %seenthis = %{$seen{$i}}; my (@uniquethis, %deductions, %alldeductions); # Get those elements of %xintersection which we'll need # to subtract from %seenthis foreach (keys %xintersection) { my ($left, $right) = split /_/, $_; if ($left == $i || $right == $i) { $deductions{$_} = $xintersection{$_}; } } foreach my $ded (keys %deductions) { foreach (keys %{$deductions{$ded}}) { $alldeductions{$_}++; } } foreach (keys %seenthis) { push(@uniquethis, $_) unless ($alldeductions{$_}); } $xunique{$i} = \@uniquethis; } return [ @{$xunique{$tested}} ]; } sub get_complement { return @{ get_complement_ref(@_) }; } sub get_complement_ref { my ($argref, $unsorted) = _alt_construct_tester_3(@_); $unsorted ? return _complement_engine(_argument_checker_3($argref)) : return [ sort @{_complement_engine(_argument_checker_3($argref))} ]; } sub get_complement_all { my ($argref, $unsorted) = _alt_construct_tester_3(@_); return _complement_all_engine(_argument_checker_3a($argref), $unsorted); } sub _complement_engine { my $tested = pop(@_); my $seenrefsref = _calc_seen1(@_); my ($unionref, $seenref) = _calculate_union_seen_only($seenrefsref); my %seen = %{$seenref}; my @union = keys %{$unionref}; # Calculate %xcomplement # Inputs: $seenrefsref @union %seen my (%xcomplement); for (my $i = 0; $i <= $#{$seenrefsref}; $i++) { my %seenthis = %{$seen{$i}}; my @complementthis = (); foreach (@union) { push(@complementthis, $_) unless (exists $seenthis{$_}); } $xcomplement{$i} = \@complementthis; } return [ @{$xcomplement{$tested}} ]; } sub get_symmetric_difference { return @{ get_symmetric_difference_ref(@_) }; } sub get_symmetric_difference_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _symmetric_difference_engine(_argument_checker($argref)) : return [ sort @{_symmetric_difference_engine(_argument_checker($argref))} ]; } sub _symmetric_difference_engine { my $seenrefsref = _calc_seen1(@_); my ($unionref, $xintersectionref) = _calculate_union_xintersection_only($seenrefsref); my @union = keys %{$unionref}; my $sharedref = _calculate_hash_shared($xintersectionref); my (@symmetric_difference); foreach (@union) { push(@symmetric_difference, $_) unless exists ${$sharedref}{$_}; } return \@symmetric_difference; } *get_symdiff = \&get_symmetric_difference; *get_symdiff_ref = \&get_symmetric_difference_ref; sub get_shared { return @{ get_shared_ref(@_) }; } sub get_shared_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _shared_engine(_argument_checker($argref)) : return [ sort @{_shared_engine(_argument_checker($argref))} ]; } sub _shared_engine { my $seenrefsref = _calc_seen1(@_); # Calculate @shared # Inputs: %xintersection my $xintersectionref = _calculate_xintersection_only($seenrefsref); my $sharedref = _calculate_hash_shared($xintersectionref); my @shared = keys %{$sharedref}; return \@shared; } sub get_nonintersection { return @{ get_nonintersection_ref(@_) }; } sub get_nonintersection_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _nonintersection_engine(_argument_checker($argref)) : return [ sort @{_nonintersection_engine(_argument_checker($argref))} ]; } sub _nonintersection_engine { my $seenrefsref = _calc_seen1(@_); my ($unionref, $xintersectionref) = _calculate_union_xintersection_only($seenrefsref); my @union = keys %{$unionref}; my $intersectionref = _calculate_hash_intersection($xintersectionref); # Calculate nonintersection # Inputs: @union %intersection my (@nonintersection); foreach (@union) { push(@nonintersection, $_) unless exists ${$intersectionref}{$_}; } return \@nonintersection; } sub is_LsubsetR { my $argref = _alt_construct_tester_4(@_); return _is_LsubsetR_engine(_argument_checker_4($argref)); } sub _is_LsubsetR_engine { my $testedref = pop(@_); my $xsubsetref = _subset_engine(@_); return ${$xsubsetref}[${$testedref}[0]][${$testedref}[1]]; } sub is_RsubsetL { my $argref = _alt_construct_tester_4(@_); return _is_RsubsetL_engine(_argument_checker_4($argref)); } sub _is_RsubsetL_engine { my $testedref = pop(@_); my $xsubsetref = _subset_engine(@_); return ${$xsubsetref}[${$testedref}[1]][${$testedref}[0]]; } sub _subset_engine { my $seenrefsref = _calc_seen1(@_); my $xsubsetref = _subset_subengine($seenrefsref); return $xsubsetref; } sub is_LequivalentR { my $argref = _alt_construct_tester_4(@_); return _is_LequivalentR_engine(_argument_checker_4($argref)); } *is_LeqvlntR = \&is_LequivalentR; sub _is_LequivalentR_engine { my $testedref = pop(@_); my $seenrefsref = _calc_seen1(@_); my $xequivalentref = _equivalent_subengine($seenrefsref); return ${$xequivalentref}[${$testedref}[1]][${$testedref}[0]]; } sub is_LdisjointR { my $argref = _alt_construct_tester_4(@_); return _is_LdisjointR_engine(_argument_checker_4($argref)); } sub _is_LdisjointR_engine { my $testedref = pop(@_); my $seenrefsref = _calc_seen1(@_); my $xintersectionref = _calculate_xintersection_only($seenrefsref); my (@xdisjoint); for (my $i = 0; $i <= @{$seenrefsref}; $i++) { foreach (keys %{$xintersectionref}) { my ($left, $right) = split /_/, $_; $xdisjoint[$left][$right] = $xdisjoint[$right][$left] = ! scalar(keys %{${$xintersectionref}{$_}}) ? 1 : 0; } $xdisjoint[$i][$i] = 0; } my $disjoint_status = $xdisjoint[${$testedref}[1]][${$testedref}[0]]; return $disjoint_status; } sub print_subset_chart { my $argref = _alt_construct_tester_5(@_); _print_subset_chart_engine(_argument_checker($argref)); } sub _print_subset_chart_engine { my $seenrefsref = _calc_seen1(@_); my $xsubsetref = _subset_subengine($seenrefsref); my $title = 'Subset'; _chart_engine_multiple($xsubsetref, $title); } sub print_equivalence_chart { my $argref = _alt_construct_tester_5(@_); _print_equivalence_chart_engine(_argument_checker($argref)); } sub _print_equivalence_chart_engine { my $seenrefsref = _calc_seen1(@_); my $xequivalentref = _equivalent_subengine($seenrefsref); my $title = 'Equivalence'; _chart_engine_multiple($xequivalentref, $title); } sub is_member_which { return @{ is_member_which_ref(@_) }; } sub is_member_which_ref { my $argref = _alt_construct_tester_1(@_); return _is_member_which_engine(_argument_checker_1($argref)); } sub _is_member_which_engine { my $arg = pop(@_); my $seenrefsref = _calc_seen1(@_); my $seenref = _calculate_seen_only($seenrefsref); my (@found); foreach (sort keys %{$seenref}) { push @found, $_ if (exists ${$seenref}{$_}{$arg}); } return \@found; } sub is_member_any { my $argref = _alt_construct_tester_1(@_); return _is_member_any_engine(_argument_checker_1($argref)); } sub _is_member_any_engine { my $tested = pop(@_); my $seenrefsref = _calc_seen1(@_); my $seenref = _calculate_seen_only($seenrefsref); my ($k); while ( $k = each %{$seenref} ) { return 1 if (defined ${$seenref}{$k}{$tested}); } return 0; } sub are_members_which { my $argref = _alt_construct_tester_2(@_); return _are_members_which_engine(_argument_checker_2($argref)); } sub _are_members_which_engine { my $testedref = pop(@_); my @tested = @{$testedref}; my $seenrefsref = _calc_seen1(@_); my $seenref = _calculate_seen_only($seenrefsref); my (%found); for (my $i=0; $i<=$#tested; $i++) { my (@not_found); foreach (sort keys %{$seenref}) { exists ${${$seenref}{$_}}{$tested[$i]} ? push @{$found{$tested[$i]}}, $_ : push @not_found, $_; } $found{$tested[$i]} = [] if (@not_found == keys %{$seenref}); } return \%found; } sub are_members_any { my $argref = _alt_construct_tester_2(@_); return _are_members_any_engine(_argument_checker_2($argref)); } sub _are_members_any_engine { my $testedref = pop(@_); my @tested = @{$testedref}; my $seenrefsref = _calc_seen1(@_); my $seenref = _calculate_seen_only($seenrefsref); my (%present); for (my $i=0; $i<=$#tested; $i++) { foreach (keys %{$seenref}) { unless (defined $present{$tested[$i]}) { $present{$tested[$i]} = 1 if ${$seenref}{$_}{$tested[$i]}; } } $present{$tested[$i]} = 0 if (! defined $present{$tested[$i]}); } return \%present; } sub get_bag { return @{ get_bag_ref(@_) }; } sub get_bag_ref { my ($argref, $unsorted) = _alt_construct_tester(@_); $unsorted ? return _bag_engine(_argument_checker($argref)) : return [ sort @{_bag_engine(_argument_checker($argref))} ]; } sub _bag_engine { my @listrefs = @_; my (@bag); if (ref($listrefs[0]) eq 'ARRAY') { foreach my $lref (@listrefs) { foreach my $el (@{$lref}) { push(@bag, $el); } } } else { foreach my $lref (@listrefs) { foreach my $key (keys %{$lref}) { for (my $j=1; $j <= ${$lref}{$key}; $j++) { push(@bag, $key); } } } } return \@bag; } sub get_version { return $List::Compare::Functional::VERSION; } 1; __END__