Script Reference

coherent_irreducible.at

Lines:
532
Definitions:
90
Dependencies:
basic.atW_reps.atcoherent.athodgeParamLaurentPol.atstable.at
Source:
GitHub

Definitions

NameSignatureDescription
length_sign(int k,int l) =int: minus_1^(k-l)
sign(Param p,Param q)=int: length_sign(length(p),length(q))
W_graph_of(Param p) = let (,g)=W_graph(p) in (p.root_datum,g)
mu(WGraph graph,int i,int j) = int:
muparams,WGraph graph, Param p,Param q)=int:
graph_Hecke_action(WGraph graph,int s) = sparse_mat:
graph_Hecke_action_column(WGraph graph,int col_number,int s) =
graph_Hecke_irr_action_column(WGraph graph,int col_number,int s) =
graph_Hecke_irr_action([Param] params,WGraph graph,int s) = sparse_mat:
graph_Hecke_action([sparse_mat] matrices,int col_number,int s) =
coherent_irrblock,WGraph graph,Param p,int s) = ParamPol:
coherent_irr([Param] block,WGraph graph,ParamPol P,int s) = ParamPol:
coherent_irr([Param] block,WGraph graph,Param p,[int] w) = ParamPol:
coherent_irr([Param] block,WGraph graph,ParamPol P,[int] w) = ParamPol:
coherent_irr([Param] block,WGraph graph,Param p,WeylElt w) = ParamPol:
coherent_irr([Param] block,WGraph graph,ParamPol P,[int] w) = ParamPol:
coherent_irr([Param] block,WGraph graph,ParamPol P,WeylElt w) = ParamPol:
coherent_irr_new(Param p,int s) = ParamPol:
coherent_irr_new(ParamPol P,int s) = ParamPol:
coherent_irr_new(Param p,[int] w) = ParamPol:
coherent_irr_new(ParamPol P,[int] w) = ParamPol:
coherent_irr_new(Param p,WeylElt w) = ParamPol:
coherent_irr_new(ParamPol P,WeylElt w) = ParamPol:
tT([Param] params,WGraph graph,Param p,int i {simple root}) =simple root
tT([Param] params,WGraph graph,hodgeParamLaurentPol hplp,int i)=
tT([Param] params,WGraph graph,hodgeParamPol hpp,int i) =
tT([Param] params,WGraph graph,hodgeParamLaurentPol hplp,[int] w) =
tT([Param] params,WGraph graph,hodgeParamLaurentPol hplp,WeylElt w) =
T([Param] params,WGraph graph,Param p,int i) = hodgeParamLaurentPol:
Tparams,WGraph graph,hodgeParamLaurentPol hplp,int i) =
T([Param] params,WGraph graph,hodgeParamPol hpp,int i) =
T([Param] params,WGraph graph,hodgeParamLaurentPol hplp,[int] w) =
Tparams,WGraph graph,hodgeParamPol hpp,WeylElt w) =
T_inv([Param] params,WGraph graph,Param p,int i) = hodgeParamLaurentPol:
T_invparams,WGraph graph,hodgeParamLaurentPol hplp,int i)=hodgeParamLaurentPol:
Sparams,WGraph graph,Param p,int i)=hodgeParamLaurentPol:minus_1*T(params,graph,p,i)
Sparams,WGraph graph,hodgeParamLaurentPol hplp,int i)=hodgeParamLaurentPol:minus_1*T(params,graph,hpl
Sparams,WGraph graph,hodgeParamPol hpp,int i)=hodgeParamLaurentPol:S(params,graph,hodge_param_laurent
Sparams,WGraph graph, hodgeParamLaurentPol hplp,[int] w)=hodgeParamLaurentPol:
Sparams,WGraph graph,Param p,[int] w)=hodgeParamLaurentPol:
Sparams,WGraph graph, hodgeParamLaurentPol hplp,WeylElt w)=hodgeParamLaurentPol:
Sparams,WGraph graph, Param p,WeylElt w)=hodgeParamLaurentPol:
S_invparams,WGraph graph,Param p,int i)=hodgeParamLaurentPol:minus_1*T_inv(params,graph,p,i)
S_invparams,WGraph graph,hodgeParamLaurentPol hplp,int i)=hodgeParamLaurentPol:minus_1*T_inv(params,graph
S_invparams,WGraph graph,hodgeParamPol hpp,int i)=hodgeParamLaurentPol:S_inv(params,graph,hodge_param_lau
S_invparams,WGraph graph, hodgeParamLaurentPol hplp,[int] w)=hodgeParamLaurentPol:
S_invparams,WGraph graph,Param p,[int] w)=hodgeParamLaurentPol:
S_invparams,WGraph graph, hodgeParamPol hpp,[int] w)=hodgeParamLaurentPol:
S_invparams,WGraph graph, hodgeParamLaurentPol hplp,WeylElt w)=hodgeParamLaurentPol:
S_invparams,WGraph graph, Param p,WeylElt w)=hodgeParamLaurentPol:
S_invparams,WGraph graph, hodgeParamPol hpp,WeylElt w)=hodgeParamLaurentPol:
graded_standardstd)=hodgeParamLaurentPol:
reversehplp)=ParamPol: character_formula(hplp.v_to_1)
quad_testparams,WGraph graph,hodgeParamLaurentPol hplp,int i)=
quad_testparams,WGraph graph,Param p,int i)=
quad_testparams,WGraph graph,[Param] list,int i)=
crossparams,WGraph graph, hodgeParamLaurentPol hplp,int i)=
crossparams,WGraph graph, hodgeParamPol hpp,int i)=
crossparams,WGraph graph, ParamPol P,int i)=
crossparams,WGraph graph, Param p,int i)=
crossparams,WGraph graph,hodgeParamLaurentPol hplp,[int] w)=
crossparams,WGraph graph,hodgeParamPol hpp,[int] w)=
crossparams,WGraph graph,ParamPol P,[int] w)=
crossparams,WGraph graph,Param p,[int] w)=
icrossparams,WGraph graph,hodgeParamLaurentPol hplp,int i)=
crossparams,WGraph graph,hodgeParamPol hpp,int i)=hodgeParamLaurentPol:
cross_gradedparams,WGraph graph,Param p,int i)=
cross_gradedparams,WGraph graph,Param p,[int] w)=
icrossparams,WGraph graph, hodgeParamPol hpp,int i)=hodgeParamLaurentPol:
icrossparams,WGraph graph, Param p,int i)=
icross_gradedparams,WGraph graph, Param p,int i)=
cross_squareparams,WGraph graph, hodgeParamLaurentPol hplp,int i)=
cross_squareparams,WGraph graph, hodgeParamPol hpp,int i)=
cross_squareparams,WGraph graph, Param p,int i)=
cross_squareparams,WGraph graph, ParamPol P,int i)=
cross_square_testparams,WGraph graph, ParamPol P,int i)=bool:
cross_square_testparams,WGraph graph, Param p,int i)=bool:
coherent_irr([Param] block_reg,WGraph graph_reg,Param p,int s) = ParamPol:
h_initG)=
is_positivehplp)=bool:
S_inv_plusparams,WGraph graph, hodgeParamLaurentPol hplp,[int] w)=
h_testG)=
h_testlist)=void:for G in list do prints(new_line,G);h_test(G) od
listSp(6,R),Spin(4,3),Spin(5,4),G2_s]
millers_crossingparams,WGraph graph, Param p,WeylElt w)=hodgeParamLaurentPol:
millers_crossingparams,WGraph graph, Param p,[int] w)=hodgeParamLaurentPol:
millers_crossing_singparams,WGraph graph, Param p,WeylElt w)=hodgeParamLaurentPol:
millers_crossing_singparams,WGraph graph, Param p,[int] w)=hodgeParamLaurentPol:
theta_induce_irreducible_wgraph([Param] block, WGraph graph, Param p, RealForm G)=ParamPol:
theta_induce_irreducible_wgraph(Param p, RealForm G)=ParamPol: