Expand description
Computing and stocking operators of the flag algebra.
Structs§
- Basis
- Identifier for the set of flags with given size and type (in the sense of a labeled subgraph).
- Invariant
Classes - MulAnd
Unlabel - Reduced
ByInvariant - Split
Count - Operator used for flag multiplication .get() returns a vector of matrices M where M[i][j, k] is the number of ways to split i into j and k
- Subflag
Count - .get() gives a matrix M where M[i,j] is the number of copies of i in j
- Type
- Type (or root) of a flag. It is identified by its size and its id in the list of flags of that size.
- Unlabel
- Unlabeling
- Let F be the flag indexed by id on basis basis
this represents the unlabeling opearation that
sends the type
fully_typed(F)to the flagF
Traits§
- Savable
- A trait for flag operators that can be saved in a file once computed for the first time.