Script File
print_K_types.at
this file used to be called K_types.at now consists almost exclusively of printing functions
Definitions in source order
print_branch_irr 2 overloads
L12
print_branch_irr (ParamPol P,KGBElt x,int bound) = voidL18
print_branch_irr (ParamPol P,int bound) = voidprint_branch_irr_long 2 overloads
L29
print_branch_irr_long (ParamPol P,KGBElt x,int bound) = voidK-types of sum of irreducibles P, up to given bound, sorted by height, the output includes multiplicity, highest weight (on the identity component of K), dimension and height
L43
print_branch_irr_long (ParamPol P,int bound) = voidprint_branch_K_irr_long 2 overloads
L49
print_branch_K_irr_long (ParamPol P, KGBElt x, int bound) = voidsimilar to print_branch_irr_long, except that K-types are given by their highest weight on K_0
L61
print_branch_K_irr_long(ParamPol P, int bound) = voidprint_branch_irr 2 overloads
L66
print_branch_irr (Param p, int bound) = voidthese definitions promote Param->ParamPol without relying on coercion
L68
print_branch_irr (Param p, int bound) = voidprint_branch_irr_long 2 overloads
L70
print_branch_irr_long (Param p,KGBElt x, int bound) = voidL72
print_branch_irr_long (Param p, int bound) = voidprint_branch_std 3 overloads
L75
print_branch_std (KTypePol P,KGBElt x,int bound) = voidL81
print_branch_std (KTypePol P,int bound) = voidL88
print_branch_std (KTypePol P,int bound) = voiddefault to x=KGB(G,0)
print_branch_std_long 2 overloads
L95
print_branch_std_long (KTypePol P,KGBElt x,int bound) = voidK-types of standard p, up to given bound, sorted by height, the output includes multiplicity, highest weight (on the identity component of K), dimension and height
L109
print_branch_std_long (KTypePol P,int bound) = voidprint_branch_K_std_long 2 overloads
L116
print_branch_K_std_long(KTypePol P, KGBElt x, int bound) = voidsimilar to print_branch_std_long, except that K-types are given by their highest weight on K_0
L125
print_branch_K_std_long (KTypePol P, int bound) = voidprint_branch_std 2 overloads
L130
print_branch_std (KType p,KGBElt x, int bound) = voidthese definitions promote KType->KTypePol without relying on coercion
L132
print_branch_std (KType p, int bound) = voidprint_branch_std_long 2 overloads
L134
print_branch_std_long (KType p,KGBElt x, int bound) = voidL136
print_branch_std_long (KType p, int bound) = voidprint_K_signature_irr 2 overloads
L139
print_K_signature_irr (Param p,KGBElt x,int bound) = voidL149
print_K_signature_irr (Param p,int bound) = voidGenerated from atlas-scripts at commit 7e1b958 (2026-09-17).