extParamPol.at Function References


*

*:Split s,ExtParamPol (P_plus,P_minus,P_ind)->ExtParamPol Defined in line number 11.


extParamPol

extParamPol:ExtParam E->ExtParamPol Defined in line number 13.


extParamPol

extParamPol:Param p,int type->ExtParamPol Defined in line number 21.


+

+:ExtParamPol (P_plus_1,P_minus_1,P_ind_1),ExtParamPol (P_plus_2,P_minus_2,P_ind_2)->ExtParamPol Defined in line number 30.


-

-:ExtParamPol (P_plus_1,P_minus_1,P_ind_1),ExtParamPol (P_plus_2,P_minus_2,P_ind_2)->ExtParamPol Defined in line number 31.


+

+:ExtParamPol P,[ExtParamPol] Q->P in for R in Q do rv+ Defined in line number 32.


+

+:ExtParamPol P,(Split S,Param p,int type)->ExtParamPol Defined in line number 33.


display

display:ExtParamPol (A,B,C)->void:prints("plus:",A,new_line,"minus:",B,new_line,"induced Defined in line number 35.


null_ext_module

null_ext_module:RealForm G->ExtParamPol Defined in line number 36.


find

find:[(int,int)] complete_indices,(int,int) pair->int:first(#complete_indices,(int i)bool Defined in line number 37.


deform_unreduced

deform_unreduced:Param p, mat delta, int type->ExtParamPol Defined in line number 46.


deform

deform:Param p,mat delta, int type->ExtParamPol Defined in line number 90.


deform_old

deform_old:Param p, mat delta, int type->ExtParamPol Defined in line number 92.


deform

deform:ExtParam E, mat delta->ExtParamPol Defined in line number 150.


change_nu

change_nu:Param p, rat factor, int type->ExtParamPol Defined in line number 155.


%

%:ExtParamPol P->[(Split,Param,int)] Defined in line number 173.


recursive_deform

recursive_deform:Param p, mat delta, int type_p->ExtParamPol Defined in line number 180.


character_formula

character_formula:Param p,mat delta,int type->ExtParamPol Defined in line number 264.


c_form_std_big

c_form_std_big:Param p,mat delta, int type->ExtParamPol Defined in line number 283.

C-form of std module for the extended group is just full_def

c_form_irreducible_big

c_form_irreducible_big:Param p,mat delta, int type,ExtParamPol cf->ExtParamPol Defined in line number 285.


c_form_irreducible_big

c_form_irreducible_big:Param p,mat delta, int type->ExtParamPol Defined in line number 298.


c_form_irreducible_big_as_sum_of_standards

c_form_irreducible_big_as_sum_of_standards:Param p,mat delta, int type->ExtParamPol Defined in line number 300.


c_form_irreducible_big_long

c_form_irreducible_big_long:Param p,mat delta, int type->(ExtParamPol,[((Split,Param),ExtParamPol)],[((Split,Param),ExtParamPol)],[((Split,Param),ExtParamPol)],ExtParamPol) Defined in line number 308.


hermitian_form_irreducible_big

hermitian_form_irreducible_big:Param p->ParamPol Defined in line number 346.


is_unitary_big

is_unitary_big:Param p->bool Defined in line number 350.


is_weakly_unitary_big

is_weakly_unitary_big:Param p->bool Defined in line number 359.


ExtParamPol

(ParamPol,ParamPol,ParamPol) Defined in line number 9.