atlas  0.6
Classes | Public Member Functions | Private Member Functions | Private Attributes | List of all members
atlas::innerclass::InnerClass Class Reference

#include <innerclass.h>

Collaboration diagram for atlas::innerclass::InnerClass:
Collaboration graph
[legend]

Classes

struct  C_info
 

Public Member Functions

 InnerClass (const PreRootDatum &, const WeightInvolution &)
 
 InnerClass (const RootDatum &, const WeightInvolution &)
 
 InnerClass (const InnerClass &, tags::DualTag)
 
 InnerClass (const InnerClass &)=delete
 
InnerClassoperator= (const InnerClass &)=delete
 
void swap (InnerClass &G)=delete
 
 ~InnerClass ()
 
const RootDatum & rootDatum () const
 
const RootDatum & dualRootDatum () const
 
const RootSystem & rootSystem () const
 
const RootSystem & dualRootSystem () const
 
size_t rank () const
 
size_t semisimpleRank () const
 
const WeylGroup & weylGroup () const
 
const TwistedWeylGroup & twistedWeylGroup () const
 
const TwistedWeylGroup & dualTwistedWeylGroup () const
 
const TitsGroup & titsGroup () const
 
const TitsGroup & dualTitsGroup () const
 
const Cartan_orbits & involution_table () const
 
Permutation simple_twist () const
 
RankFlags simple_roots_imaginary () const
 
RankFlags simple_roots_real () const
 
const Permutation & root_involution () const
 
RootNbr twisted_root (RootNbr alpha) const
 
const poset::PosetCartan_ordering () const
 
const WeightInvolutiondistinguished () const
 
const CoweightInvolutiondualDistinguished () const
 
CartanNbr numCartanClasses () const
 
RealFormNbr numRealForms () const
 
RealFormNbr numDualRealForms () const
 
InvolutionNbr numInvolutions () const
 
unsigned long global_KGB_size () const
 
RealFormNbr quasisplit () const
 
RealFormNbr numRealForms (CartanNbr cn) const
 
RealFormNbr numDualRealForms (CartanNbr cn) const
 
const BitMap & real_forms (CartanNbr cn) const
 
const BitMap & dual_real_forms (CartanNbr cn) const
 
const TwistedInvolution & involution_of_Cartan (CartanNbr cn) const
 
const CartanClass & cartan (CartanNbr cn) const
 
InvolutionNbr numInvolutions (const BitMap &Cartan_classes) const
 
BitMap Cartan_set (RealFormNbr rf) const
 
BitMap dual_Cartan_set (RealFormNbr drf) const
 
CartanNbr mostSplit (RealFormNbr rf) const
 
RootNbrSet noncompactRoots (RealFormNbr rf) const
 
RootNbrSet parity_coroots (RealFormNbr drf) const
 
unsigned long KGB_size (RealFormNbr rf) const
 
unsigned long KGB_size (RealFormNbr rf, const BitMap &Cartan_classes) const
 
RankFlags simple_roots_x0_compact (RealFormNbr rf) const
 
cartanclass::square_class xi_square (RealFormNbr rf) const
 
RealFormNbr square_class_repr (cartanclass::square_class csc) const
 
TorusPart x0_torus_part (RealFormNbr rf) const
 
containers::sl_list< TorusPart > central_fiber (RealFormNbr rf) const
 
unsigned long block_size (RealFormNbr rf, RealFormNbr drf) const
 
unsigned long block_size (RealFormNbr rf, RealFormNbr drf, const BitMap &Cartan_classes) const
 
cartanclass::StrongRealFormRep sample_strong_form (RealFormNbr rf) const
 
unsigned long fundamental_fiber_size () const
 
const Partition & fundamental_fiber_partition (cartanclass::square_class csc) const
 
TorusPart lift_from_fundamental_fiber (unsigned long x) const
 
cartanclass::FiberElt to_fundamental_fiber (TorusPart t) const
 
containers::sl_list< TorusPart > torus_parts_for_grading_shift (const cartanclass::square_class csc, const cartanclass::FiberElt y, const cartanclass::AdjointFiberElt image) const
 
const Partition & weak_real_partition () const
 
const Partition & dual_weak_real_partition () const
 
unsigned long fiberSize (RealFormNbr rf, CartanNbr cn) const
 
unsigned long dualFiberSize (RealFormNbr drf, CartanNbr cn) const
 Returns the size of the dual fiber orbits corresponding to the dual strong real forms lying over dual real form #rf, in Cartan #cn. More...
 
