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.