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 sign->ExtParamPol Defined in line number 46.


deform

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


deform_old

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


deform

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


change_nu

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


%

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


recursive_deform

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


character_formula

character_formula:Param p,mat delta->ExtParamPol Defined in line number 258.


c_form_irreducible_big_long

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


hermitian_form_irreducible_big

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


is_unitary_big

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


is_weakly_unitary_big

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


ExtParamPol

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