Spider#

class discopy.tensor.Spider(n_legs_in, n_legs_out, dim)[source]#

Bases: Spider, Box

Spider box.

Parameters:

  • n_legs_in (int) – Number of legs in and out.

  • n_legs_out (int) – Number of legs in and out.

  • dim (int) – Dimension for each leg.

Examples

>>> vector = Box('vec', Dim(1), Dim(2), [0, 1])
>>> spider = Spider(1, 2, dim=2)
>>> assert (vector >> spider).eval() == (vector @ vector).eval()
>>> from discopy import drawing
>>> drawing.equation(vector >> spider, vector @ vector, figsize=(3, 2),\
... path='docs/_static/imgs/tensor/frobenius-example.png')
../_images/frobenius-example.png