sources/headers/algHF.h file

declares the HF algebra from OzSzPingPong

The universal cobordism category is implemented as a category in terms of objects (CobObj) and morphisms between them (CobMor, Deco).


template<typename Coeff>
class algHF
morphism in the cobordism category


using KS = std::vector<bool>
container type for Kauffman states: the $i^\text{th}$ entry is true iff the $i^\text{th}$ component is a solid dot •.