K_parameters.at Function IndexΒΆ
Functions
Function | Argument(s) -> Results |
---|---|
x | K_Type p->KGBElt |
lambda | K_Type p->ratvec |
dlambda | K_Type p->ratvec |
dlambda | Param p->ratvec |
K_type | Param p->K_Type |
parameter | K_Type p->Param |
= | K_Type p,K_Type q->bool |
make_no_Cminus | K_Type p->K_Type |
length | KHighestWeight (x,mu)->rat |
Data Types
Data Type Name | Definition |
---|---|
K_Type | (KGBElt,ratvec) |
K_Type_Pol | ParamPol |
KHighestWeight | (KGBElt,vec) |