"Source: Text/Incidence/Design.text";
"Line: 1904";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Design.text, line: 1904
// Example: H160E8 ()
print "Example: H160E8";
ei := GetEchoInput();
SetEchoInput(true);
D := IncidenceStructure< 6 | {1,2,3}, {4,5,6}, {1,3,4}, {2,5,6}>;
bool, R, lambda := HasResolution(D);
bool;
assert $1;
R;
lambda;
assert $1 eq 2;
HasResolution(D,2);
AllResolutions(D);
HasParallelism(D);
V := PointSet(D);
S := { PowerSet(PowerSet(V)) | 
       { {1, 2, 3}, {4, 5, 6} }, { {1, 3, 4}, {2, 5, 6} } };
IsParallelism(D, S);
assert $1;
B := BlockSet(D);
S := { { B.1, B.2 }, {B.3, B.4 }};
IsParallelism(D, S);
assert $1;
AllParallelClasses(D);
SetEchoInput(ei);
