weyl_character_formula.at Function Index¶
Functions
Function | Argument(s) -> Results |
---|---|
find_ratvec_mod_vec | [ratvec] v, ratvec w->int |
reduce_ratvecs_mod_lattice | [ratvec] S->[ratvec] |
W_orbit_torus_element | RootDatum rd,ratvec v->[ratvec] |
centralizer | RootDatum rd,ratvec v->RootDatum |
QmodZ_order | ratvec v->int |
eval_char_T | vec lambda, ratvec v,cyclotomicField F->cyclotomicFieldElement |
weyl_denominator_quotient | RootDatum rd, ratvec v,cyclotomicField F->cyclotomicFieldElement |
wcf_semisimple_simply_connected | RootDatum rd, vec lambda,ratvec v,cyclotomicField F->cyclotomicFieldElement |
wcf | RootDatum rd, vec lambda, ratvec t, cyclotomicField F->cyclotomicFieldElement |
wcf_long | RootDatum rd, vec lambda,ratvec v,cyclotomicField F->(cyclotomicFieldElement,[cyclotomicFieldElement]) |
wcf | RootDatum rd, vec lambda,ratvec v->cyclotomicFieldElement |
wcf | vec lambda,(RootDatum rd,ratvec v)->cyclotomicFieldElement |
wcf | Param p, ratvec v->cyclotomicFieldElement |
wcf_long | RootDatum rd, vec lambda,ratvec v->(cyclotomicFieldElement,[cyclotomicFieldElement]) |
wcf_long | vec lambda,(RootDatum rd,ratvec v)->(cyclotomicFieldElement,[cyclotomicFieldElement]) |
wcf_strong_real | RootDatum rd, ratvec lambda,ratvec v->(rat,rat) |
wcf_strong_real | Param p,ratvec v->(rat,rat) |
wcf | [vec] weights,ratvec v->cyclotomicFieldElement |
torus_factor_x | RealForm G->(RootDatum,ratvec) |
wcf_report | RealForm G, vec lambda, ratvec t->void |
wcf_report | Param p,ratvec t->void |
wcf_report | RealForm G, int height_bound, ratvec t->void |