const RealFormNbrListrealFormLabels (CartanNbr cn) const
 
const RealFormNbrListdualRealFormLabels (CartanNbr cn) const
 
cartanclass::adjoint_fiber_orbit real_form_part (RealFormNbr rf, CartanNbr cn) const
 
cartanclass::adjoint_fiber_orbit dual_real_form_part (RealFormNbr drf, CartanNbr cn) const
 
cartanclass::AdjointFiberElt representative (RealFormNbr rf, CartanNbr cn) const
 
cartanclass::AdjointFiberElt dualRepresentative (RealFormNbr drf, CartanNbr cn) const
 
CartanNbr class_number (TwistedInvolution) const
 find number of Cartan class containing twisted involution |sigma| More...
 
Weight posRealRootSum (const TwistedInvolution &) const
 
Weight posImaginaryRootSum (const TwistedInvolution &) const
 
const WeightInvolutionmatrix (const TwistedInvolution &tw) const
 
WeightInvolution compute_matrix (const TwistedInvolution &tw) const
 
InvolutionData involution_data (const TwistedInvolution &tw) const
 
WeylWord canonicalize (TwistedInvolution &sigma, RankFlags gens) const
 
WeylWord canonicalize (TwistedInvolution &sigma) const
 
void generate_Cartan_orbit (CartanNbr i)
 

Private Member Functions

void construct ()
 
TorusPart grading_shift_repr (Grading diff) const
 
bool is_defined (RealFormNbr rf, CartanNbr cn) const
 
TorusPart sample_torus_part (CartanNbr cn, RealFormNbr rf) const
 
TorusPart dual_sample_torus_part (CartanNbr cn, RealFormNbr drf) const
 
void map_real_forms (CartanNbr cn)
 
void map_dual_real_forms (CartanNbr cn)
 

Private Attributes

const RootDatum d_rootDatum
 
const RootDatum d_dualRootDatum
 
const WeylGroup * my_W
 
const WeylGroup & W
 
Fiber d_fundamental
 
Fiber d_dualFundamental
 
const TitsGroup d_titsGroup
 
const TitsGroup d_dualTitsGroup
 
const Permutation root_twist
 
std::vector< C_infoCartan
 
poset::Poset Cartan_poset
 
std::vector< CartanNbrd_mostSplit
 
Cartan_orbits C_orb
 

Constructor & Destructor Documentation

atlas::innerclass::InnerClass::InnerClass ( const PreRootDatum &  prd,
const WeightInvolution tmp_d 
)
atlas::innerclass::InnerClass::InnerClass ( const RootDatum &  rd,
const WeightInvolution tmp_d 
)
atlas::innerclass::InnerClass::InnerClass ( const InnerClass G,
tags::DualTag   
)
atlas::innerclass::InnerClass::InnerClass ( const InnerClass )
delete
atlas::innerclass::InnerClass::~InnerClass ( )

Member Function Documentation

unsigned long atlas::innerclass::InnerClass::block_size ( RealFormNbr  rf,
RealFormNbr  drf 
) const
inline
unsigned long atlas::innerclass::InnerClass::block_size ( RealFormNbr  rf,
RealFormNbr  drf,
const BitMap &  Cartan_classes 
) const
WeylWord atlas::innerclass::InnerClass::canonicalize ( TwistedInvolution &  sigma,
RankFlags  gens 
) const
WeylWord atlas::innerclass::InnerClass::canonicalize ( TwistedInvolution &  sigma) const
inline
const CartanClass& atlas::innerclass::InnerClass::cartan ( CartanNbr  cn) const
inline
const poset::Poset& atlas::innerclass::InnerClass::Cartan_ordering ( ) const
inline
BitMap atlas::innerclass::InnerClass::Cartan_set ( RealFormNbr  rf) const
containers::sl_list< TorusPart > atlas::innerclass::InnerClass::central_fiber ( RealFormNbr  rf) const
CartanNbr atlas::innerclass::InnerClass::class_number ( TwistedInvolution  sigma) const

find number of Cartan class containing twisted involution |sigma|

