|
| | non_integral_block (const repr::Rep_context &rc, StandardRepr sr, BlockElt &entry_element) |
| |
| | non_integral_block (const repr::Rep_context &rc, StandardRepr sr) |
| |
| virtual BlockElt | element (KGBElt x, KGBElt y) const |
| | Look up element by |x|, |y| coordinates. More...
|
| |
| virtual std::ostream & | print (std::ostream &strm, BlockElt z, bool as_invol_expr) const |
| |
| RatWeight | y_part (BlockElt z) const |
| |
| const InnerClass & | innerClass () const |
| |
| const InvolutionTable & | involution_table () const |
| |
| RealReductiveGroup & | realGroup () const |
| |
| const RatWeight & | gamma () const |
| |
| KGBElt | parent_x (BlockElt z) const |
| |
| const TorusElement & | y_rep (KGBElt y) const |
| |
| RatWeight | nu (BlockElt z) const |
| |
| Weight | lambda_rho (BlockElt z) const |
| |
| RatWeight | lambda (BlockElt z) const |
| |
| RankFlags | singular_simple_roots () |
| |
| bool | survives (BlockElt z) const |
| |
| BlockEltList | survivors_below (BlockElt z) const |
| |
| virtual KGBElt | xsize () const |
| |
| virtual KGBElt | ysize () const |
| |
| virtual const TwistedInvolution & | involution (BlockElt z) const |
| |
| | Block_base (const KGB &kgb, const KGB &dual_kgb) |
| |
| | Block_base (unsigned int rank) |
| |
| virtual | ~Block_base () |
| |
| | Block_base (const Block_base &b) |
| |
| size_t | rank () const |
| |
| size_t | folded_rank () const |
| |
| size_t | size () const |
| |
| const DynkinDiagram & | Dynkin () const |
| |
| ext_gen | orbit (weyl::Generator s) const |
| |
| const std::vector< ext_gen > & | fold_orbits () const |
| |
| KGBElt | x (BlockElt z) const |
| |
| KGBElt | y (BlockElt z) const |
| |
| size_t | length (BlockElt z) const |
| |
| BlockElt | length_first (size_t l) const |
| |
| BlockElt | cross (weyl::Generator s, BlockElt z) const |
| |
| BlockEltPair | cayley (weyl::Generator s, BlockElt z) const |
| |
| BlockEltPair | inverseCayley (weyl::Generator s, BlockElt z) const |
| |
| const DescentStatus & | descent (BlockElt z) const |
| |
| DescentStatus::Value | descentValue (weyl::Generator s, BlockElt z) const |
| |
| bool | isWeakDescent (weyl::Generator s, BlockElt z) const |
| |
| bool | isStrictAscent (weyl::Generator, BlockElt) const |
| | Tells if s is a strict ascent generator for z. More...
|
| |
| bool | isStrictDescent (weyl::Generator, BlockElt) const |
| | Tells if s is a strict descent generator for z. More...
|
| |
| weyl::Generator | firstStrictDescent (BlockElt z) const |
| | Returns the first descent for z (the number of a simple root) that is not imaginary compact, or rank() if there is no such descent. More...
|
| |
| weyl::Generator | firstStrictGoodDescent (BlockElt z) const |
| | Returns the first descent for z (the number of a simple root) that is either complex or real type I; if there is no such descent returns |rank()|. More...
|
| |
| BlockElt | Hermitian_dual (BlockElt z) const |
| |
| BlockEltPair | link (weyl::Generator alpha, weyl::Generator beta, BlockElt y) const |
| |
| std::ostream & | print_to (std::ostream &strm, bool as_invol_expr) const |
| |
| BruhatOrder & | bruhatOrder () |
| |
| kl::KLContext & | klc (BlockElt last_y, bool verbose) |
| |
Look up element by |x|, |y| coordinates.
Precondition: |x| and |y| should be compatible: such a block element exists
This uses the |d_first_z_of_x| table to locate the range where the |x| coordinates are correct; then comparing the given |y| value with the first one present for |x| (there must be at least one) we can predict the value directly, since for each fixed |x| value the values of |y| are consecutive.
Reimplemented from atlas::blocks::Block_base.