π Lattices#
Defines types for representing lattices. |
|
Defines classes for visualizing reduced context diagrams in a lattice algebra context. |
|
Defines classes and function for performing basic arithmetic operations. |
|
Defines the renderer for prime factorization in a lattice algebra context. |
|
Defines a simple partially ordered set of colors. |
|
Defines a color renderer for visualizing colors in a lattice structure. |