Script Reference

hodge_tensor.at

Lines:
129
Definitions:
19
Dependencies:
basic.athodge_K_type_formula.attensor_product.at
Source:
GitHub

Definitions

NameSignatureDescription
branch_function_std(Param p) = multiplicity_function:
hodge_function_std(Param p) = hodge_function:
shift(vec v,hodge_function h) = hodge_function:
*(i_poly P, hodge_function f) = hodge_function:
dual->[ratvec]) weights)=(KGBElt->[ratvec]):(KGBElt x):for v in weights(x) do -v od
hodge_tensorf, (KGBElt -> [vec]) weights)=hodge_function:
hodge_tensor_wedge_k_u_cap_sf,Parabolic P_1,int k)=hodge_function:
hodge_tensor_exterior_u_cap_sf,Parabolic P)=hodge_function:
hodge_tensor_stdp, (KGBElt -> [vec]) weights,KType mu)=i_poly:
hodge_tensor_stdp, (KGBElt -> [vec]) weights)=hodge_function:
hodge_tensor_stdP, (KGBElt -> [vec]) weights,KType mu)=i_poly:
hodge_tensor_stdP, (KGBElt -> [vec]) weights)=hodge_function:
hodge_tensor_wedge_k_u_cap_s_stdp,Parabolic P_1,int k)=hodge_function:
hodge_tensor_exterior_u_cap_s_stdp,Parabolic P)=hodge_function:
Phi_S_inverse(HodgeKTypePol KP, [KType] S) = hodgeParamPol:
Omega_S_inversef,[KType] S) = hodgeParamPol:
hodge_tensor_stdp, (KGBElt -> [vec]) weights)=hodge_function:
hodge_tensor_wedge_k_u_cap_s_stdp,Parabolic P_1,int k)=hodge_function:
hodge_tensor_exterior_u_cap_s_stdp,Parabolic P)=hodge_function: