Commit 2024-07-16 01:36 45480767

fix (Algebra/Vertex/HVertexOperator): rm defeq abuse in coeff function (#13422) The coefficient function for heterogeneous vertex operators currently uses the HahnSeries coefficient function on a Hahn module, which is a type alias. This PR makes the use of the equivalence explicit. Also, we add a HVertexOperator namespace so various standard functions have cleaner names.