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)