galactic.algebras.lattice.renderer

galactic.algebras.lattice.renderer#

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

Classes

class ReducedContextDiagram[_E: Element](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[TypeVar, TypeVar]

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]

model_config: ClassVar[ConfigDict] = {'validate_assignment': True}#

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class ReducedContextDiagramDrawer(*, graph_renderer=<galactic.algebras.lattice.renderer.ReducedContextDiagramRenderer object>, domain_renderer=<galactic.algebras.relational.renderer.NodeRenderer object>, co_domain_renderer=<galactic.algebras.relational.renderer.NodeRenderer[TypeVar, TypeVar] object>, edge_renderer=<galactic.algebras.relational.renderer.EdgeRenderer object>)#

Bases: SagittalDiagramDrawer[TypeVar, TypeVar]

Draws sagittal diagrams for reduced lattice contexts.

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

model_config: ClassVar[ConfigDict] = {'validate_assignment': True}#

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].