finite_dimensional.at Function References


is_finite_dimensional

is_finite_dimensional:Param p->bool Defined in line number 6.

Whether p is finite dimensional

fd_only

fd_only:Param p->Param Defined in line number 11.

For protecting functions intended for finite dimensional parameters only

dimension_rat

dimension_rat:RootDatum rd, ratvec lambda_in->rat Defined in line number 17.

Dimension of finite dimensional, valid up to 2^63-1

dimension

dimension:RootDatum rd, ratvec lambda_in->int Defined in line number 30.

Dimension of finite dimensional, valid up to 2^31-1

highest_weight_finite_dimensional

highest_weight_finite_dimensional:Param p->vec Defined in line number 34.

Highest weight of finite dimensional in X^* coordinates

on_fundamental_weights

on_fundamental_weights:ratvec v,RootDatum rd->vec Defined in line number 37.


fundamental_weight_coordinates

fundamental_weight_coordinates:Param p->vec Defined in line number 41.

Fundamental weight coordinates of finite dimensional parameter

dimension_rat

dimension_rat:Param p->rat Defined in line number 45.

Dimension of finite dimensional parameter, valid up to 2^63-1

dimension

dimension:Param p->int Defined in line number 49.

Dimension of finite dimensional parameter, valid up to 2^31-1

complex_LKT

complex_LKT:Param p->vec Defined in line number 53.