/home/r0/dav/atlas.dir/atlas3/sources/interface/blockmode.cpp File Reference

#include <iostream>
#include <fstream>
#include "blockmode.h"
#include "complexredgp.h"
#include "complexredgp_io.h"
#include "error.h"
#include "helpmode.h"
#include "interactive.h"
#include "io.h"
#include "ioutils.h"
#include "basic_io.h"
#include "filekl.h"
#include "realredgp.h"
#include "realredgp_io.h"
#include "cartanset.h"
#include "kgb.h"
#include "kgb_io.h"
#include "blocks.h"
#include "block_io.h"
#include "kl.h"
#include "kl_io.h"
#include "wgraph.h"
#include "wgraph_io.h"
#include "special.h"
#include "test.h"

Include dependency graph for blockmode.cpp:

Go to the source code of this file.

Namespaces
namespace	atlas
namespace	atlas::blockmode
Functions
void	block_mode_entry () throw (commands::EntryError)
void	block_mode_exit ()
void	type_f ()
void	realform_f ()
void	small_kgb_f ()
void	small_dual_kgb_f ()
template<bool small>
void	block_f ()
template<bool small>
void	dual_block_f ()
void	dual_map_f ()
void	blockd_f ()
void	blockorder_f ()
void	blocku_f ()
void	blockwrite_f ()
void	blockstabilizer_f ()
void	klbasis_f ()
void	kllist_f ()
void	primkl_f ()
void	klwrite_f ()
void	wgraph_f ()
void	wcells_f ()
commands::CommandMode &	blockMode ()
complexredgp::ComplexReductiveGroup &	currentDualComplexGroup ()
realredgp::RealReductiveGroup &	currentDualRealGroup ()
realform::RealForm	currentDualRealForm ()
blocks::Block &	currentBlock ()
kl::KLContext &	currentKL ()
wgraph::WGraph &	currentWGraph ()
void	block_mode_entry () throw (commands::EntryError)
void	block_mode_exit ()
void	type_f ()
void	realform_f ()
void	small_kgb_f ()
void	small_dual_kgb_f ()
template<bool small>
void	block_f ()
template<bool small>
void	dual_block_f ()
void	dual_map_f ()
void	blockd_f ()
void	blocku_f ()
void	blockorder_f ()
void	blockwrite_f ()
void	blockstabilizer_f ()
void	klbasis_f ()
void	kllist_f ()
void	primkl_f ()
void	klwrite_f ()
void	wgraph_f ()
void	wcells_f ()
void	block_h ()
void	blockd_h ()
void	blocku_h ()
void	blockorder_h ()
void	blockwrite_h ()
void	klbasis_h ()
void	kllist_h ()
void	primkl_h ()
void	klwrite_h ()
void	wcells_h ()
void	wgraph_h ()
void	addBlockHelp (commands::CommandMode &mode, commands::TagDict &tagDict)
Variables
complexredgp::ComplexReductiveGroup *	dual_G_C_pointer = NULL
realredgp::RealReductiveGroup *	dual_G_R_pointer = NULL
blocks::Block *	block_pointer = NULL
klsupport::KLSupport *	kls_pointer = NULL
kl::KLContext *	klc_pointer = NULL
wgraph::WGraph *	WGr_pointer = NULL
const char *	block_tag = "prints all the representations in a block"
const char *	dual_block_tag = "prints a block for the dual group"
const char *	dual_map_tag = "prints a map from block to its dual block"
const char *	blockd_tag
const char *	blocku_tag
const char *	blockorder_tag
const char *	blockwrite_tag = "writes the block information to disk"
const char *	blockstabilizer_tag = "print the real Weyl group for the block"
const char *	klbasis_tag = "prints the KL basis for the Hecke module"
const char *	kllist_tag = "prints the list of distinct KL polynomials"
const char *	klprim_tag = "prints the KL polynomials for primitive pairs"
const char *	klwrite_tag = "writes the KL polynomials to disk"
const char *	wgraph_tag = "prints the W-graph for the block"
const char *	wcells_tag = "prints the Kazhdan-Lusztig cells for the block"

---

Function Documentation

void atlas::blockmode::addBlockHelp (  commands::CommandMode &  mode, commands::TagDict &  tagDict )

