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