[Axiom-mail] lattice graph program

[root]

All,

The Axiom type lattice is 20 layers deep (so far) and has roughly 800
of the >1000 domains classified. It is actually a graph rather than a
lattice as there are cycles (which have been flattened). We need to
check the correctness of the lattice once the algebra compiles. Does
anyone know of a program that can graph such a lattice?

Tim Daly
address@hidden