good_W_representatives.at

Lines:
180
Definitions:
21
Dependencies:
cyclotomic_Gaussian_elim.atconjugate.atparabolics.ataffine.atW_classes.at
Source:
GitHub

Definitions

NameSignatureDescription
Fep)=CyclotomicField:ep.vecs[0].F
eigenvaluesM,int d)=(CyclotomicField,[int]):
eigenvaluesw)=(CyclotomicField,[int]):eigenvalues(matrix(w),order(w))
eigenvectorsM,CyclotomicFieldElement z)=[CyclotomicVec]:
eigenvectorM,CyclotomicFieldElement z)=CyclotomicVec:
eigenpairsM,int d)=[EigenPair]:
eigenpairsw)=[EigenPair]:
zero_corootsrd,[CyclotomicVec] wts)=[int]:
levird,[CyclotomicVec] vecs)=RootDatum:
nested_Levis(RootDatum rd, [EigenPair] pairs)= ([int],[RootDatum]):
nested_Levis_to_semisimplerd,[int] orders,[RootDatum] levis, int d)=
centralizerrd,RootDatum rd_L)=RootDatum:
make_W_element([WeylElt] S,RootDatum rd) = WeylElt:
standardize(RootDatum rd_orig,[RootDatum] nested_levis) =
good_info(WeylElt w) =
good_infow,AffineDatum ad)=
good_reportell,AffineDatum ad)=void:
good_reportrd) = void:
run_reports
showep)=void:
showeigenpairs)=void: