FUNCTION: isodual - test whether two algebras are dual to one another

CALLING SEQUENCE:
isodual(a,b)

PARAMETERS:
a,b - bound poset algebras

SYNOPSIS:

• isodual(a,b) tests whether the two bound poset algebras a and b are dual to one another.

EXAMPLES:

> p:=critical_alge(7,14);

> q:=dual(p);

> isoalg(p,q);

> isodual(p,q);