Is there a simple/efficient way of enumerating the elements of a free distributive lattice?
(I'm doing some computations with them, and listing their elements in what's probably the least efficient way possible...)
Is there a simple/efficient way of enumerating the elements of a free distributive lattice?
(I'm doing some computations with them, and listing their elements in what's probably the least efficient way possible...)