|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
Operation.minAlg, each map maps
k = {0,..., k-1} one-to-one into n = {0,...,n-1}.
(APPEND this lst) in lisp.
par.
map as
the variable assignment.
alg,
returning a place where it fails
or null if it is true.
alg,
returning the map from variables to ints
where it fails or null if it is true.
b and not below a.
a and not below b.
a and not above b.
a and not above b.
k-permutability, or
null if the algebra does generate a congruence
k-permutable variety.
alg corresponding to this term.
map as
the variable assignment.
beta is join irreducible, this gives its lower
cover; otherwise null.
List algs of Objects as a Set.
script should be the body of the definition
of intValueAt(int[] args).
part so that it is in normal form.
k such that (a,b)
is in the k-fold relational product of par0
and par1, with par0 coming first and
k counting the total occurances of par0
or par1.
permutabilityLevel(a, b, par0, par1)
over all (a, b) in the join.
values.
max and having at
least one entry at least as large as min.
max and having at
least one entry at least as large as min.
elems under the operations.
elems under the operations.
elems under the operations.
elems under the operations.
elems under the operations.
elems under the operations.
elems under the operations.
elems under the operations.