FUNCTION: ishypercriticale - test for a hypercritical algebra of type E~~

CALLING SEQUENCE:
ishypercriticale(p)

PARAMETERS:
p - a bound poset algebra

SYNOPSIS:

• ishypercriticale(p) tests whether the bound poset algebra p is hypercritical of type E~~. If so, the function will return a pair [n,m], such that p and the algebra given by the call of hypercritical_alge(n,m) have the same frame. Otherwise the value false will be returned.

EXAMPLES:

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

> ishypercriticale(p);

> a:=hypercritical_alge(7,13);

> sameframe(a,p);