![]() |
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 |
1.8.11