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
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