WeightInvolution atlas::innerclass::InnerClass::compute_matrix ( const TwistedInvolution &  tw) const
void atlas::innerclass::InnerClass::construct ( )
private
const WeightInvolution& atlas::innerclass::InnerClass::distinguished ( ) const
inline
BitMap atlas::innerclass::InnerClass::dual_Cartan_set ( RealFormNbr  drf) const
cartanclass::adjoint_fiber_orbit atlas::innerclass::InnerClass::dual_real_form_part ( RealFormNbr  drf,
CartanNbr  cn 
) const
inline
const BitMap& atlas::innerclass::InnerClass::dual_real_forms ( CartanNbr  cn) const
inline
TorusPart atlas::innerclass::InnerClass::dual_sample_torus_part ( CartanNbr  cn,
RealFormNbr  drf 
) const
inlineprivate
const Partition& atlas::innerclass::InnerClass::dual_weak_real_partition ( ) const
inline
const CoweightInvolution& atlas::innerclass::InnerClass::dualDistinguished ( ) const
inline
unsigned long atlas::innerclass::InnerClass::dualFiberSize ( RealFormNbr  rf,
CartanNbr  cn 
) const

Returns the size of the dual fiber orbits corresponding to the dual strong real forms lying over dual real form #rf, in Cartan #cn.

Precondition: real form #rf is defined for cartan #cn.

