Script Reference

hodge_K_type_formula.at

Lines:
867
Definitions:
46
Dependencies:
hodge_functions.atK_type_formula.atbigMatrices.attensor_product.at
Source:
GitHub

Definitions

NameSignatureDescription
hodge_K_type_formula_verbose{short for hodge_K_type_formula_verbose}short for hodge_K_type_formula_verbose
char
sp
add
cut
dual->[vec]) weights) = (KGBElt->[vec]): (KGBElt x)[vec]:
deletemu,[KType] S)=[KType]:
hodge_table
lookupp_L_j,Parabolic P,[(Param,Parabolic, hodgeParamPol)] hodge_table)=
fill_outktypes, int N)=[KType]:
fill_out_recursivelyktypes, int N)=
hodgePrintPolyMatrixM,int space_size)= void:printPolyMatrix(M,space_size,"v")
hodgePrintPolyMatrix(i_poly_mat M) = void: hodgePrintPolyMatrix(M,3)
mu(Param p) = rat:
uniquelist)=[Param]:
unionlists)=[Param]:
uniquelist)=[KType]:
unionlists)=[KType]:
starting_set_of_K_typesmu,Parabolic P,int N)=
hodge_K_type_formulamu_G_orig, int N)=
hodge_K_type_formula_debuggingmu_G_orig, int N)=
hodge_K_type_formula_oldmu_G_orig, int N)=hodgeParamPol:
hodge_K_type_mat_longmu, int N,[KType] ktypes)=(int,[KType],i_poly_mat,i_poly_mat):
hodge_K_type_mat_longmu, int N)=(int,[KType],i_poly_mat,i_poly_mat):
hodge_K_type_matmu, int N,[KType] ktypes)=(i_poly_mat,i_poly_mat):
hodge_K_type_matmu, int N)=(i_poly_mat,i_poly_mat):
test_hodge_K_type_matmu,int N)=(i_poly_mat,[bool],bool):
test_hodge_K_type_matmus,int N)=([([[vec]],bool)],bool):
hodge_K_type_mat_trivialG, int N)=let (a,b,A,B)=hodge_K_type_mat_long(LKT(trivial(G)),N)
Phi_Sp, int N)=HodgeKTypePol:
Phi_SP, int N)=HodgeKTypePol:
Phi_SP, int N)=HodgeKTypePol:
Phi_Sp, [KType] S)=HodgeKTypePol:Phi_S(p,max(for mu in S do K_norm(mu) od))
Phi_SP, [KType] S)=HodgeKTypePol:Phi_S(P,max(for mu in S do K_norm(mu) od))
Phi_SP, [KType] S)=HodgeKTypePol:Phi_S(P,max(for mu in S do K_norm(mu) od))
hodge_branch_stdp, int N)=HodgeKTypePol:
hodge_branch_stdP, int N)=HodgeKTypePol:
hodge_branch_stdP, int N)=HodgeKTypePol:
hodge_formula_irrp)=hodgeParamPol:
hodge_branch_irrp,int N)=
hodge_function_stdp)=hodge_function:
columnktypes,i_poly_mat M,int i,RealForm G)= HodgeKTypePol:
print_hodge_stdp,int bound)=show(hodge_branch_std(p,bound))
print_hodge_std_longp,int bound)=show_long(hodge_branch_std(p,bound))
print_hodge_irrp,int bound)=show(hodge_branch_irr(p,bound))
print_hodge_irr_longp,int bound)=show_long(hodge_branch_irr(p,bound))