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