|
Namespaces |
namespace | abelian |
namespace | abelian2 |
namespace | allocator |
namespace | arithmetic |
namespace | basic_io |
namespace | bitmap |
namespace | bits |
namespace | bitset |
namespace | bitvector |
namespace | block_io |
namespace | blocks |
namespace | bruhat |
namespace | cartan |
namespace | cartan_io |
namespace | cartanclass |
namespace | commands |
namespace | comparison |
namespace | complexredgp |
namespace | complexredgp_io |
namespace | constants |
namespace | ctr_iterator |
namespace | descents |
namespace | dynkin |
namespace | emptyhelp |
namespace | emptymode |
namespace | error |
namespace | gradings |
namespace | graph |
namespace | helpmode |
namespace | input |
namespace | interactive |
namespace | interactive_lattice |
namespace | interactive_lietype |
namespace | intutils |
namespace | involutions |
namespace | io |
namespace | ioutils |
namespace | kgb |
namespace | kgb_io |
namespace | kl |
namespace | kl_error |
namespace | kl_io |
namespace | klcomputations |
namespace | klsupport |
namespace | kltest |
namespace | lattice |
namespace | latticetypes |
namespace | layout |
namespace | lietype |
namespace | mainhelp |
namespace | mainmode |
namespace | matrix |
namespace | partition |
namespace | polynomials |
namespace | pool |
namespace | poset |
namespace | poset_io |
namespace | prerootdata |
namespace | prettyprint |
namespace | realform |
namespace | realform_io |
namespace | realhelp |
namespace | realmode |
namespace | realredgp |
namespace | realredgp_io |
namespace | realweyl |
namespace | realweyl_io |
namespace | rootdata |
namespace | set |
namespace | setutils |
namespace | size |
namespace | smithnormal |
namespace | special |
namespace | stlset |
namespace | stlvector |
namespace | subquotient |
namespace | tags |
namespace | test |
namespace | testprint |
namespace | testrun |
namespace | tits |
namespace | topology |
namespace | tori |
namespace | typenumber |
namespace | typestring |
namespace | version |
namespace | weyl |
namespace | weylsize |
namespace | wgraph |
namespace | wgraph_io |
Typedefs |
typedef abelian::FiniteAbelianGroup | AbGrp |
Functions |
void | pause () |
void | makeHasse (std::vector< set::SetEltList > &, const Block &) |
void | insertAscents (std::set< BlockElt > &, const set::SetEltList &, size_t, const Block &) |
void | insertAscents (std::set< BlockElt > &hs, const set::SetEltList &hr, size_t s, const Block &block) |
void | makeHasse (std::vector< set::SetEltList > &hd, const Block &block) |
void | pause () |
void | pause () |
void | makeHasse (std::vector< set::SetEltList > &, const KGB &) |
void | initGrading (gradings::Grading &, const realredgp::RealReductiveGroup &) |
void | initGrading (gradings::Grading &gr, const realredgp::RealReductiveGroup &G) |
void | makeHasse (std::vector< set::SetEltList > &hd, const KGB &kgb) |
void | pause () |
size_t | firstAscent (const descents::DescentStatus &, const descents::DescentStatus &, size_t) |
size_t | goodAscent (const descents::DescentStatus &, const descents::DescentStatus &, size_t) |
size_t | firstAscent (const descents::DescentStatus &d1, const descents::DescentStatus &d2, size_t rank) |
size_t | goodAscent (const descents::DescentStatus &d1, const descents::DescentStatus &d2, size_t rank) |
void | pause () |
void | fillLengthLess (std::vector< size_t > &, const blocks::Block &) |
void | fillLengthLess (std::vector< size_t > &ll, const blocks::Block &b) |
void | ambiguous (const std::vector< const char * > &, const char *) |
void | execute (const char *name, const CommandMode *mode) |
const char * | getCommand (const CommandMode *mode) |
std::istream & | getInteractive (std::istream &, std::string &, const char *) |
bool | isEqual (const char *a, const char *b) |
bool | isInitial (const char *a, const char *b) |
void | ambiguous (const std::vector< const char * > &ext, const char *name) |
void | execute (const char *name, const CommandMode *mode) |
const char * | getCommand (const CommandMode *mode) |
std::istream & | getInteractive (std::istream &strm, std::string &name, const char *prompt) |
void | help_h () |
void | qq_h () |
void | help_h () |
void | qq_h () |
void | this_entry () |
void | this_exit () |
void | printVersion () |
void | help_f () |
void | q_h () |
void | type_f () |
void | this_entry () |
void | this_exit () |
void | help_f () |
void | q_h () |
void | type_f () |
void | printVersion () |
void | this_entry () |
void | this_exit () |
void | help_h () |
void | qq_h () |
void | questionMark_h () |
void | this_entry () |
void | this_exit () |
void | help_h () |
void | qq_h () |
void | questionMark_h () |
const char * | readLine (const char *prompt="", bool toHistory=true) |
const char * | readLine (const char *prompt, bool toHistory) |
char * | completionGenerator (const char *, int) |
void | displayCompletions (char **, int, int) |
char * | readLine (const char *prompt="", bool toHistory=true) |
char * | completionGenerator (const char *text, int state) |
void | displayCompletions (char **matches, int num, int) |
char * | readLine (const char *prompt, bool toHistory) |
void | blocksizes_h () |
void | coroots_h () |
void | poscoroots_h () |
void | posroots_h () |
void | roots_h () |
void | showdualforms_h () |
void | showrealforms_h () |
void | simplecoroots_h () |
void | simpleroots_h () |
void | type_h () |
void | blocksizes_h () |
void | coroots_h () |
void | posroots_h () |
void | poscoroots_h () |
void | roots_h () |
void | showdualforms_h () |
void | showrealforms_h () |
void | simpleroots_h () |
void | simplecoroots_h () |
void | type_h () |
void | this_entry () throw (EntryError) |
void | this_exit () |
void | blocksizes_f () |
void | coroots_f () |
void | help_f () |
void | poscoroots_f () |
void | posroots_f () |
void | q_h () |
void | roots_f () |
void | realform_f () |
void | showdualforms_f () |
void | showrealforms_f () |
void | simplecoroots_f () |
void | simpleroots_f () |
void | type_f () |
void | this_entry () throw (EntryError) |
void | this_exit () |
void | blocksizes_f () |
void | coroots_f () |
void | help_f () |
void | poscoroots_f () |
void | posroots_f () |
void | q_h () |
void | realform_f () |
void | roots_f () |
void | showdualforms_f () |
void | showrealforms_f () |
void | simplecoroots_f () |
void | simpleroots_f () |
void | type_f () |
void | cartan_h () |
void | realform_h () |
void | realweyl_h () |
void | cartan_h () |
void | realform_h () |
void | realweyl_h () |
void | this_entry () throw (commands::EntryError) |
void | this_exit () |
void | cartan_f () |
void | gradings_f () |
void | help_f () |
void | q_h () |
void | realform_f () |
void | realweyl_f () |
void | strongreal_f () |
void | type_f () |
void | this_entry () throw (commands::EntryError) |
void | this_exit () |
void | cartan_f () |
void | gradings_f () |
void | help_f () |
void | q_h () |
void | realform_f () |
void | realweyl_f () |
void | strongreal_f () |
void | type_f () |
void | special_f () |
void | special_h () |
void | special_f () |
void | special_h () |
template<typename T> |
void | ignore (const T &) |
void | pause () |
bool | checkInvolution (latticetypes::LatticeMatrix &, const latticetypes::WeightList &) |
bool | checkInvolution (const latticetypes::LatticeMatrix &, const layout::Layout &) |
bool | checkInvolution (latticetypes::LatticeMatrix &i, const latticetypes::WeightList &b) |
bool | checkInvolution (const latticetypes::LatticeMatrix &i, const layout::Layout &lo) |
GeneratorError | checkGenerator (input::InputBuffer &, size_t &, latticetypes::LatticeCoeff &, const latticetypes::Weight &) |
void | makeOrthogonal (latticetypes::LatticeMatrix &, latticetypes::CoeffList &, const latticetypes::RatWeightList &, size_t) |
std::ostream & | printCenter (std::ostream &, const latticetypes::CoeffList &) |
void | readGenerator (latticetypes::RatWeight &, const latticetypes::CoeffList &u, input::InputBuffer &) |
GeneratorError | checkGenerator (input::InputBuffer &buf, size_t &r, latticetypes::LatticeCoeff &d, const latticetypes::Weight &u) |
void | makeOrthogonal (latticetypes::LatticeMatrix &q, latticetypes::CoeffList &invf, const latticetypes::RatWeightList &d_rwl, size_t r) |
std::ostream & | printCenter (std::ostream &strm, const latticetypes::CoeffList &u) |
void | readGenerator (latticetypes::RatWeight &v, const latticetypes::CoeffList &u, input::InputBuffer &buf) |
void | ignoreSimpleLieType (input::InputBuffer &) |
void | ignoreSimpleLieType (input::InputBuffer &buf) |
void | pause () |
std::ostream & | printComplexType (std::ostream &, const lietype::SimpleLieType &) |
std::ostream & | printSimpleType (std::ostream &, const gradings::Grading &, const lietype::SimpleLieType &, lietype::TypeLetter) |
std::ostream & | printType (std::ostream &, const gradings::Grading &, const lietype::LieType &, const lietype::InnerClassType &) |
bool | operator< (const RealFormData &first, const RealFormData &second) |
bool | operator< (const RealFormData &first, const RealFormData &second) |
std::ostream & | printComplexType (std::ostream &strm, const lietype::SimpleLieType &slt) |
std::ostream & | printSimpleType (std::ostream &strm, const gradings::Grading &gr, const lietype::SimpleLieType &slt, const lietype::TypeLetter ic) |
std::ostream & | printType (std::ostream &strm, const gradings::Grading &d_gr, const lietype::LieType <, const lietype::InnerClassType &ict) |
void | orthogonalMAlpha (rootdata::RootList &, unsigned long, const cartanclass::Fiber &, const rootdata::RootDatum &) |
void | rGenerators (latticetypes::ComponentList &, const rootdata::RootList &, const cartanclass::Fiber &, const rootdata::RootDatum &) |
void | orthogonalMAlpha (rootdata::RootList &rl, unsigned long x, const cartanclass::Fiber &f, const rootdata::RootDatum &rd) |
void | rGenerators (latticetypes::ComponentList &cl, const rootdata::RootList &rl, const cartanclass::Fiber &f, const rootdata::RootDatum &rd) |
std::ostream & | memlog () |
std::ostream & | memlog () |
size_t | lastBit (size_t) |
size_t | reducedSize (size_t, size_t) |
bool | operator< (const PoolDestruct &lhs, const PoolDestruct &rhs) |
bool | operator< (const SimplePoolDestruct &lhs, const SimplePoolDestruct &rhs) |
size_t | lastBit (size_t d_n) |
size_t | reducedSize (size_t n, size_t a) |
bool | checkDecomposition (const weyl::WeylWord &, const weyl::WeylWord &, const rootdata::RootList &, const weyl::WeylGroup &, const rootdata::RootDatum &) |
bool | checkDecomposition (const weyl::WeylWord &wi, const weyl::WeylWord &ww, const rootdata::RootList &so, const weyl::WeylGroup &W, const rootdata::RootDatum &rd) |
void | pause () |
void | makeOrbitSize (size::Size &, const rootdata::RootDatum &, const CartanClass &) |
void | makeSimpleComplex (rootdata::RootList &, const rootdata::RootDatum &, const CartanClass &) |
void | makeOrbitSize (size::Size &os, const rootdata::RootDatum &rd, const CartanClass &cc) |
void | makeSimpleComplex (rootdata::RootList &sc, const rootdata::RootDatum &rd, const CartanClass &cc) |
void | pause () |
void | componentOrder (setutils::Permutation &, const bitset::RankFlagsList &) |
void | componentNormalize (setutils::Permutation &, const bitset::RankFlagsList &, const DynkinDiagram &) |
void | irreducibleNormalize (setutils::Permutation &, const DynkinDiagram &) |
lietype::TypeLetter | irreducibleType (const DynkinDiagram &) |
void | typeANormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeBNormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeCNormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeDNormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeENormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeFNormalize (setutils::Permutation &, const DynkinDiagram &) |
void | typeGNormalize (setutils::Permutation &, const DynkinDiagram &) |
void | componentOrder (setutils::Permutation &a, const bitset::RankFlagsList &cl) |
void | componentNormalize (setutils::Permutation &a, const bitset::RankFlagsList &cl, const DynkinDiagram &d) |
void | irreducibleNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
lietype::TypeLetter | irreducibleType (const DynkinDiagram &d) |
void | typeANormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeBNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeCNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeDNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeENormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeFNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | typeGNormalize (setutils::Permutation &a, const DynkinDiagram &d) |
void | noncompactEquations (LongComponentList &, const WeightList &) |
void | compactEquations (LongComponentList &, const RootList &, const RootList &, const RootDatum &) |
void | toGrading (Grading &, const LongComponent &) |
void | toGrading (Grading &g, const LongComponent &gc) |
void | noncompactEquations (LongComponentList &eqn, const WeightList &nc) |
void | compactEquations (LongComponentList &eqn, const RootList &o, const RootList &rs, const RootDatum &rd) |
void | makeCorootBasis (WeightList &, const LatticeMatrix &, const WeightList &) |
void | makeRootBasis (WeightList &, const LatticeMatrix &, const WeightList &) |
void | makeCorootBasis (WeightList &crb, const LatticeMatrix &c, const WeightList &lb) |
void | makeRootBasis (WeightList &rb, const LatticeMatrix &c, const WeightList &lb) |
void | pause () |
void | fillRoots (latticetypes::WeightList &, latticetypes::WeightList &, RootList &, const RootDatum &) |
void | fillPositiveRoots (RootList &, const RootDatum &) |
void | fillPositiveRoots (RootList &pr, const RootDatum &rd) |
void | fillRoots (WeightList &rl, WeightList &crl, RootList &srl, const RootDatum &rd) |
void | pause () |
void | pause () |
void | makeTopology (ComponentSubquotient &, const RealTorus &) |
void | fullPlusBasis (WeightList &, LatticeMatrix &, const LatticeMatrix &) |
void | fullMinusBasis (WeightList &, LatticeMatrix &, const LatticeMatrix &) |
void | makeTopology (ComponentSubquotient &cs, const RealTorus &T) |
void | fullMinusBasis (latticetypes::WeightList &mb, latticetypes::LatticeMatrix &tm, const latticetypes::LatticeMatrix &i) |
void | fullPlusBasis (latticetypes::WeightList &pb, latticetypes::LatticeMatrix &tp, const latticetypes::LatticeMatrix &i) |
void | fillCoxMatrix (LatticeMatrix &, const LatticeMatrix &, const Permutation &) |
EltPiece | dihedralMin (const Transducer &, EltPiece, Generator, Generator) |
EltPiece | dihedralShift (const Transducer &, EltPiece, Generator, Generator, unsigned long) |
EltPiece | dihedralMin (const Transducer &qa, EltPiece x, Generator s, Generator t) |
EltPiece | dihedralShift (const Transducer &qa, EltPiece x, Generator s, Generator t, unsigned long d) |
void | fillCoxMatrix (LatticeMatrix &cox, const LatticeMatrix &cart, const Permutation &a) |
void | involutionList (weyl::WeylEltList &, const kgb::KGB &) |
std::ostream & | printBasePts (std::ostream &, const weyl::WeylEltList &, const kgb::KGBEltList &, const kgb::KGB &) |
std::ostream & | printBasePts (std::ostream &strm, const weyl::WeylEltList &wl, const kgb::KGBEltList &bp, const kgb::KGB &kgb) |
void | involutionList (weyl::WeylEltList &wl, const kgb::KGB &kgb) |
void | block_f () |
void | blockd_f () |
void | blocku_f () |
void | blockstabilizer_f () |
void | checkbasept_f () |
void | cmatrix_f () |
void | corder_f () |
void | components_f () |
void | coroots_rootbasis_f () |
void | extrkl_f () |
void | kgb_f () |
void | klbasis_f () |
void | kllist_f () |
void | poscoroots_rootbasis_f () |
void | posroots_rootbasis_f () |
void | wcells_f () |
void | wgraph_f () |
void | roots_rootbasis_f () |
void | rootdatum_f () |
void | test_f () |
void | extrkl_h () |
void | klbasis_h () |
void | kllist_h () |
void | wcells_h () |
void | wgraph_h () |
const rootdata::RootDatum & | currentRootDatum () |
void | extrkl_h () |
void | klbasis_h () |
void | kllist_h () |
void | wcells_h () |
void | wgraph_h () |
const rootdata::RootDatum & | currentRootDatum () |
void | block_f () |
void | blockd_f () |
void | blocku_f () |
void | blockstabilizer_f () |
void | checkbasept_f () |
void | cmatrix_f () |
void | components_f () |
void | coroots_rootbasis_f () |
void | corder_f () |
void | extrkl_f () |
void | kgb_f () |
void | klbasis_f () |
void | kllist_f () |
void | poscoroots_rootbasis_f () |
void | posroots_rootbasis_f () |
void | roots_rootbasis_f () |
void | rootdatum_f () |
void | wcells_f () |
void | wgraph_f () |
void | test_f () |
void | firstType (LieType &, const Shape &) |
bool | firstType (LieType &, Category, size_t) |
bool | isLast (const SimpleLieType &) |
bool | isLast (const Shape &) |
bool | isLastInShape (const LieType <) |
bool | nextType (LieType &, Category) |
bool | nextSemisimpleType (LieType &) |
void | nextShape (Shape &) |
void | nextInShape (LieType &) |
SimpleLieType | nextSimpleType (const SimpleLieType &) |
unsigned long | prodNbr (const Weight &, unsigned long, const Shape &) |
GrpNbr | quotGenerator (const FiniteAbelianGroup &, const BitMap &, const BitMap &) |
void | setCycGenerator (BitMap &, const std::vector< BitMap > &, const std::set< BitMap > &, std::vector< BitMap >::const_iterator &, FiniteAbelianGroup &) |
void | shape (Shape &, const LieType &) |
void | updateCycGenerator (BitMap &, const FiniteAbelianGroup &, const BitMap &, GrpNbr) |
void | firstType (LieType <, const Shape &s) |
bool | firstType (LieType <, Category c, size_t l) |
bool | isLast (const SimpleLieType &slt) |
bool | isLast (const Shape &s) |
bool | isLastInShape (const LieType <) |
void | nextInShape (LieType <) |
bool | nextSemisimpleType (LieType <) |
void | nextShape (Shape &s) |
SimpleLieType | nextSimpleType (const SimpleLieType &slt) |
bool | nextType (LieType <, Category c) |
unsigned long | prodNbr (const Weight &v, unsigned long n, const Shape &cl) |
GrpNbr | quotGenerator (const FiniteAbelianGroup &A, const BitMap &B, const BitMap &C) |
void | setCycGenerator (BitMap &cyc, const std::vector< BitMap > &prev, const std::set< BitMap > ¤t, std::vector< BitMap >::const_iterator &b, FiniteAbelianGroup &A) |
void | shape (Shape &s, const LieType <) |
void | updateCycGenerator (BitMap &cyc, const FiniteAbelianGroup &A, const BitMap &B, GrpNbr x) |
void | getClass (const OrientedGraph &, Vertex, bitmap::BitMap &, partition::Partition &, OrientedGraph *p) |
void | getClass (const OrientedGraph &g, Vertex y, bitmap::BitMap &b, partition::Partition &pi, OrientedGraph *p) |
Variables |
std::stack< const CommandMode * > | modeStack |
std::stack< const char * > | commandStack |
input::InputBuffer | commandLine |
bool | runFlag |
const char * | help_tag = "enters help mode" |
const char * | qq_tag = "exits the program" |
commands::TagDict | tagDict |
const char * | intro_tag |
const char * | q_tag = "exits the current mode" |
const char * | questionMark_tag |
const char * | blocksizes_tag = "outputs the matrix of blocksizes" |
const char * | coroots_tag = "outputs the coroots in the lattice basis" |
const char * | poscoroots_tag |
const char * | posroots_tag = "outputs the positive roots in the lattice basis" |
const char * | roots_tag = "outputs the roots in the lattice basis" |
const char * | showdualforms_tag |
const char * | showrealforms_tag |
const char * | simplecoroots_tag |
const char * | simpleroots_tag |
const char * | type_tag = "resets the group type" |
complexredgp::ComplexReductiveGroup | G_C |
complexredgp_io::Interface | G_I (G_C) |
const char * | cartan_tag = "prints the conjugacy classes of Cartan subgroups" |
const char * | realform_tag = "sets the real form for the group" |
const char * | realweyl_tag = "outputs the structure of the real Weyl group" |
realredgp::RealReductiveGroup | G_R |
realredgp_io::Interface | G_RI |
SpecialMode | specialMode = EmptyMode |
const char * | special_tag = "user-definable command" |
input::InputBuffer | inputBuf |
const char * | UnequalRankTypes = "ADE" |
const char * | KLIndeterminate = "q" |
std::vector< PoolDestruct > | poolDestructions |
std::vector< SimplePoolDestruct > | simplePoolDestructions |
const size_t | UndefMostSplit = ~0ul |
const realform::RealForm | UndefRealForm = ~0ul |
const char * | test_tag = "(test command)" |
const TestMode | testMode = MainMode |