Matplotlib#

class discopy.drawing.backend.Matplotlib(axis=None, figsize=None, linewidth=1)[source]#

Bases: Backend

Matplotlib drawing backend.

draw_regions(graph, **params)[source]#

Fill the coloured 0-cell regions of the diagram.

draw_legend(graph, **params)[source]#

Add a legend mapping each region colour to its label.