K_parameters.at Function References¶
x¶
x:K_Type p->KGBElt
Defined in line number 33.lambda¶
lambda:K_Type p->ratvec
Defined in line number 34.dlambda¶
dlambda:K_Type p->ratvec
Defined in line number 41.dlambda¶
dlambda:Param p->ratvec
Defined in line number 42.K_type¶
K_type:Param p->K_Type
Defined in line number 44.parameter¶
parameter:K_Type p->Param
Defined in line number 46.=¶
=:K_Type p,K_Type q->bool
Defined in line number 50.make_no_Cminus¶
make_no_Cminus:K_Type p->K_Type
Defined in line number 52.length¶
length:KHighestWeight (x,mu)->rat
Defined in line number 60.K_Type¶
(KGBElt,ratvec)
Defined in line number 29.K_Type_Pol¶
ParamPol
Defined in line number 30.KHighestWeight¶
(KGBElt,vec)
Defined in line number 31.