Script Reference

bruhat.at

Lines:
171
Definitions:
24
Dependencies:
tabulate.atW_orbit.atsort.at
Source:
GitHub

Definitions

NameSignatureDescription
descends,KGBElt x)=[KGBElt]:
bruhat_leqx,KGBElt y)=bool:
bruhat_geqx,KGBElt y)=bool:bruhat_leq(y,x)
bruhat_leqx)=[KGBElt]: ##for y in KGB(x.real_form) do if bruhat_leq(x,y) then [y] else [] fi od
bruhat_geqx)=[KGBElt]: ##for y in KGB(x.real_form) do if bruhat_geq(x,y) then [y] else [] fi od
bruhat_leqG)=[[bool]]:
bruhat_geqG)=[[bool]]:
bruhatx,KGBElt y)=bool:bruhat_leq(x,y)
bruhatG)=[[bool]]:bruhat_leq(G)
show_bruhat_leqG)=void:
show_bruhat_geqG)=void:
show_bruhatG)=void:show_bruhat_leq(G)
lengthenss,WeylElt w)=bool:
shortenss,WeylElt w)=bool:not lengthens(s,w)
bruhat_W_leqx,WeylElt y)=bool:
bruhat_W_geqx,WeylElt y)=bool:bruhat_W_leq(y,x)
bruhat_Wx,WeylElt y)=bool:bruhat_W_leq(x,y)
bruhatx,WeylElt y)=bool:bruhat_W(x,y)
sort_by_length= ([WeylElt] -> [WeylElt]):
sort_by_length_descending= ([WeylElt] -> [WeylElt]):
show_bruhat_W_leqrd)=void:
show_bruhat_W_geqrd)=void:
show_bruhat_Wrd)=void:show_bruhat_W_leq(rd)
show_bruhatrd)=void:show_bruhat_W_leq(rd)