Index

A

add() (rewalt.diagrams.DiagSet method) (rewalt.ogposets.GrSet method) add_cube() (rewalt.diagrams.DiagSet method) add_simplex() (rewalt.diagrams.DiagSet method) all() (rewalt.ogposets.OgPoset method) all_layerings() (rewalt.shapes.Shape method) ambient (rewalt.diagrams.Diagram property) (rewalt.ogposets.GrSubset property)

arrow() (rewalt.shapes.Shape static method) as_chain (rewalt.ogposets.OgPoset property) as_list (rewalt.ogposets.GrSet property) as_map (rewalt.ogposets.Closed property) as_set (rewalt.ogposets.GrSet property) atom() (rewalt.shapes.Shape static method) atom_inclusion() (rewalt.shapes.Shape method)

B

bot() (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method) boundary() (rewalt.diagrams.Diagram method) (rewalt.ogposets.Closed method) (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method) (rewalt.shapes.Shape method)

boundary_max() (rewalt.ogposets.Closed method) by_dim (rewalt.diagrams.DiagSet property)

C

Closed (class in rewalt.ogposets) closure() (rewalt.ogposets.GrSubset method) co() (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method) coequaliser() (rewalt.ogposets.OgMapPair method) coface_data (rewalt.ogposets.OgPoset property) cofaces() (rewalt.ogposets.OgPoset method) compose() (rewalt.diagrams.DiagSet method) composite (rewalt.diagrams.Diagram property) compositor (rewalt.diagrams.Diagram property) compositors (rewalt.diagrams.DiagSet property)

coproduct() (rewalt.ogposets.OgPoset static method) copy() (rewalt.diagrams.DiagSet method) (rewalt.ogposets.GrSet method) Cube (class in rewalt.shapes) cube() (rewalt.shapes.Shape static method) cube_connection() (rewalt.diagrams.CubeDiagram method) (rewalt.shapes.Cube method) cube_degeneracy() (rewalt.diagrams.CubeDiagram method) (rewalt.shapes.Cube method) cube_face() (rewalt.diagrams.CubeDiagram method) (rewalt.shapes.Cube method) CubeDiagram (class in rewalt.diagrams)

D

degeneracy() (rewalt.diagrams.PointDiagram method) depthgraph (rewalt.strdiags.StrDiag property) Diagram (class in rewalt.diagrams) diagram (rewalt.hasse.Hasse property) DiagSet (class in rewalt.diagrams) difference() (rewalt.ogposets.GrSet method) (rewalt.ogposets.GrSubset method) dim (rewalt.diagrams.Diagram property) (rewalt.diagrams.DiagSet property) (rewalt.ogposets.El property) (rewalt.ogposets.GrSet property) (rewalt.ogposets.GrSubset property) (rewalt.ogposets.OgPoset property) disjoint_union() (rewalt.ogposets.OgPoset static method) draw (class in rewalt.hasse) (class in rewalt.strdiags) draw() (rewalt.diagrams.Diagram method) (rewalt.hasse.Hasse method) (rewalt.shapes.Shape method) (rewalt.shapes.ShapeMap method) (rewalt.strdiags.StrDiag method)

draw_arrow() (rewalt.drawing.DrawBackend method) (rewalt.drawing.MatBackend method) (rewalt.drawing.TikZBackend method) draw_boundaries (class in rewalt.strdiags) draw_boundaries() (rewalt.diagrams.Diagram method) (rewalt.shapes.Shape method) (rewalt.shapes.ShapeMap method) draw_label() (rewalt.drawing.DrawBackend method) (rewalt.drawing.MatBackend method) (rewalt.drawing.TikZBackend method) draw_node() (rewalt.drawing.DrawBackend method) (rewalt.drawing.MatBackend method) (rewalt.drawing.TikZBackend method) draw_wire() (rewalt.drawing.DrawBackend method) (rewalt.drawing.MatBackend method) (rewalt.drawing.TikZBackend method) DrawBackend (class in rewalt.drawing) dual() (rewalt.ogposets.OgMap static method) (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method) (rewalt.shapes.ShapeMap method)

E

El (class in rewalt.ogposets)

empty() (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method)

F

face_data (rewalt.ogposets.OgPoset property) faces() (rewalt.ogposets.OgPoset method)

from_face_data() (rewalt.ogposets.OgPoset class method) fst (rewalt.ogposets.OgMapPair property)

G

generate_layering() (rewalt.diagrams.Diagram method) (rewalt.shapes.Shape method) (rewalt.shapes.ShapeMap method) generators (rewalt.diagrams.DiagSet property) globe() (rewalt.shapes.Shape static method) grades (rewalt.ogposets.GrSet property)

graph (rewalt.strdiags.StrDiag property) gray() (rewalt.ogposets.OgMap static method) (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method) (rewalt.shapes.ShapeMap static method) GrSet (class in rewalt.ogposets) GrSubset (class in rewalt.ogposets)

H

hascomposite (rewalt.diagrams.Diagram property) Hasse (class in rewalt.hasse)

hasse() (rewalt.diagrams.Diagram method) (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method)

I

id() (rewalt.ogposets.OgPoset method) (rewalt.shapes.Shape method) image() (rewalt.ogposets.GrSubset method) (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method) inflate() (rewalt.shapes.Shape method) initial() (rewalt.shapes.Shape method) input (rewalt.diagrams.Diagram property) (rewalt.ogposets.Closed property) (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgPoset property) intersection() (rewalt.ogposets.GrSet method) (rewalt.ogposets.GrSubset method) inv() (rewalt.ogposets.OgMap method) inverse (rewalt.diagrams.Diagram property) invert() (rewalt.diagrams.DiagSet method) isatom (rewalt.shapes.Shape property) iscell (rewalt.diagrams.Diagram property) isclosed (rewalt.ogposets.GrSubset property) iscospan (rewalt.ogposets.OgMapPair property) iscubical (rewalt.diagrams.DiagSet property)

isdefined() (rewalt.ogposets.OgMap method) isdegenerate (rewalt.diagrams.Diagram property) isdisjoint() (rewalt.ogposets.GrSet method) (rewalt.ogposets.GrSubset method) isinjective (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgMapPair property) isinvertiblecell (rewalt.diagrams.Diagram property) isiso (rewalt.ogposets.OgMap property) isparallel (rewalt.ogposets.OgMapPair property) ispure (rewalt.ogposets.Closed property) isround (rewalt.diagrams.Diagram property) (rewalt.ogposets.Closed property) (rewalt.shapes.Shape property) issimplicial (rewalt.diagrams.DiagSet property) isspan (rewalt.ogposets.OgMapPair property) issubset() (rewalt.ogposets.GrSet method) (rewalt.ogposets.GrSubset method) issurjective (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgMapPair property) istotal (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgMapPair property)

J

join() (rewalt.ogposets.OgMap static method) (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method) (rewalt.shapes.ShapeMap static method)

L

labels (rewalt.hasse.Hasse property) layers (rewalt.diagrams.Diagram property) (rewalt.shapes.Shape property) (rewalt.shapes.ShapeMap property)

linvertor (rewalt.diagrams.Diagram property) lunitor() (rewalt.diagrams.Diagram method)

M

make_composite() (rewalt.diagrams.DiagSet method) make_inverses() (rewalt.diagrams.DiagSet method) mapping (rewalt.diagrams.Diagram property) (rewalt.ogposets.OgMap property) MatBackend (class in rewalt.drawing) maximal() (rewalt.ogposets.Closed method) (rewalt.ogposets.OgPoset method) merge() (rewalt.shapes.Shape method)

module rewalt rewalt.diagrams rewalt.drawing rewalt.hasse rewalt.ogposets rewalt.shapes rewalt.strdiags