Definition at line 629 of file blockmode.cpp. References atlas::commands::CommandMode::add(), atlas::block_h(), atlas::block_tag, atlas::blockd_h(), atlas::blockd_tag, atlas::blockorder_h(), atlas::blockorder_tag, atlas::blockstabilizer_tag, atlas::blocku_h(), atlas::blocku_tag, atlas::blockwrite_h(), atlas::blockwrite_tag, atlas::commands::insertTag(), atlas::klbasis_h(), atlas::klbasis_tag, atlas::kllist_h(), atlas::kllist_tag, atlas::klprim_tag, atlas::klwrite_h(), atlas::klwrite_tag, atlas::primkl_h(), atlas::wcells_h(), atlas::wcells_tag, atlas::wgraph_h(), and atlas::wgraph_tag. Referenced by atlas::helpmode::helpMode().

template<bool small> void block_f (   )  [static]

Definition at line 353 of file blockmode.cpp. References atlas::blockmode::currentBlock(), atlas::blockmode::currentDualRealForm(), and atlas::block_io::printBlock().

template<bool small> void block_f (   )  [static]

void block_h (   )  [static]

Definition at line 571 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void block_mode_entry (   )  throw (commands::EntryError) [static]

Definition at line 206 of file blockmode.cpp. References atlas::block_mode_exit(), atlas::realredgp::RealReductiveGroup::complexGroup(), atlas::realredgp_io::Interface::complexInterface(), atlas::realmode::currentRealGroup(), atlas::realmode::currentRealInterface(), atlas::dual_G_C_pointer, atlas::dual_G_R_pointer, atlas::complexredgp::ComplexReductiveGroup::dualRealFormLabels(), atlas::realredgp::RealReductiveGroup::fillCartan(), and atlas::realredgp::RealReductiveGroup::mostSplit().

void block_mode_entry (   )  throw (commands::EntryError) [static]

void block_mode_exit (   )  [static]

Definition at line 240 of file blockmode.cpp. References atlas::block_pointer, atlas::dual_G_C_pointer, atlas::dual_G_R_pointer, atlas::klc_pointer, atlas::kls_pointer, and atlas::WGr_pointer.

void block_mode_exit (   )  [static]

Referenced by atlas::block_mode_entry().

void blockd_f (   )  [static]

Definition at line 398 of file blockmode.cpp. References atlas::blockmode::currentBlock(), and atlas::block_io::printBlockD().

void blockd_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void blockd_h (   )  [static]

Definition at line 576 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

commands::CommandMode & atlas::blockmode::blockMode (   )

Definition at line 97 of file blockmode.cpp. References atlas::commands::CommandMode::add(), atlas::commands::addCommands(), atlas::special::addSpecialCommands(), atlas::test::addTestCommands(), atlas::blockd_f(), atlas::blockorder_f(), atlas::blockstabilizer_f(), atlas::blocku_f(), atlas::blockwrite_f(), atlas::dual_map_f(), atlas::commands::CommandMode::empty(), atlas::klbasis_f(), atlas::kllist_f(), atlas::klwrite_f(), atlas::primkl_f(), atlas::realform_f(), atlas::small_dual_kgb_f(), atlas::small_kgb_f(), atlas::type_f(), atlas::wcells_f(), and atlas::wgraph_f().

void blockorder_f (   )  [static]

Definition at line 413 of file blockmode.cpp. References atlas::blocks::Block::bruhatOrder(), atlas::blockmode::currentBlock(), atlas::kgb_io::printBruhatOrder(), and atlas::blocks::Block::size().

void blockorder_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void blockorder_h (   )  [static]

Definition at line 586 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void blockstabilizer_f (   )  [static]

Definition at line 439 of file blockmode.cpp. References atlas::blocks::common_Cartans(), atlas::blockmode::currentDualRealForm(), atlas::blockmode::currentDualRealGroup(), atlas::realmode::currentRealGroup(), and atlas::interactive::getCartanClass().

void blockstabilizer_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void blocku_f (   )  [static]

Definition at line 405 of file blockmode.cpp. References atlas::blockmode::currentBlock(), and atlas::block_io::printBlockU().

void blocku_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void blocku_h (   )  [static]

Definition at line 581 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void blockwrite_f (   )  [static]

Definition at line 422 of file blockmode.cpp. References atlas::blockmode::currentBlock(), and atlas::filekl::write_block_file().

void blockwrite_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void blockwrite_h (   )  [static]

Definition at line 591 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

blocks::Block & atlas::blockmode::currentBlock (   )

Definition at line 154 of file blockmode.cpp. References atlas::block_pointer, atlas::dual_G_R_pointer, and atlas::realredgp::RealReductiveGroup::realForm(). Referenced by atlas::block_f(), atlas::blockd_f(), atlas::blockorder_f(), atlas::blocku_f(), atlas::blockwrite_f(), atlas::blockmode::currentKL(), and atlas::dual_map_f().

