#include <standardrepk.h>

Inheritance diagram for atlas::standardrepk::SRK_context:

Collaboration diagram for atlas::standardrepk::SRK_context:

Public Member Functions
	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_info &	info (size_t cn) const

const BinaryMap &	dual_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 Member Functions
RawChar	KGB_sum (const PSalgebra &q, const Weight &lambda) const

Raw_q_Char	q_KGB_sum (const PSalgebra &q, const Weight &lambda) const

const proj_info &	get_projection (RankFlags gens)

Private Attributes
RealReductiveGroup &	G

BitMap	Cartan_set

std::vector< Cartan_info >	C_info

std::vector< BinaryMap >	simple_reflection_mod_2

bitset_entry::Pooltype	proj_pool

HashTable< bitset_entry, unsigned int >	proj_sets

std::vector< proj_info >	proj_data

Constructor & Destructor Documentation

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

Member Function Documentation

HechtSchmid atlas::standardrepk::SRK_context::back_HS_id	(	const StandardRepK &	s,
		RootNbr	alpha
	)		const

const TitsCoset& atlas::standardrepk::SRK_context::basedTitsGroup ( ) const

inline

const BinaryMap& atlas::standardrepk::SRK_context::dual_reflection ( weyl::Generator i ) const

inline

const Fiber& atlas::standardrepk::SRK_context::fiber ( const StandardRepK & sr ) const

inline

const proj_info & atlas::standardrepk::SRK_context::get_projection ( RankFlags gens )

private

level atlas::standardrepk::SRK_context::height ( const StandardRepK & s ) const

Returns the sum of absolute values of the scalar products of $(1+theta)$ and the positive coroots. This gives a Weyl group invariant limit on the size of the weights that will be needed.

level atlas::standardrepk::SRK_context::height_bound ( const Weight & lambda )

Lower bound for height of representation after adding positive roots.

HechtSchmid atlas::standardrepk::SRK_context::HS_id	(	const StandardRepK &	s,
		RootNbr	alpha
	)		const

const Cartan_info& atlas::standardrepk::SRK_context::info ( size_t cn ) const

inline

InnerClass& atlas::standardrepk::SRK_context::innerClass ( ) const

inline

const TwistedInvolution atlas::standardrepk::SRK_context::involution_of_Cartan ( size_t cn ) const

inline

bool atlas::standardrepk::SRK_context::isFinal	(	const StandardRepK &	sr,
		size_t &	witness
	)		const

bool atlas::standardrepk::SRK_context::isNormal	(	Weight	lambda,
		size_t	cn,
		size_t &	witness
	)		const

bool atlas::standardrepk::SRK_context::isNormal	(	const StandardRepK &	sr,
		size_t &	witness
	)		const

inline

bool atlas::standardrepk::SRK_context::isStandard	(	const StandardRepK &	sr,
		size_t &	witness
	)		const

bool atlas::standardrepk::SRK_context::isZero	(	const StandardRepK &	sr,
		size_t &	witness
	)		const

CharForm atlas::standardrepk::SRK_context::K_type_formula	(	const StandardRepK &	sr,
		level	bound = `~0u`
	)

const KGB& atlas::standardrepk::SRK_context::kgb ( ) const

inline

StandardRepK atlas::standardrepk::SRK_context::KGB_elt_rep ( KGBElt z ) const

RawChar atlas::standardrepk::SRK_context::KGB_sum	(	const PSalgebra &	q,
		const Weight &	lambda
	)		const

private

RawRep atlas::standardrepk::SRK_context::Levi_rep	(	Weight	lambda,
		TitsElt	a,
		RankFlags	gens
	)		const

Weight atlas::standardrepk::SRK_context::lift	(	size_t	cn,
		HCParam	p
	)		const

Weight atlas::standardrepk::SRK_context::lift ( const StandardRepK & s ) const

inline

void atlas::standardrepk::SRK_context::normalize ( StandardRepK & sr ) const

std::ostream & atlas::standardrepk::SRK_context::print	(	std::ostream &	strm,
		const StandardRepK &	sr
	)		const

std::ostream & atlas::standardrepk::SRK_context::print	(	std::ostream &	strm,
		const Char &	ch
	)		const

std::ostream & atlas::standardrepk::SRK_context::print	(	std::ostream &	strm,
		const q_Char &	ch
	)		const

HCParam atlas::standardrepk::SRK_context::project	(	size_t	cn,
		Weight	lambda
	)		const

q_Char atlas::standardrepk::SRK_context::q_HS_id_eq	(	const StandardRepK &	s,
		RootNbr	alpha
	)		const

q_CharForm atlas::standardrepk::SRK_context::q_K_type_formula	(	const StandardRepK &	sr,
		level	bound = `~0u`
	)

Raw_q_Char atlas::standardrepk::SRK_context::q_KGB_sum	(	const PSalgebra &	q,
		const Weight &	lambda
	)		const

private

q_Char atlas::standardrepk::SRK_context::q_normalize_eq	(	const StandardRepK &	sr,
		size_t	witness
	)		const

q_Char atlas::standardrepk::SRK_context::q_reflect_eq	(	const StandardRepK &	sr,
		size_t	i,
		Weight	lambda,
		const Weight &	cowt
	)		const

const RootDatum& atlas::standardrepk::SRK_context::rootDatum ( ) const

inline

StandardRepK atlas::standardrepk::SRK_context::std_rep	(	const Weight &	two_lambda,
		TitsElt	a
	)		const

StandardRepK atlas::standardrepk::SRK_context::std_rep_rho_plus	(	Weight	lambda,
		TitsElt	a
	)		const

inline

KGBEltList atlas::standardrepk::SRK_context::sub_KGB ( const PSalgebra & q ) const

Weight atlas::standardrepk::SRK_context::theta_lift	(	size_t	cn,
		HCParam	p
	)		const

inline

Weight atlas::standardrepk::SRK_context::theta_lift ( const StandardRepK & s ) const

inline

PSalgebra atlas::standardrepk::SRK_context::theta_stable_parabolic	(	const StandardRepK &	sr,
		WeylWord &	conjugator
	)		const

TitsElt atlas::standardrepk::SRK_context::titsElt ( const StandardRepK & s ) const

inline

const TitsGroup& atlas::standardrepk::SRK_context::titsGroup ( ) const

inline

const TwistedWeylGroup& atlas::standardrepk::SRK_context::twistedWeylGroup ( ) const

inline

const WeylGroup& atlas::standardrepk::SRK_context::weylGroup ( ) const

inline

Member Data Documentation

std::vector<Cartan_info> atlas::standardrepk::SRK_context::C_info

private

BitMap atlas::standardrepk::SRK_context::Cartan_set

private

RealReductiveGroup& atlas::standardrepk::SRK_context::G

private

std::vector<proj_info> atlas::standardrepk::SRK_context::proj_data

private

bitset_entry::Pooltype atlas::standardrepk::SRK_context::proj_pool

private

HashTable<bitset_entry,unsigned int> atlas::standardrepk::SRK_context::proj_sets

private

std::vector<BinaryMap> atlas::standardrepk::SRK_context::simple_reflection_mod_2

private

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

/home/ran/atlas_project/latest_branch_07182016/sources/gkmod/standardrepk.h
/home/ran/atlas_project/latest_branch_07182016/sources/gkmod/standardrepk.cpp

Public Member Functions

Private Member Functions

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation