discopy icon indicating copy to clipboard operation
discopy copied to clipboard

Missing `Sum` classes in syntax modules

Open y-richie-y opened this issue 1 year ago • 1 comments

Sum classes are missing in the following syntax modules:

  • traced
  • pivotal
  • ribbon
  • compact
  • frobenius
from discopy import *

f = traced.Box('f', markov.Ty('a'), markov.Ty('a'))
dub1 = traced.Functor(ob=lambda x: x, ar=lambda x: x >> x)
dub2 = traced.Functor(ob=lambda x: x, ar=lambda x: x + x)

dub1(f) # works
dub2(f) # fails

y-richie-y avatar Jul 29 '23 12:07 y-richie-y

There were missing Sum classes in some of the modules. I've added the ones up to markov but I'll rename this issue to deal with the rest.

toumix avatar Jul 29 '23 13:07 toumix