galactic.algebras.lattice.renderer#

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

Classes


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.