Script Reference
GK_dimension.at
Gelfand–Kirillov dimension of irreducible representations.
Mathematical background
The Gelfand–Kirillov dimension of a module \(M\) is \(\dim(\text{Ass.Var}(M))/2\), where the associated variety is a \(K_{\mathbb{C}}\)-stable Lagrangian subvariety of the nilpotent cone.
Definitions
| Name | Signature | Description |
|---|---|---|
| dim_K_types_std_upto | (Param p, int n) = int: dimension(branch_std(p,n)) | |
| truncate | (ParamPol P, int n) = ParamPol: | |
| slice | (ParamPol P, int n)= | |
| rounded_log_2 | (rat r) = int: | |
| sort_K_types_by_log_2_height | (KTypePol P, int exp) = [KTypePol]: | |
| growth | ([KTypePol] list)= [int]: | |
| growth_std | (Param p, int n) = [int]: | |
| growth_irr | (Param p, int n) = [int]: |