atlas Library · Script File
modules.at
Definitions in source order
tag_Param, tag_ParamPol type
set_type [ tag_Param = (Param param, string tag) , tag_ParamPol = (ParamPol pol, string tag) ]
Fields: param, tag, pol, tag
std
!std = "std"irr
!irr = "irr"K_types
!K_types = "K_types"also defined in K_highest_weights.at
I
I (Param p) = tag_Paramalso defined in generics.at
J
J(Param p) = tag_Paramto_str
to_str (Param p) = stringto_str_std
to_str_std (Param p) = stringto_str_irr
to_str_irr (Param p) = stringto_str_K_types
to_str_K_types(Param p) = stringto_str 3 overloads
to_str (tag_Param(p,type)) = stringto_str (ParamPol P) = [string]to_str (ParamPol P,string type) = [string]also in this file at line 24
array_prints
array_prints ([string] A) = voidprint strings, one per line
composition_series 2 overloads
composition_series (Param p,string type) = tag_ParamPolcomposition series of (p,std,[...])
composition_series (tag_ParamPol(P,type)) = tag_ParamPolcomposition series of linear combination of standards (ParamPol P,std)
also defined in kl.at
character_formula 2 overloads
character_formula (tag_Param(p,type)) = tag_ParamPolcharacter formula of (p,irr,[...]
character_formula (tag_ParamPol(P,type)) = tag_ParamPolcharacter formula of linear combination of standards (ParamPol P,irr)
also defined in extParamPol.at, kl.at
show 4 overloads
show (ParamPol P) = voidshow (tag_ParamPol(,type):tP) = voidshow(tag_Param tP) = voidshow(KGBElt x,ratvec lambda) = voidthe following supports the type KParam defined in K_parameter.at
also defined in K_Nilpotent.at, good_W_representatives.at, arthur_parameters.at, sub_cells.at, associated_variety_annihilator.at, geck_generic.at, L_packet.at, ratmat.at, Levi_subgroups.at, nilpotent_orbits.at, subgroups.at, poset.at, cyclotomic.at, polynomial.at, character_tables.at, springer_tables.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, weak_packets.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at, exceptional.at, nilpotent_posets.at, lazy_lists.at
as_pol
as_pol (tag_Param(p,type)) = tag_ParamPolalso defined in basic.at
=
= (tag_Param(p,type_p),tag_Param(q,type_q)) = boolalso in this file at line 97, line 130; also defined in basic.at, combinatorics.at, parabolics.at, synthetic.at, hash.at, tits.at, K_highest_weights.at, nilpotent_orbits.at, cyclotomic.at, polynomial.at, W_reps_type_BC.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, extended.at, disconnected.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at
character
character (tag_ParamPol (P,type)) = ParamPolalso defined in combinatorics.at, W_reps.at, character_tables.at, character_table_reps.at
=
= (tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ) = boolalso in this file at line 87, line 130; also defined in basic.at, combinatorics.at, parabolics.at, synthetic.at, hash.at, tits.at, K_highest_weights.at, nilpotent_orbits.at, cyclotomic.at, polynomial.at, W_reps_type_BC.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, extended.at, disconnected.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at
+ 3 overloads
+ (tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ) = tag_ParamPoladd possibly mixed type polynomials, imposing the type of first argument P
+ (tag_Param(p,type_p),tag_Param(q,type_q)) = tag_ParamPol+ (tag_ParamPol(P,type_P),tag_Param(q,typeq)) = tag_ParamPolalso defined in basic.at, extParamPol.at, ratmat.at, cyclotomic.at, polynomial.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at, hodge_functions.at, lazy_lists.at
cannot also have +@(tag_Param,tag_ParamPol): would create coercion ambiguityL113
- 5 overloads
- (tag_ParamPol(P,type)) = tag_ParamPolunary -
- (tag_Param(p,type)) = tag_ParamPol- (tag_ParamPol(P,type_P),tag_ParamPol(Q,type_Q)) = tag_ParamPolbinary -
-(tag_Param(p,typep),tag_ParamPol(Q,type_Q)) = tag_ParamPol- (tag_Param(p,typep),tag_Param(q,typeq)) = tag_ParamPolalso defined in basic.at, extParamPol.at, ratmat.at, cyclotomic.at, polynomial.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, cyclotomicMat.at, hodge_functions.at, lazy_lists.at
* 2 overloads
* (Split w,tag_ParamPol(P,type)) = tag_ParamPol* (Split w,tag_Param(p,type)) = tag_ParamPolalso defined in basic.at, extParamPol.at, complex.at, hodge_tensor.at, tits_centralizer.at, stable.at, synthetic.at, Weylgroup.at, group_operations.at, ratmat.at, tits.at, twisted_root_datum.at, cyclotomic.at, polynomial.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at, hodge_functions.at, sparse.at, lazy_lists.at
=
= (tag_ParamPol(P,type_P),tag_Param(q,typeq)) = boolalso in this file at line 87, line 97; also defined in basic.at, combinatorics.at, parabolics.at, synthetic.at, hash.at, tits.at, K_highest_weights.at, nilpotent_orbits.at, cyclotomic.at, polynomial.at, W_reps_type_BC.at, hodgeParamLaurentPol.at, hodgeParamPol.at, laurentPolynomial.at, extended.at, disconnected.at, cyclotomic_Lie_algebra.at, cyclotomicMat.at, bracket.at
infinitesimal_character
infinitesimal_character (tag_Param(p,)) = ratvecalso in this file at line 142; also defined in basic.at, sommers.at
has_infinitesimal_character
has_infinitesimal_character (ParamPol P) = boolalso defined in stable.at
infinitesimal_character
infinitesimal_character (tag_ParamPol (P,)) = ratvecalso in this file at line 133; also defined in basic.at, sommers.at
tau
tau (tag_Param (p,)) = [int]also defined in basic.at, sub_cells.at, hodge_normalize.at
in_tau
in_tau (int s,tag_Param(p,)) = boolalso defined in stable.at, sub_cells.at
in_tau_complement
in_tau_complement((int,tag_Param) pair) = boolalso defined in stable.at
tau_complement
tau_complement (tag_Param(p,)) = [int]also defined in basic.at
status
status (int s,tag_Param (p,)) = intalso defined in basic.at
branch
branch (tag_Param(p,type), int bound) = KTypePolalso defined in basic.at
Generated from atlas-scripts at commit 648506c (2026-10-13).
Commented-out code, lines 22–22 (1 lines)