FUNCTION: tpe_test - test for completely separating tame poset algebras containing E^~₆, E^~₇ or E^~₈

CALLING SEQUENCE:
tpe_test(p)

PARAMETERS:
p - a bound poset algebra

SYNOPSIS:

• tpe_test(p) tests whether the bound poset algebra p is a completely separating tame poset algebras containing a full convex proper subalgebra tame concealed of type E^~₆, E^~₇ or E^~₈. If so, the function will return a pair [n,m] such that p and the algebra given by the call of tpe_alg(n,m) have the same frame. Otherwise the value false will be returned.

EXAMPLES:

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

> tpe_test(p);