FUNCTION: ishypercriticald - test for a hypercritical algebra of type D~~

CALLING SEQUENCE:
ishypercriticald(p)

PARAMETERS:
p - a bound poset algebra

SYNOPSIS:

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

EXAMPLES:

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

> ishypercriticald(p);

> a:=hypercritical_algd(4,2);

> sameframe(a,p);