next up previous contents
Next: -wise balance Up: Combinatorial Properties Previous: t-design properties   Contents

$\alpha $-resolvability

A resolution was defined above, but it can be described as a partition of the block multiset of the design into subdesigns, each of which is equireplicate with $r$ = 1. More generally, an $\alpha $-resolution is a partition of the design into subdesigns, each of which is equireplicate with $r = \alpha$.

The element alpha_resolvable is a list of index_flags, which record, for relevant positive values of $\alpha $, whether the property is true, false or unknown.

alpha_resolvable = element alpha_resolvable {
    index_flag +
}



Peter Dobcsanyi 2003-12-15