Atlas of Lie Groups and Representations

Documentation contents

Script File

modules.at

Source
atlas-scripts/modules.at (156 lines)
Definitions
46
Loads
Loaded by
stable.at

Definitions in source order

tag_Param, tag_ParamPol type

L6
set_type
[ tag_Param = (Param param, string tag)
, tag_ParamPol = (ParamPol pol, string tag)
]

Fields: param, tag, pol, tag

std

L11!std = "std"

irr

L12!irr = "irr"

K_types

L13!K_types = "K_types"

I

L15I (Param p) = tag_Param

also defined in generics.at

J

L17J(Param p) = tag_Param
Commented-out code, lines 22–22 (1 lines)
set kgb_number(KGBElt x)=int: use #@KGBElt from basic.at for this

to_str

L24to_str (Param p) = string

also in this file at line 34, line 42, line 45

to_str_std

L27to_str_std (Param p) = string

to_str_irr

L29to_str_irr (Param p) = string

to_str_K_types

L31to_str_K_types(Param p) = string

to_str 3 overloads

L34to_str (tag_Param(p,type)) = string
L42to_str (ParamPol P) = [string]
L45to_str (ParamPol P,string type) = [string]

also in this file at line 24

array_prints

L48array_prints ([string] A) = void
print strings, one per line

composition_series 2 overloads

L52composition_series (Param p,string type) = tag_ParamPol
composition series of (p,std,[...])
L57composition_series (tag_ParamPol(P,type)) = tag_ParamPol
composition series of linear combination of standards (ParamPol P,std)

character_formula 2 overloads

L62character_formula (tag_Param(p,type)) = tag_ParamPol
character formula of (p,irr,[...]
L67character_formula (tag_ParamPol(P,type)) = tag_ParamPol
character formula of linear combination of standards (ParamPol P,irr)

also defined in extParamPol.at

show 4 overloads

L71show (ParamPol P) = void
L72show (tag_ParamPol(,type):tP) = void
L75show(tag_Param tP) = void
L78show(KGBElt x,ratvec lambda) = void
the 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

as_pol

L82as_pol (tag_Param(p,type)) = tag_ParamPol

also defined in basic.at

=

L87= (tag_Param(p,type_p),tag_Param(q,type_q)) = bool

also in this file at line 97, line 130; also defined in basic.at, combinatorics.at

character

L92character (tag_ParamPol (P,type)) = ParamPol

also defined in combinatorics.at, W_reps.at

=

L97= (tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ) = bool

also in this file at line 87, line 130; also defined in basic.at, combinatorics.at

+ 3 overloads

L101+ (tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ) = tag_ParamPol
add possibly mixed type polynomials, imposing the type of first argument P
L107+ (tag_Param(p,type_p),tag_Param(q,type_q)) = tag_ParamPol
L110+ (tag_ParamPol(P,type_P),tag_Param(q,typeq)) = tag_ParamPol

also defined in basic.at, extParamPol.at

cannot also have +@(tag_Param,tag_ParamPol): would create coercion ambiguity
L113

- 5 overloads

L116- (tag_ParamPol(P,type)) = tag_ParamPol
unary -
L117- (tag_Param(p,type)) = tag_ParamPol
L120- (tag_ParamPol(P,type_P),tag_ParamPol(Q,type_Q)) = tag_ParamPol
binary -
L122-(tag_Param(p,typep),tag_ParamPol(Q,type_Q)) = tag_ParamPol
L124- (tag_Param(p,typep),tag_Param(q,typeq)) = tag_ParamPol

also defined in basic.at, extParamPol.at

* 2 overloads

L127* (Split w,tag_ParamPol(P,type)) = tag_ParamPol
L128* (Split w,tag_Param(p,type)) = tag_ParamPol

also defined in basic.at, extParamPol.at, complex.at, hodge_tensor.at, tits_centralizer.at, stable.at

=

L130= (tag_ParamPol(P,type_P),tag_Param(q,typeq)) = bool

also in this file at line 87, line 97; also defined in basic.at, combinatorics.at

infinitesimal_character

L133infinitesimal_character (tag_Param(p,)) = ratvec

also in this file at line 142; also defined in basic.at, sommers.at

has_infinitesimal_character

L136has_infinitesimal_character (ParamPol P) = bool

also defined in stable.at

infinitesimal_character

L142infinitesimal_character (tag_ParamPol (P,)) = ratvec

also in this file at line 133; also defined in basic.at, sommers.at

tau

L145tau (tag_Param (p,)) = [int]

also defined in basic.at, sub_cells.at

in_tau

L146in_tau (int s,tag_Param(p,)) = bool

also defined in stable.at, sub_cells.at

in_tau_complement

L148in_tau_complement((int,tag_Param) pair) = bool

also defined in stable.at

tau_complement

L149tau_complement (tag_Param(p,)) = [int]

also defined in basic.at

status

L151status (int s,tag_Param (p,)) = int

also defined in basic.at

branch

L153branch (tag_Param(p,type), int bound) = KTypePol

also defined in basic.at

Generated from atlas-scripts at commit 7e1b958 (2026-09-17).