complexredgp::ComplexReductiveGroup & atlas::blockmode::currentDualComplexGroup (   )

Definition at line 139 of file blockmode.cpp. Referenced by atlas::dual_block_f(), atlas::dual_map_f(), and atlas::small_dual_kgb_f().

realform::RealForm atlas::blockmode::currentDualRealForm (   )

Definition at line 149 of file blockmode.cpp. References atlas::dual_G_R_pointer, and atlas::realredgp::RealReductiveGroup::realForm(). Referenced by atlas::block_f(), atlas::blockstabilizer_f(), atlas::dual_block_f(), atlas::dual_map_f(), and atlas::small_dual_kgb_f().

realredgp::RealReductiveGroup & atlas::blockmode::currentDualRealGroup (   )

Definition at line 144 of file blockmode.cpp. Referenced by atlas::blockstabilizer_f(), atlas::small_dual_kgb_f(), and atlas::small_kgb_f().

kl::KLContext & atlas::blockmode::currentKL (   )

Definition at line 166 of file blockmode.cpp. References atlas::blockmode::currentBlock(), atlas::kl::KLContext::fill(), atlas::klsupport::KLSupport::fill(), atlas::klc_pointer, and atlas::kls_pointer. Referenced by atlas::blockmode::currentWGraph(), atlas::klbasis_f(), atlas::kllist_f(), atlas::klwrite_f(), atlas::primkl_f(), and atlas::test_f().

wgraph::WGraph & atlas::blockmode::currentWGraph (   )

Definition at line 178 of file blockmode.cpp. References atlas::blockmode::currentKL(), atlas::kl::KLContext::rank(), atlas::WGr_pointer, and atlas::wgraph::wGraph(). Referenced by atlas::wcells_f(), and atlas::wgraph_f().

template<bool small> void dual_block_f (   )  [static]

Definition at line 370 of file blockmode.cpp. References atlas::blockmode::currentDualComplexGroup(), atlas::blockmode::currentDualRealForm(), and atlas::block_io::printBlock().

template<bool small> void dual_block_f (   )  [static]

void dual_map_f (   )  [static]

Definition at line 382 of file blockmode.cpp. References atlas::blockmode::currentBlock(), atlas::blockmode::currentDualComplexGroup(), atlas::blockmode::currentDualRealForm(), atlas::blocks::dual_map(), atlas::ioutils::foldLine(), and atlas::basic_io::seqPrint().

void dual_map_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void klbasis_f (   )  [static]

Definition at line 460 of file blockmode.cpp. References atlas::blockmode::currentKL(), and atlas::kl_io::printAllKL().

void klbasis_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void klbasis_h (   )  [static]

Definition at line 595 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void kllist_f (   )  [static]

Definition at line 472 of file blockmode.cpp. References atlas::blockmode::currentKL(), and atlas::kl_io::printKLList().

void kllist_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void kllist_h (   )  [static]

Definition at line 600 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void klwrite_f (   )  [static]

Definition at line 499 of file blockmode.cpp. References atlas::blockmode::currentKL(), atlas::interactive::open_binary_file(), atlas::kl::KLContext::polStore(), atlas::filekl::write_KL_store(), and atlas::filekl::write_matrix_file().

void klwrite_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void klwrite_h (   )  [static]

Definition at line 610 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void primkl_f (   )  [static]

Definition at line 488 of file blockmode.cpp. References atlas::blockmode::currentKL(), and atlas::kl_io::printPrimitiveKL().

void primkl_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void primkl_h (   )  [static]

Definition at line 605 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void realform_f (   )  [static]

Definition at line 290 of file blockmode.cpp. References atlas::realmode::currentRealGroup(), atlas::realmode::currentRealInterface(), atlas::commands::exitMode(), atlas::interactive::getInteractive(), and atlas::realredgp_io::Interface::swap().

void realform_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void small_dual_kgb_f (   )  [static]

Definition at line 332 of file blockmode.cpp. References atlas::bitmap::BitMap::begin(), atlas::complexredgp::ComplexReductiveGroup::cartanClasses(), atlas::blocks::common_Cartans(), atlas::blockmode::currentDualComplexGroup(), atlas::blockmode::currentDualRealForm(), atlas::blockmode::currentDualRealGroup(), atlas::realmode::currentRealGroup(), atlas::bitmap::BitMap::end(), atlas::cartanset::CartanClassSet::KGB_size(), atlas::kgb_io::printKGB(), and atlas::basic_io::seqPrint().

