Classes | |
class | KLContext |
Typedefs | |
typedef unsigned | KLCoeff |
typedef polynomials::Polynomial< KLCoeff > | KLPol |
typedef std::set< KLPol >::iterator | KLPtr |
typedef std::vector< KLPtr > | KLRow |
typedef unsigned | MuCoeff |
typedef std::pair< size_t, MuCoeff > | MuData |
typedef std::vector< MuData > | MuRow |
Functions | |
void | wGraph (wgraph::WGraph &wg, const KLContext &klc) |
const KLPol | One (0) |
Variables | |
const KLPol | Zero |
const KLCoeff | UndefKLCoeff = std::numeric_limits<KLCoeff>::max() |
const KLCoeff | UndefMuCoeff = std::numeric_limits<MuCoeff>::max() |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|