Given an incidence structure I (of any type), return the same structure as a "true" incidence structure (i.e., belonging to the category Inc).
Given an incidence structure I (of any type), return the same structure as a near--linear space (i.e., belonging to the category IncNsp), if possible.
Given an incidence structure I (of any type), return the same structure as a linear space (i.e., belonging to the category IncLsp), if possible.
Given an incidence structure I (of any type), return the same structure as a t--design (i.e., belonging to the category Dsgn), if possible.
> I := IncidenceStructure< 8 | {1, 2, 3, 4}, {1, 3, 5, 6}, {1, 4, 7, 8},
> {2, 5, 6, 7}, {2, 5, 7, 8}, {3, 4, 6, 8} >;
> IsDesign(I, 1);
true 3
> IsDesign(I, 2);
false
> D := Design(I, 1);
> D;
1-(8, 4, 3) Design with 6 blocks
> IsSteiner(D, 1);
false
> IsNearLinearSpace(I);
false