N

name (rewalt.diagrams.Diagram property) nodes (rewalt.hasse.Hasse property) (rewalt.strdiags.StrDiag property)

none() (rewalt.ogposets.OgPoset method)

O

OgMap (class in rewalt.ogposets) OgMapPair (class in rewalt.ogposets) OgPoset (class in rewalt.ogposets) op() (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgPoset method) output (rewalt.diagrams.Diagram property) (rewalt.ogposets.Closed property) (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgPoset property)

output() (rewalt.drawing.DrawBackend method) (rewalt.drawing.MatBackend method) (rewalt.drawing.TikZBackend method)

P

paste() (rewalt.diagrams.Diagram method) (rewalt.shapes.Shape static method) paste_along() (rewalt.shapes.Shape static method) place_nodes() (rewalt.hasse.Hasse method) place_vertices() (rewalt.strdiags.StrDiag method)

point() (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method) PointDiagram (class in rewalt.diagrams) pos (rewalt.ogposets.El property) pullback() (rewalt.diagrams.Diagram method) pushout() (rewalt.ogposets.OgMapPair method)

R

remove() (rewalt.diagrams.DiagSet method) (rewalt.ogposets.GrSet method) rename() (rewalt.diagrams.Diagram method) rewalt module rewalt.diagrams module rewalt.drawing module rewalt.hasse module rewalt.ogposets module

rewalt.shapes module rewalt.strdiags module rewrite() (rewalt.diagrams.Diagram method) rewrite_steps (rewalt.diagrams.Diagram property) (rewalt.shapes.Shape property) (rewalt.shapes.ShapeMap property) rinvertor (rewalt.diagrams.Diagram property) rotate() (rewalt.drawing.DrawBackend method) runitor() (rewalt.diagrams.Diagram method)

S

Shape (class in rewalt.shapes) shape (rewalt.diagrams.Diagram property) ShapeMap (class in rewalt.shapes) shifted() (rewalt.ogposets.El method) Simplex (class in rewalt.shapes) simplex() (rewalt.shapes.Shape static method) simplex_degeneracy() (rewalt.diagrams.SimplexDiagram method) (rewalt.shapes.Simplex method) simplex_face() (rewalt.diagrams.SimplexDiagram method) (rewalt.shapes.Simplex method)

SimplexDiagram (class in rewalt.diagrams) size (rewalt.ogposets.OgPoset property) snd (rewalt.ogposets.OgMapPair property) source (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgMapPair property) StrDiag (class in rewalt.strdiags) subset() (rewalt.ogposets.Closed static method) support (rewalt.ogposets.GrSubset property) suspend() (rewalt.ogposets.OgPoset static method) (rewalt.shapes.Shape static method)

T

target (rewalt.ogposets.OgMap property) (rewalt.ogposets.OgMapPair property) terminal() (rewalt.shapes.Shape method) then() (rewalt.ogposets.OgMap method) (rewalt.ogposets.OgMapPair method) (rewalt.shapes.ShapeMap method)

theta() (rewalt.shapes.Shape static method) TikZBackend (class in rewalt.drawing) to_gif (class in rewalt.strdiags) to_inputs() (rewalt.diagrams.Diagram method) (rewalt.shapes.Shape method) to_outputs() (rewalt.diagrams.Diagram method) (rewalt.shapes.Shape method)

U

underset() (rewalt.ogposets.OgPoset method) union() (rewalt.ogposets.GrSet method) (rewalt.ogposets.GrSubset method)

unit() (rewalt.diagrams.Diagram method) update() (rewalt.diagrams.DiagSet method)

W

widthgraph (rewalt.strdiags.StrDiag property)

wires (rewalt.strdiags.StrDiag property) with_layers() (rewalt.diagrams.Diagram static method)

Y

yoneda() (rewalt.diagrams.Diagram static method) (rewalt.diagrams.DiagSet static method)