Script Reference

associated_variety_annihilator.at

Lines:
455
Definitions:
32
Dependencies:
truncated_induction.atsub_cells.atK_types.atspecial_rep.at
Source:
GitHub

Definitions

NameSignatureDescription
av_verbose
restrict_character_longrd ,RootDatum L,CharacterTable ct_rd,CharacterTable ct_int,[int] char)=
associated_variety_ann_ind(Param p,SpringerTable st_rd,WCell cell) =
associated_variety_ann_ind(Param p,WCell cell) = ComplexNilpotent:
associated_variety_ann_indp,SpringerTable st_G,CharacterTable ct_int)=ComplexNilpotent:
associated_variety_ann_indp,SpringerTable st_G) = ComplexNilpotent:
associated_variety_ann_indp) = ComplexNilpotent:
associated_variety_int(SpringerTable st,WCell cell) =ComplexNilpotent:
associated_variety_intst)=(WCell->ComplexNilpotent):(WCell cell):associated_variety_int(st,cell)
associated_variety_intst,Param p)=ComplexNilpotent:associated_variety_int(st,W_cell_of(Finalize(p)))
associated_variety_intst)=(Param->ComplexNilpotent):(Param p):associated_variety_int(st,W_cell_of(Fin
associated_variety_ann_resst_rd,WCell cell) =
associated_variety_ann_resrd,WCell cell)=ComplexNilpotent:
associated_variety_ann_resp,SpringerTable st_rd)=ComplexNilpotent:
associated_variety_ann_resp) = ComplexNilpotent:
associated_variety_ann_res_testst_rd,WCell cell)=
associated_variety_ann=
associated_variety_ann= (SpringerTable,WCell->ComplexNilpotent):
associated_variety_ann= (RootDatum,WCell->ComplexNilpotent):
associated_variety_ann=
associated_variety_ann= (Param->ComplexNilpotent):
GK_dimp) = int:
showdata)=void:
associated_variety_ann_res_complexp)=ComplexNilpotent:
av_maximal_ideal_0G,ratvec gamma,SpringerTable st,CharacterTable ct_int)=
av_maximal_ideal_0rd,ratvec gamma,SpringerTable st_C)=
av_maximal_ideal_0(RootDatum G,ratvec gamma) =
av_maximal_ideal(SpringerTable st,ratvec gamma) = ComplexNilpotent:
av_maximal_idealrd,ratvec gamma)=
test_av_maximal_idealst) = bool:
test_av_maximal_ideal(RootDatum rd) = bool:
GK_dim_maximal_idealrd,ratvec gamma) = int: