Compute OPEs and Zhu algebras for vertex operator algebras symbolically.
npx skills add https://github.com/panyw5/skills --skill voa
Please help me install this Agent Skill. Skill: voa Source: https://github.com/panyw5/skills/tree/main/voa Command: npx skills add https://github.com/panyw5/skills --skill voa
This Skill provides a computational framework for analyzing vertex operator algebras (VOAs) by performing symbolic OPE and normal-ordered product calculations, Zhu's C2 algebra, Zhu's algebra, and associated variety constructions, enabling researchers to prototype and verify VOA structures.
Define two basic operators, declare their parity, and compute their OPE with MakeOPE.
High-intent search queries and answers about installing and using this skill.
You can compute OPEs for vertex operator algebras symbolically by defining basic operators, declaring their parity, and using the MakeOPE function within the Python-based pyope-voa engine.
Yes, verifying Jacobi identities and checking associativity relations for complex VOAs is supported through the formal manipulation of VOA identities powered by the pyope-voa engine.
Zhu's C2 algebra is a quotient structure used to study VOA associated varieties. You can calculate it by automating the Zhu's C2 algebra and associated variety computations provided in this framework.
Yes, normal-ordered products and free-field realizations are supported. The framework automates normal-ordered product calculations and enables exploring free-field realizations for VOA structures.
For advanced OPE calculations beyond standard functions, the framework uses OPEdefs.wls alongside the primary pyope-voa Python engine to handle complex vertex operator algebra operations.
parcadeiVerify bounded operators and compute adjoints using Z3 and SymPy.
rainoftimeProve relational parametricity and derive free theorems for polymorphic functions.
diegolinharesPerform vector, distance, angle, and shape calculations in Phaser 4.
Lord1EgyptPerforms symbolic math and exact algebraic, calculus and physics computations.
