Bug in tensor.Tensor.copy

[y-richie-y]

from discopy import *
spider = markov.Diagram.copy(markov.Ty('n'), 2)
func = tensor.Functor(ob={markov.Ty('n'): tensor.Dim(3)}, ar={}, dom=markov.Category())

func(spider)

    338 @classmethod
    339 def copy(cls, x: int, n: int) -> Matrix:
    340     array = [[i + int(j % n * x) == j
--> 341               for j in range(n * x)] for i in range(x)]
    342     return cls(array, x, n * x)

TypeError: 'Dim' object cannot be interpreted as an integer

The type signature of tensor.Tensor.copy is def copy(cls, x: int, n: int) -> Matrix:, maybe it should be def copy(cls, x: Dim, n: int) -> Matrix: instead?

[y-richie-y]

Nice!