We should look at that closely sometime Reimundo. I have very strong doubts
that it is the category formalism as that really should not be playing any
role in creating and manipulating elements. It only comes into play when
dealing with multiple (distinct) parents. It might also be that you need
There was a very large PR with a full implementation of vertex operator
algebras including some non-linearly generated. It got caught in review, then
the pandemic and then the birth of a baby in the middle of it. That PR got
broken into several pieces, some for LCAs, another for vertex algebras,
Hi,
Sage has a LieConformalAlgebras module which is able to compute OPEs, or
equivalently \lambda-brackets when those brackets close under OPEs. There
isn't, however, a "free" Lie Conformal Algebra which allows for OPEs of
fields build from normally ordered products using the noncommutative Wic