void small_dual_kgb_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void small_kgb_f (   )  [static]

Definition at line 311 of file blockmode.cpp. References atlas::bitmap::BitMap::begin(), atlas::complexredgp::ComplexReductiveGroup::cartanClasses(), atlas::blocks::common_Cartans(), atlas::mainmode::currentComplexGroup(), atlas::blockmode::currentDualRealGroup(), atlas::realmode::currentRealForm(), atlas::realmode::currentRealGroup(), atlas::bitmap::BitMap::end(), atlas::cartanset::CartanClassSet::KGB_size(), atlas::kgb_io::printKGB(), and atlas::basic_io::seqPrint().

void small_kgb_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void type_f (   )  [static]

Definition at line 269 of file blockmode.cpp. References atlas::commands::exitMode(), atlas::interactive::getInteractive(), and atlas::mainmode::replaceComplexGroup().

void type_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void wcells_f (   )  [static]

Definition at line 530 of file blockmode.cpp. References atlas::blockmode::currentWGraph(), and atlas::wgraph_io::printWDecomposition().

void wcells_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void wcells_h (   )  [static]

Definition at line 615 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

void wgraph_f (   )  [static]

Definition at line 523 of file blockmode.cpp. References atlas::blockmode::currentWGraph(), and atlas::wgraph_io::printWGraph().

void wgraph_f (   )  [static]

Referenced by atlas::blockmode::blockMode().

void wgraph_h (   )  [static]

Definition at line 620 of file blockmode.cpp. References atlas::io::printFile(). Referenced by atlas::blockmode::addBlockHelp().

---

Variable Documentation

blocks::Block* atlas::block_pointer = NULL [static]

Definition at line 82 of file blockmode.cpp. Referenced by atlas::block_mode_exit(), and atlas::blockmode::currentBlock().

const char* atlas::block_tag = "prints all the representations in a block" [static]

Definition at line 553 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::blockd_tag [static]

Initial value: "prints all representations in the block, alternative format" Definition at line 556 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::blockorder_tag [static]

Initial value: "shows Hasse diagram of the Bruhat order on the blocks" Definition at line 560 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::blockstabilizer_tag = "print the real Weyl group for the block" [static]

Definition at line 563 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::blocku_tag [static]

Initial value: "prints the unitary representations in the block at rho" Definition at line 558 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::blockwrite_tag = "writes the block information to disk" [static]

Definition at line 562 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::dual_block_tag = "prints a block for the dual group" [static]

Definition at line 554 of file blockmode.cpp.

complexredgp::ComplexReductiveGroup* atlas::dual_G_C_pointer = NULL [static]

Definition at line 80 of file blockmode.cpp. Referenced by atlas::block_mode_entry(), and atlas::block_mode_exit().

realredgp::RealReductiveGroup* atlas::dual_G_R_pointer = NULL [static]

Definition at line 81 of file blockmode.cpp. Referenced by atlas::block_mode_entry(), atlas::block_mode_exit(), atlas::blockmode::currentBlock(), and atlas::blockmode::currentDualRealForm().

const char* atlas::dual_map_tag = "prints a map from block to its dual block" [static]

Definition at line 555 of file blockmode.cpp.

const char* atlas::klbasis_tag = "prints the KL basis for the Hecke module" [static]

Definition at line 564 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

kl::KLContext* atlas::klc_pointer = NULL [static]

Definition at line 84 of file blockmode.cpp. Referenced by atlas::block_mode_exit(), and atlas::blockmode::currentKL().

const char* atlas::kllist_tag = "prints the list of distinct KL polynomials" [static]

Definition at line 565 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::klprim_tag = "prints the KL polynomials for primitive pairs" [static]

Definition at line 566 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

klsupport::KLSupport* atlas::kls_pointer = NULL [static]

Definition at line 83 of file blockmode.cpp. Referenced by atlas::block_mode_exit(), and atlas::blockmode::currentKL().

const char* atlas::klwrite_tag = "writes the KL polynomials to disk" [static]

Definition at line 567 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

const char* atlas::wcells_tag = "prints the Kazhdan-Lusztig cells for the block" [static]

Definition at line 569 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

wgraph::WGraph* atlas::WGr_pointer = NULL [static]

Definition at line 85 of file blockmode.cpp. Referenced by atlas::block_mode_exit(), and atlas::blockmode::currentWGraph().

const char* atlas::wgraph_tag = "prints the W-graph for the block" [static]

Definition at line 568 of file blockmode.cpp. Referenced by atlas::blockmode::addBlockHelp().

---