PCA struct

Wrapper class for some precomputed data needed for the multiplication of CobMor.

Public static variables

static std::vector<std::vector<std::vector<size_t>>> addCap
static std::vector<std::vector<std::vector<size_t>>> addCup
x = addCup[i][j][k]: gens[i][j].AddCup(k)=gens[i-1][x]
static std::vector<std::vector<std::vector<bool>>> addCupGCC
addCupGCC[i][j][k] = gens[i][j].AddCupGivesClosedComponent(k)
static std::vector<std::vector<Arcs>> gens
static std::vector<std::vector<std::pair<Dots, int>>> vec
the ith entry is a pair, whose first element is a list of all possible instances of Dots of length i, except the instance with 1 in all entries, and whose second element is equal to the number of 1s in this vector;

Variable documentation

static std::vector<std::vector<std::vector<size_t>>> PCA::addCap

x = addCupGen[i][j][k]: gens[i][j].AddCap(k)=gens[i+1][x]
always one shorter than gens and addCupGCC

static std::vector<std::vector<Arcs>> PCA::gens

generators first index: number of tangle strands second index: arcs representing 0-n tangles