atlas  0.6
Classes | Public Types | Public Member Functions | Private Attributes | List of all members
atlas::repr::Rep_context Class Reference

#include <repr.h>

Inheritance diagram for atlas::repr::Rep_context:
Inheritance graph
[legend]
Collaboration diagram for atlas::repr::Rep_context:
Collaboration graph
[legend]

Classes

class  compare
 

Public Types

typedef Free_Abelian< StandardRepr, Split_integer, comparepoly
 

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
 

Member Typedef Documentation

typedef Free_Abelian<StandardRepr,Split_integer,compare> atlas::repr::Rep_context::poly

Constructor & Destructor Documentation

atlas::repr::Rep_context::Rep_context ( RealReductiveGroup &  G)
explicit

Member Function Documentation

StandardRepr atlas::repr::Rep_context::any_Cayley ( const Weight alpha,
StandardRepr  z 
) const
const TitsCoset& atlas::repr::Rep_context::basedTitsGroup ( ) 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
const InnerClass& atlas::repr::Rep_context::innerClass ( ) 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
const KGB& atlas::repr::Rep_context::kgb ( ) 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
RealReductiveGroup& atlas::repr::Rep_context::realGroup ( ) const
inline
RationalList atlas::repr::Rep_context::reducibility_points ( const StandardRepr z) const
Rep_context::compare atlas::repr::Rep_context::repr_less ( ) const
const RootDatum& atlas::repr::Rep_context::rootDatum ( ) const
inline
StandardRepr atlas::repr::Rep_context::sr ( KGBElt  x,
const Weight lambda_rho,
const RatWeight nu 
) const
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
const TitsGroup& atlas::repr::Rep_context::titsGroup ( ) const
inline
StandardRepr atlas::repr::Rep_context::twist ( StandardRepr  z) const
const TwistedWeylGroup& atlas::repr::Rep_context::twistedWeylGroup ( ) 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
const WeylGroup& atlas::repr::Rep_context::weylGroup ( ) const
inline

Member Data Documentation

RealReductiveGroup& atlas::repr::Rep_context::G
private
const KGB& atlas::repr::Rep_context::KGB_set
private

The documentation for this class was generated from the following files: