atlas
0.6
|
#include <repr.h>
Classes | |
class | compare |
Public Types | |
typedef Free_Abelian< StandardRepr, Split_integer, compare > | poly |
Public Member Functions | |
Rep_context (RealReductiveGroup &G) | |
RealReductiveGroup & | realGroup () const |
const InnerClass & | innerClass () const |
const RootDatum & | rootDatum () const |
const WeylGroup & | weylGroup () const |
const TwistedWeylGroup & | twistedWeylGroup () const |
const TitsGroup & | titsGroup () const |
const TitsCoset & | basedTitsGroup () const |
const KGB & | kgb () const |
size_t | rank () const |
const TwistedInvolution | involution_of_Cartan (size_t cn) const |
RatWeight | gamma (KGBElt x, const Weight &lambda_rho, const RatWeight &nu) const |
StandardRepr | sr_gamma (KGBElt x, const Weight &lambda_rho, const RatWeight &gamma) const |
StandardRepr | sr (KGBElt x, const Weight &lambda_rho, const RatWeight &nu) const |
StandardRepr | sr (const standardrepk::StandardRepK &srk, const standardrepk::SRK_context &srkc, const RatWeight &nu) const |
StandardRepr | sr (const param_block &b, BlockElt i) const |
Weight | lambda_rho (const StandardRepr &z) const |
RatWeight | lambda (const StandardRepr &z) const |
RatWeight | nu (const StandardRepr &z) const |
bool | is_standard (const StandardRepr &z, RootNbr &witness) const |
bool | is_zero (const StandardRepr &z, RootNbr &witness) const |
bool | is_final (const StandardRepr &z, RootNbr &witness) const |
bool | is_oriented (const StandardRepr &z, RootNbr alpha) const |
unsigned int | orientation_number (const StandardRepr &z) const |
void | W_act (const WeylWord &w, StandardRepr &z) const |
void | W_act (const WeylWord &w, StandardRepr &z, const SubSystem &subsys) const |
WeylWord | make_dominant (StandardRepr &z) const |
WeylWord | make_dominant (StandardRepr &z, const SubSystem &subsys) const |
RationalList | reducibility_points (const StandardRepr &z) const |
StandardRepr | cross (weyl::Generator s, StandardRepr z) const |
StandardRepr | Cayley (weyl::Generator s, StandardRepr z) const |
StandardRepr | inv_Cayley (weyl::Generator s, StandardRepr z) const |
StandardRepr | twist (StandardRepr z) const |
StandardRepr | cross (const Weight &alpha, StandardRepr z) const |
StandardRepr | any_Cayley (const Weight &alpha, StandardRepr z) const |
compare | repr_less () const |
poly | expand_final (StandardRepr z) const |
std::ostream & | print (std::ostream &, const StandardRepr &z) const |
std::ostream & | print (std::ostream &, const poly &P) const |
Private Attributes | |
RealReductiveGroup & | G |
const KGB & | KGB_set |
typedef Free_Abelian<StandardRepr,Split_integer,compare> atlas::repr::Rep_context::poly |
|
explicit |
StandardRepr atlas::repr::Rep_context::any_Cayley | ( | const Weight & | alpha, |
StandardRepr | z | ||
) | const |
|
inline |
StandardRepr atlas::repr::Rep_context::Cayley | ( | weyl::Generator | s, |
StandardRepr | z | ||
) | const |
StandardRepr atlas::repr::Rep_context::cross | ( | weyl::Generator | s, |
StandardRepr | z | ||
) | const |
StandardRepr atlas::repr::Rep_context::cross | ( | const Weight & | alpha, |
StandardRepr | z | ||
) | const |
SR_poly atlas::repr::Rep_context::expand_final | ( | StandardRepr | z | ) | const |
RatWeight atlas::repr::Rep_context::gamma | ( | KGBElt | x, |
const Weight & | lambda_rho, | ||
const RatWeight & | nu | ||
) | const |
|
inline |
StandardRepr atlas::repr::Rep_context::inv_Cayley | ( | weyl::Generator | s, |
StandardRepr | z | ||
) | const |
const TwistedInvolution atlas::repr::Rep_context::involution_of_Cartan | ( | size_t | cn | ) | const |
bool atlas::repr::Rep_context::is_final | ( | const StandardRepr & | z, |
RootNbr & | witness | ||
) | const |
bool atlas::repr::Rep_context::is_oriented | ( | const StandardRepr & | z, |
RootNbr | alpha | ||
) | const |
bool atlas::repr::Rep_context::is_standard | ( | const StandardRepr & | z, |
RootNbr & | witness | ||
) | const |
bool atlas::repr::Rep_context::is_zero | ( | const StandardRepr & | z, |
RootNbr & | witness | ||
) | const |
|
inline |
RatWeight atlas::repr::Rep_context::lambda | ( | const StandardRepr & | z | ) | const |
Weight atlas::repr::Rep_context::lambda_rho | ( | const StandardRepr & | z | ) | const |
WeylWord atlas::repr::Rep_context::make_dominant | ( | StandardRepr & | z | ) | const |
WeylWord atlas::repr::Rep_context::make_dominant | ( | StandardRepr & | z, |
const SubSystem & | subsys | ||
) | const |
RatWeight atlas::repr::Rep_context::nu | ( | const StandardRepr & | z | ) | const |
unsigned int atlas::repr::Rep_context::orientation_number | ( | const StandardRepr & | z | ) | const |
std::ostream & atlas::repr::Rep_context::print | ( | std::ostream & | str, |
const StandardRepr & | z | ||
) | const |
std::ostream & atlas::repr::Rep_context::print | ( | std::ostream & | str, |
const poly & | P | ||
) | const |
size_t atlas::repr::Rep_context::rank | ( | ) | const |
|
inline |
RationalList atlas::repr::Rep_context::reducibility_points | ( | const StandardRepr & | z | ) | const |
Rep_context::compare atlas::repr::Rep_context::repr_less | ( | ) | const |
|
inline |
|
inline |
StandardRepr atlas::repr::Rep_context::sr | ( | const standardrepk::StandardRepK & | srk, |
const standardrepk::SRK_context & | srkc, | ||
const RatWeight & | nu | ||
) | const |
StandardRepr atlas::repr::Rep_context::sr | ( | const param_block & | b, |
BlockElt | i | ||
) | const |
StandardRepr atlas::repr::Rep_context::sr_gamma | ( | KGBElt | x, |
const Weight & | lambda_rho, | ||
const RatWeight & | gamma | ||
) | const |
|
inline |
StandardRepr atlas::repr::Rep_context::twist | ( | StandardRepr | z | ) | const |
|
inline |
void atlas::repr::Rep_context::W_act | ( | const WeylWord & | w, |
StandardRepr & | z | ||
) | const |
void atlas::repr::Rep_context::W_act | ( | const WeylWord & | w, |
StandardRepr & | z, | ||
const SubSystem & | subsys | ||
) | const |
|
inline |
|
private |
|
private |