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