Spider

Contents

Spider#

class discopy.tensor.Spider(name=None, dom=None, cod=None, data=None, *args, **kwargs)[source]#

Bases: discopy.frobenius.Spider, Box

A tensor spider is a frobenius spider in a tensor diagram.

Parameters:

  • n_legs_in (int) – The number of legs in.

  • n_legs_out (int) – The number of legs out.

  • typ (Dim) – The dimension of the spider.

  • data – The phase of the spider.

  • dom (T) –

  • cod (T) –

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.drawing import Equation
>>> Equation(vector >> spider, vector @ vector).draw(
...     path='docs/_static/tensor/frobenius-example.png', figsize=(3, 2))
../_images/frobenius-example.png
Contents