const RealFormNbrList& atlas::innerclass::InnerClass::dualRealFormLabels ( CartanNbr  cn) const
inline
cartanclass::AdjointFiberElt atlas::innerclass::InnerClass::dualRepresentative ( RealFormNbr  drf,
CartanNbr  cn 
) const
inline
const RootDatum& atlas::innerclass::InnerClass::dualRootDatum ( ) const
inline
const RootSystem& atlas::innerclass::InnerClass::dualRootSystem ( ) const
inline
const TitsGroup& atlas::innerclass::InnerClass::dualTitsGroup ( ) const
inline
const TwistedWeylGroup& atlas::innerclass::InnerClass::dualTwistedWeylGroup ( ) const
inline
unsigned long atlas::innerclass::InnerClass::fiberSize ( RealFormNbr  rf,
CartanNbr  cn 
) const
const Partition& atlas::innerclass::InnerClass::fundamental_fiber_partition ( cartanclass::square_class  csc) const
inline
unsigned long atlas::innerclass::InnerClass::fundamental_fiber_size ( ) const
inline
void atlas::innerclass::InnerClass::generate_Cartan_orbit ( CartanNbr  i)
inline
unsigned long atlas::innerclass::InnerClass::global_KGB_size ( ) const
TorusPart atlas::innerclass::InnerClass::grading_shift_repr ( Grading  diff) const
private
InvolutionData atlas::innerclass::InnerClass::involution_data ( const TwistedInvolution &  tw) const
inline
const TwistedInvolution& atlas::innerclass::InnerClass::involution_of_Cartan ( CartanNbr  cn) const
inline
const Cartan_orbits& atlas::innerclass::InnerClass::involution_table ( ) const
inline
bool atlas::innerclass::InnerClass::is_defined ( RealFormNbr  rf,
CartanNbr  cn 
) const
inlineprivate
unsigned long atlas::innerclass::InnerClass::KGB_size ( RealFormNbr  rf) const
inline
unsigned long atlas::innerclass::InnerClass::KGB_size ( RealFormNbr  rf,
const BitMap &  Cartan_classes 
) const
TorusPart atlas::innerclass::InnerClass::lift_from_fundamental_fiber ( unsigned long  x) const
inline
void atlas::innerclass::InnerClass::map_dual_real_forms ( CartanNbr  cn)
private
void atlas::innerclass::InnerClass::map_real_forms ( CartanNbr  cn)
private
const WeightInvolution& atlas::innerclass::InnerClass::matrix ( const TwistedInvolution &  tw) const
inline
CartanNbr atlas::innerclass::InnerClass::mostSplit ( RealFormNbr  rf) const
inline
RootNbrSet atlas::innerclass::InnerClass::noncompactRoots ( RealFormNbr  rf) const
inline
CartanNbr atlas::innerclass::InnerClass::numCartanClasses ( ) const
inline
RealFormNbr atlas::innerclass::InnerClass::numDualRealForms ( ) const
inline
RealFormNbr atlas::innerclass::InnerClass::numDualRealForms ( CartanNbr  cn) const
inline
InvolutionNbr atlas::innerclass::InnerClass::numInvolutions ( ) const
InvolutionNbr atlas::innerclass::InnerClass::numInvolutions ( const BitMap &  Cartan_classes) const
RealFormNbr atlas::innerclass::InnerClass::numRealForms ( ) const
inline
RealFormNbr atlas::innerclass::InnerClass::numRealForms ( CartanNbr  cn) const
inline
RootNbrSet atlas::innerclass::InnerClass::parity_coroots ( RealFormNbr  drf) const
inline
Weight atlas::innerclass::InnerClass::posImaginaryRootSum ( const TwistedInvolution &  tw) const
Weight atlas::innerclass::InnerClass::posRealRootSum ( const TwistedInvolution &  tw) const
RealFormNbr atlas::innerclass::InnerClass::quasisplit ( ) const
inline
size_t atlas::innerclass::InnerClass::rank ( ) const
inline
cartanclass::adjoint_fiber_orbit atlas::innerclass::InnerClass::real_form_part ( RealFormNbr  rf,
CartanNbr  cn 
) const
inline
const BitMap& atlas::innerclass::InnerClass::real_forms ( CartanNbr  cn) const
inline
const RealFormNbrList& atlas::innerclass::InnerClass::realFormLabels ( CartanNbr  cn) const
inline
cartanclass::AdjointFiberElt atlas::innerclass::InnerClass::representative ( RealFormNbr  rf,
CartanNbr  cn 
) const
inline
const Permutation& atlas::innerclass::InnerClass::root_involution ( ) const
inline
const RootDatum& atlas::innerclass::InnerClass::rootDatum ( ) const
inline
const RootSystem& atlas::innerclass::InnerClass::rootSystem ( ) const
inline
cartanclass::StrongRealFormRep atlas::innerclass::InnerClass::sample_strong_form ( RealFormNbr  rf) const
inline
TorusPart atlas::innerclass::InnerClass::sample_torus_part ( CartanNbr  cn,
RealFormNbr  rf 
) const
inlineprivate
size_t atlas::innerclass::InnerClass::semisimpleRank ( ) const
inline
RankFlags atlas::innerclass::InnerClass::simple_roots_imaginary ( ) const
RankFlags atlas::innerclass::InnerClass::simple_roots_real ( ) const
Grading atlas::innerclass::InnerClass::simple_roots_x0_compact ( RealFormNbr  rf) const
Permutation atlas::innerclass::InnerClass::simple_twist ( ) const
inline
RealFormNbr atlas::innerclass::InnerClass::square_class_repr ( cartanclass::square_class  csc) const
void atlas::innerclass::InnerClass::swap ( InnerClass G)
delete
const TitsGroup& atlas::innerclass::InnerClass::titsGroup ( ) const
inline
cartanclass::FiberElt atlas::innerclass::InnerClass::to_fundamental_fiber ( TorusPart  t) const
inline
containers::sl_list< TorusPart > atlas::innerclass::InnerClass::torus_parts_for_grading_shift ( const cartanclass::square_class  csc,
const cartanclass::FiberElt  y,
const cartanclass::AdjointFiberElt  image 
) const
RootNbr atlas::innerclass::InnerClass::twisted_root ( RootNbr  alpha) const
inline
const TwistedWeylGroup& atlas::innerclass::InnerClass::twistedWeylGroup ( ) const
inline
const Partition& atlas::innerclass::InnerClass::weak_real_partition ( ) const
inline
const WeylGroup& atlas::innerclass::InnerClass::weylGroup ( ) const
inline
TorusPart atlas::innerclass::InnerClass::x0_torus_part ( RealFormNbr  rf) const
cartanclass::square_class atlas::innerclass::InnerClass::xi_square ( RealFormNbr  rf) const

Member Data Documentation

Cartan_orbits atlas::innerclass::InnerClass::C_orb
private
std::vector<C_info> atlas::innerclass::InnerClass::Cartan
private
poset::Poset atlas::innerclass::InnerClass::Cartan_poset
private
Fiber atlas::innerclass::InnerClass::d_dualFundamental
private
const RootDatum atlas::innerclass::InnerClass::d_dualRootDatum
private
const TitsGroup atlas::innerclass::InnerClass::d_dualTitsGroup
private
Fiber atlas::innerclass::InnerClass::d_fundamental
private
std::vector<CartanNbr> atlas::innerclass::InnerClass::d_mostSplit
private
const RootDatum atlas::innerclass::InnerClass::d_rootDatum
private
const TitsGroup atlas::innerclass::InnerClass::d_titsGroup
private
const WeylGroup* atlas::innerclass::InnerClass::my_W
private
const Permutation atlas::innerclass::InnerClass::root_twist
private
const WeylGroup& atlas::innerclass::InnerClass::W
private

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