FUNCTION: complsep - test for a completely separating bound poset algebra

CALLING SEQUENCE:
complsep(p)

PARAMETERS:
p - a bound poset algebra

SYNOPSIS:

• complsep(p) tests whether the bound poset algebra p is completely separating.

EXAMPLES:

> p:=[4,{[1,2,3],[4,2,3]}];

> complsep(p);

> p:=[8,{[2, 1, 3, 7], [4, 1], [5, 2], [6, 2, 4], [7, 8]},{[6, 3], [5, 1]}];

> complsep(p);