atlas  0.6
Classes | Namespaces | Functions
rootdata.h File Reference

Class definitions and function declarations for the RootDatum class. More...

#include "../Atlas.h"
#include <algorithm>
#include "arithmetic_fwd.h"
#include "tags.h"
#include "bitset.h"
#include "matrix.h"
#include "permutations.h"
Include dependency graph for rootdata.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  atlas::rootdata::RootSystem
 
struct  atlas::rootdata::RootSystem::root_info
 
class  atlas::rootdata::RootDatum
 Based root datum for a complex reductive group. More...
 

Namespaces

 atlas
 
 atlas::rootdata
 

Functions

RatWeight atlas::rootdata::rho (const RootDatum &rd)
 
RatCoweight atlas::rootdata::rho_check (const RootDatum &rd)
 
CoweightInvolution atlas::rootdata::dualBasedInvolution (const WeightInvolution &q, const RootDatum &rd)
 
RootNbrSet atlas::rootdata::makeOrthogonal (const RootNbrSet &o, const RootNbrSet &subsys, const RootSystem &rs)
 Returns the elements of |subsys| which are orthogonal to all elements of |o|. More...
 
void atlas::rootdata::toDistinguished (WeightInvolution &q, const RootDatum &rd)
 Transforms q, assumed a root datum involution, into a based root datum involution w.q, which fixes the positive Weyl chamber. More...
 
WeylWord atlas::rootdata::wrt_distinguished (const RootSystem &rs, RootNbrList &Delta)
 
void atlas::rootdata::make_positive (const RootSystem &rs, RootNbr &alpha)
 
WeylWord atlas::rootdata::conjugate_to_simple (const RootSystem &rs, RootNbr &alpha)
 
WeightInvolution atlas::rootdata::refl_prod (const RootNbrSet &rset, const RootDatum &rd)
 
RootDatum atlas::rootdata::integrality_datum (const RootDatum &rd, const RatWeight &gamma)
 
RationalList atlas::rootdata::integrality_points (const RootDatum &rd, const RatWeight &gamma)
 
unsigned int atlas::rootdata::integrality_rank (const RootDatum &rd, const RatWeight &gamma)
 

Detailed Description

Class definitions and function declarations for the RootDatum class.