atlas
0.6
|
#include <involutions.h>
Classes | |
class | mapper |
struct | record |
Public Member Functions | |
InvolutionTable (const RootDatum &, const WeightInvolution &, const TwistedWeylGroup &) | |
size_t | size () const |
bool | unseen (const TwistedInvolution &tw) const |
InvolutionNbr | nr (const TwistedInvolution &tw) const |
unsigned int | semisimple_rank () const |
const weyl::TI_Entry & | involution (InvolutionNbr n) const |
const WeightInvolution & | matrix (InvolutionNbr n) const |
const WeightInvolution & | matrix (const TwistedInvolution &tw) const |
unsigned int | length (InvolutionNbr n) const |
unsigned int | Weyl_length (InvolutionNbr n) const |
unsigned int | length (const TwistedInvolution &tw) const |
unsigned int | Weyl_length (const TwistedInvolution &tw) const |
const Permutation & | root_involution (InvolutionNbr n) const |
RootNbr | root_involution (InvolutionNbr n, RootNbr alpha) const |
const RootNbrSet & | imaginary_roots (InvolutionNbr n) const |
const RootNbrSet & | real_roots (InvolutionNbr n) const |
const RootNbrSet & | complex_roots (InvolutionNbr n) const |
size_t | imaginary_rank (InvolutionNbr n) const |
const RootNbrList & | imaginary_basis (InvolutionNbr n) const |
RootNbr | imaginary_basis (InvolutionNbr n, weyl::Generator i) const |
size_t | real_rank (InvolutionNbr n) const |
const RootNbrList & | real_basis (InvolutionNbr n) const |
RootNbr | real_basis (InvolutionNbr n, weyl::Generator i) const |
bool | is_complex_simple (InvolutionNbr n, weyl::Generator s) const |
bool | is_imaginary_simple (InvolutionNbr n, weyl::Generator s) const |
bool | is_real_simple (InvolutionNbr n, weyl::Generator s) const |
bool | is_complex_descent (InvolutionNbr n, RootNbr alpha) const |
void | reduce (TitsElt &a) const |
const SmallSubspace & | mod_space (InvolutionNbr n) const |
bool | equivalent (const TorusElement &t1, const TorusElement &t2, InvolutionNbr i) const |
RatWeight | fingerprint (const TorusElement &t, InvolutionNbr i) const |
y_entry | pack (const TorusElement &t, InvolutionNbr i) const |
KGB_elt_entry | x_pack (const GlobalTitsElement &x) const |
bool | x_equiv (const GlobalTitsElement &x0, const GlobalTitsElement &x1) const |
void | real_unique (InvolutionNbr i, RatWeight &y) const |
TorusPart | pack (InvolutionNbr i, const Weight &lambda_rho) const |
Weight | unpack (InvolutionNbr i, TorusPart y_part) const |
mapper | as_map () const |
InvolutionNbr | add_involution (const TwistedInvolution &tw) |
InvolutionNbr | add_cross (weyl::Generator s, InvolutionNbr n) |
void | reserve (size_t s) |
Public Attributes | |
const RootDatum & | rd |
const WeightInvolution & | delta |
const TwistedWeylGroup & | tW |
Private Attributes | |
weyl::TI_Entry::Pooltype | pool |
HashTable< weyl::TI_Entry, InvolutionNbr > | hash |
std::vector< record > | data |
std::vector< BinaryMap > | torus_simple_reflection |
atlas::involutions::InvolutionTable::InvolutionTable | ( | const RootDatum & | r, |
const WeightInvolution & | d, | ||
const TwistedWeylGroup & | t | ||
) |
InvolutionNbr atlas::involutions::InvolutionTable::add_cross | ( | weyl::Generator | s, |
InvolutionNbr | n | ||
) |
InvolutionNbr atlas::involutions::InvolutionTable::add_involution | ( | const TwistedInvolution & | tw | ) |
|
inline |
|
inline |
bool atlas::involutions::InvolutionTable::equivalent | ( | const TorusElement & | t1, |
const TorusElement & | t2, | ||
InvolutionNbr | i | ||
) | const |
RatWeight atlas::involutions::InvolutionTable::fingerprint | ( | const TorusElement & | t, |
InvolutionNbr | i | ||
) | const |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
bool atlas::involutions::InvolutionTable::is_complex_descent | ( | InvolutionNbr | n, |
RootNbr | alpha | ||
) | const |
bool atlas::involutions::InvolutionTable::is_complex_simple | ( | InvolutionNbr | n, |
weyl::Generator | s | ||
) | const |
bool atlas::involutions::InvolutionTable::is_imaginary_simple | ( | InvolutionNbr | n, |
weyl::Generator | s | ||
) | const |
bool atlas::involutions::InvolutionTable::is_real_simple | ( | InvolutionNbr | n, |
weyl::Generator | s | ||
) | const |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
y_entry atlas::involutions::InvolutionTable::pack | ( | const TorusElement & | t, |
InvolutionNbr | i | ||
) | const |
TorusPart atlas::involutions::InvolutionTable::pack | ( | InvolutionNbr | i, |
const Weight & | lambda_rho | ||
) | const |
|
inline |
|
inline |
|
inline |
|
inline |
void atlas::involutions::InvolutionTable::real_unique | ( | InvolutionNbr | i, |
RatWeight & | y | ||
) | const |
void atlas::involutions::InvolutionTable::reduce | ( | TitsElt & | a | ) | const |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Weight atlas::involutions::InvolutionTable::unpack | ( | InvolutionNbr | i, |
TorusPart | y_part | ||
) | const |
|
inline |
|
inline |
|
inline |
bool atlas::involutions::InvolutionTable::x_equiv | ( | const GlobalTitsElement & | x0, |
const GlobalTitsElement & | x1 | ||
) | const |
KGB_elt_entry atlas::involutions::InvolutionTable::x_pack | ( | const GlobalTitsElement & | x | ) | const |
|
private |
const WeightInvolution& atlas::involutions::InvolutionTable::delta |
|
private |
|
private |
const RootDatum& atlas::involutions::InvolutionTable::rd |
|
private |
const TwistedWeylGroup& atlas::involutions::InvolutionTable::tW |