#include <standardrepk.h>

Inheritance diagram for atlas::standardrepk::qKhatContext:

Collaboration diagram for atlas::standardrepk::qKhatContext:

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_compare &	height_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_equation >	saturate (const std::set< q_equation > &system, level bound)

matrix::Matrix_base< q_CharCoeff >	K_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_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 Types
typedef HashTable< StandardRepK, seq_no >	Hash

Private Member Functions
const q_combin &	equate (seq_no n, const q_combin &rhs)

Private Attributes
StandardRepK::Pooltype	nonfinal_pool

StandardRepK::Pooltype	final_pool

Hash	nonfinals

Hash	finals

std::vector< level >	height_of

graded_compare	height_graded

std::vector< q_combin >	expanded

Member Typedef Documentation

typedef HashTable<StandardRepK,seq_no> atlas::standardrepk::qKhatContext::Hash

private

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
	)

private

level atlas::standardrepk::qKhatContext::height ( seq_no i ) const

inline

const graded_compare& atlas::standardrepk::qKhatContext::height_order ( ) const

inline

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

inline

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

inline

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

private

StandardRepK::Pooltype atlas::standardrepk::qKhatContext::final_pool

private

Hash atlas::standardrepk::qKhatContext::finals

private

graded_compare atlas::standardrepk::qKhatContext::height_graded

private

std::vector<level> atlas::standardrepk::qKhatContext::height_of

private

StandardRepK::Pooltype atlas::standardrepk::qKhatContext::nonfinal_pool

private

Hash atlas::standardrepk::qKhatContext::nonfinals

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 Types

Private Member Functions

Private Attributes

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation