galactic.algebras.lattice.renderer

Defines classes for visualizing reduced context diagrams in a lattice algebra context.

Classes

• ReducedContextDiagramDrawer

• ReducedContextDiagramRenderer

• ReducedContextDiagram

---

class ReducedContextDiagram(relation, drawer)

Bases: SagittalDiagram[_E, _E]

Draws sagittal diagrams for reduced lattice contexts.

Useful for visualizing reduced context diagrams of lattices in Jupyter notebooks.

class ReducedContextDiagramRenderer

Bases: SagittalDiagramRenderer[_E, _E]

Renders Graphviz attributes for a reduced context diagram.

Notes

See http://www.graphviz.org/doc/info/attrs.html for available attributes.

graph_attributes()

Return the Graphviz attributes for the diagram.

Returns:

A dictionary of Graphviz attributes

Return type:

dict[str, str]

class ReducedContextDiagramDrawer(*, graph_renderer=<factory>, domain_renderer=<factory>, co_domain_renderer=<factory>, edge_renderer=<factory>)

Bases: SagittalDiagramDrawer[_E, _E]

Draws sagittal diagrams for reduced lattice contexts.

Useful for visualizing reduced context diagrams of lattices in Jupyter notebooks.