status for release 1.0

Leonard Soicher l.h.soicher at qmul.ac.uk
Tue Oct 14 10:32:44 BST 2003


On Fri, Oct 10, 2003 at 02:08:46PM +0100, Peter Cameron wrote:
[...]
> It is much cheaper to test whether a design is affine resolvable than
> to test whether it is resolvable! (So much for atomic indicators.) If
> any two blocks meet in 0 or mu points, then just test whether "equal or
> meet in 0 points" is an equivalence relation on blocks.
>  

Good point! Of course if this is an equivalence relation one must 
then check whether each equivalence class covers all points. 

I now propose that there is no need for the "flag" attribute
for <affine_resolvable> to ever take the value "unknown".

Regards,  Leonard





More information about the Developers mailing list