atlas  0.6
topology.h
Go to the documentation of this file.
1 
5 /*
6  Copyright (C) 2004,2005 Fokko du Cloux
7  part of the Atlas of Lie Groups and Representations
8 
9  For license information see the LICENSE file
10 */
11 
12 #ifndef TOPOLOGY_H /* guard against multiple inclusions */
13 #define TOPOLOGY_H
14 
15 #include <vector>
16 
17 #include "../Atlas.h"
18 
19 #include "bitvector.h" // contained in |Connectivity|
20 
21 /******** type declarations *************************************************/
22 
23 namespace atlas {
24 
25 
26 /******** function declarations *********************************************/
27 
28 namespace topology {
29 
30  bool isTrivial(const CoeffList&);
31 
32 }
33 
34 /******** type definitions **************************************************/
35 
36 namespace topology {
37 
38 /* class of which the constructor computes a basis for the dual of the
39  component group of a real reductive group (given its most split torus, and
40  the root datum that it is related to).
41  */
42 
44 {
45 
46  private:
47  SmallBitVectorList d_dpi0; // basis of dual component group
48 
49  public:
50 // constructors and destructors
52 
53  Connectivity(const tori::RealTorus& most_split, const RootDatum&);
54 
56 
57 // accessors
59  { return d_dpi0; }
60 
61  const size_t component_rank() const { return d_dpi0.size(); }
62 
63 // manipulators
64  void swap(Connectivity& other) { d_dpi0.swap(other.d_dpi0);}
65 
66 }; // |class Connectivity|
67 
68 } // |namespace topology|
69 
70 } // |namespace atlas|
71 
72 #endif
Connectivity()
Definition: topology.h:51
~Connectivity()
Definition: topology.h:55
bool isTrivial(const CoeffList &invf)
Definition: topology.cpp:179
const SmallBitVectorList & dualComponentReps() const
Definition: topology.h:58
BitVectorList< constants::RANK_MAX > SmallBitVectorList
Definition: Atlas.h:182
SmallBitVectorList d_dpi0
Definition: topology.h:47
Definition: topology.h:43
const size_t component_rank() const
Definition: topology.h:61
Definition: Atlas.h:38
void swap(Connectivity &other)
Definition: topology.h:64
std::vector< LatticeCoeff > CoeffList
Definition: Atlas.h:168
Represents a torus defined over R.
Definition: tori.h:82