atlas  0.6
Public Member Functions | Private Types | Private Member Functions | Private Attributes | List of all members
atlas::standardrepk::qKhatContext Class Reference

#include <standardrepk.h>

Inheritance diagram for atlas::standardrepk::qKhatContext:
Inheritance graph
Collaboration diagram for atlas::standardrepk::qKhatContext:
Collaboration graph

Public Member Functions

 qKhatContext (RealReductiveGroup &G)
seq_no nr_reps () const
StandardRepK rep_no (seq_no i) const
level height (seq_no i) const
const graded_compareheight_order () const
q_combin standardize (const StandardRepK &sr)
q_combin standardize (const q_Char &chi)
q_combin truncate (const q_combin &c, level bound) const
q_equation mu_equation (seq_no, level bound=~0u)
std::vector< q_equationsaturate (const std::set< q_equation > &system, level bound)
matrix::Matrix_base< q_CharCoeffK_type_matrix (std::set< q_equation > &system, level bound, std::vector< seq_no > &reps, matrix::Matrix_base< q_CharCoeff > *direct_p)
q_combin branch (seq_no s, level bound)
std::ostream & print (std::ostream &strm, const q_combin &ch, bool brief=false) const
- Public Member Functions inherited from atlas::standardrepk::SRK_context
 SRK_context (RealReductiveGroup &G)
InnerClass & innerClass () const
const RootDatum & rootDatum () const
const WeylGroup & weylGroup () const
const TwistedWeylGroup & twistedWeylGroup () const
const TitsGroup & titsGroup () const
const TitsCoset & basedTitsGroup () const
const TwistedInvolution involution_of_Cartan (size_t cn) const
const Fiber & fiber (const StandardRepK &sr) const
const KGB & kgb () const
const Cartan_infoinfo (size_t cn) const
const BinaryMapdual_reflection (weyl::Generator i) const
HCParam project (size_t cn, Weight lambda) const
Weight lift (size_t cn, HCParam p) const
Weight theta_lift (size_t cn, HCParam p) const
Weight lift (const StandardRepK &s) const
Weight theta_lift (const StandardRepK &s) const
StandardRepK std_rep (const Weight &two_lambda, TitsElt a) const
StandardRepK std_rep_rho_plus (Weight lambda, TitsElt a) const
StandardRepK KGB_elt_rep (KGBElt z) const
RawRep Levi_rep (Weight lambda, TitsElt a, RankFlags gens) const
bool isStandard (const StandardRepK &sr, size_t &witness) const
bool isNormal (Weight lambda, size_t cn, size_t &witness) const
bool isNormal (const StandardRepK &sr, size_t &witness) const
bool isZero (const StandardRepK &sr, size_t &witness) const
bool isFinal (const StandardRepK &sr, size_t &witness) const
void normalize (StandardRepK &sr) const
q_Char q_normalize_eq (const StandardRepK &sr, size_t witness) const
q_Char q_reflect_eq (const StandardRepK &sr, size_t i, Weight lambda, const Weight &cowt) const
TitsElt titsElt (const StandardRepK &s) const
KGBEltList sub_KGB (const PSalgebra &q) const
PSalgebra theta_stable_parabolic (const StandardRepK &sr, WeylWord &conjugator) const
CharForm K_type_formula (const StandardRepK &sr, level bound=~0u)
q_CharForm q_K_type_formula (const StandardRepK &sr, level bound=~0u)
HechtSchmid HS_id (const StandardRepK &s, RootNbr alpha) const
HechtSchmid back_HS_id (const StandardRepK &s, RootNbr alpha) const
q_Char q_HS_id_eq (const StandardRepK &s, RootNbr alpha) const
level height (const StandardRepK &s) const
level height_bound (const Weight &lambda)
 Lower bound for height of representation after adding positive roots. More...
std::ostream & print (std::ostream &strm, const StandardRepK &sr) const
std::ostream & print (std::ostream &strm, const Char &ch) const
std::ostream & print (std::ostream &strm, const q_Char &ch) const

Private Types

typedef HashTable< StandardRepK, seq_noHash

Private Member Functions

const q_combinequate (seq_no n, const q_combin &rhs)

Private Attributes

StandardRepK::Pooltype nonfinal_pool
StandardRepK::Pooltype final_pool
Hash nonfinals
Hash finals
std::vector< levelheight_of
graded_compare height_graded
std::vector< q_combinexpanded

Member Typedef Documentation

Constructor & Destructor Documentation

atlas::standardrepk::qKhatContext::qKhatContext ( RealReductiveGroup &  G)

Member Function Documentation

q_combin atlas::standardrepk::qKhatContext::branch ( seq_no  s,
level  bound 
const q_combin & atlas::standardrepk::qKhatContext::equate ( seq_no  n,
const q_combin rhs 
level atlas::standardrepk::qKhatContext::height ( seq_no  i) const
const graded_compare& atlas::standardrepk::qKhatContext::height_order ( ) const
matrix::Matrix_base< q_CharCoeff > atlas::standardrepk::qKhatContext::K_type_matrix ( std::set< q_equation > &  system,
level  bound,
std::vector< seq_no > &  reps,
matrix::Matrix_base< q_CharCoeff > *  direct_p 
q_equation atlas::standardrepk::qKhatContext::mu_equation ( seq_no  n,
level  bound = ~0u 
seq_no atlas::standardrepk::qKhatContext::nr_reps ( ) const
std::ostream & atlas::standardrepk::qKhatContext::print ( std::ostream &  strm,
const q_combin ch,
bool  brief = false 
) const
StandardRepK atlas::standardrepk::qKhatContext::rep_no ( seq_no  i) const
std::vector< q_equation > atlas::standardrepk::qKhatContext::saturate ( const std::set< q_equation > &  system,
level  bound 
q_combin atlas::standardrepk::qKhatContext::standardize ( const StandardRepK sr)
q_combin atlas::standardrepk::qKhatContext::standardize ( const q_Char chi)
q_combin atlas::standardrepk::qKhatContext::truncate ( const q_combin c,
level  bound 
) const

Member Data Documentation

std::vector<q_combin> atlas::standardrepk::qKhatContext::expanded
StandardRepK::Pooltype atlas::standardrepk::qKhatContext::final_pool
Hash atlas::standardrepk::qKhatContext::finals
graded_compare atlas::standardrepk::qKhatContext::height_graded
std::vector<level> atlas::standardrepk::qKhatContext::height_of
StandardRepK::Pooltype atlas::standardrepk::qKhatContext::nonfinal_pool
Hash atlas::standardrepk::qKhatContext::nonfinals

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