atlas
0.6
|
Functions | |
bool | checkBasePoint (const KGB &) |
void | dualityPermutation (Permutation &, const kl::KLContext &) |
bool | dualityVerify (const kl::KLContext &klc, const kl::KLContext &dual_klc) |
bool atlas::kltest::checkBasePoint | ( | const KGB & | ) |
void atlas::kltest::dualityPermutation | ( | Permutation & | , |
const kl::KLContext & | |||
) |
bool atlas::kltest::dualityVerify | ( | const kl::KLContext & | klc, |
const kl::KLContext & | dual_klc | ||
) |