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.print_extended_character_formula¶
print_extended_character_formula:Param p,[Param] B,mat delta->void
Defined in line number 240.print_extended_character_formula¶
print_extended_character_formula:Param p,mat delta->void
Defined in line number 248.print_extended_composition_series¶
print_extended_composition_series:Param p,[Param] B,mat delta->void
Defined in line number 250.print_extended_composition_series¶
print_extended_composition_series:Param p,mat delta->void
Defined in line number 258.print_extended_indices¶
print_extended_indices:[Param] B,mat delta->void
Defined in line number 260.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.print_c_form_irreducible_big_long¶
print_c_form_irreducible_big_long:ExtParamPol cf, [((Split,Param),ExtParamPol)] plus,[((Split,Param),ExtParamPol)] minus,[((Split,Param),ExtParamPol)] induced,ExtParamPol answer->void
Defined in line number 326.print_c_form_irreducible_big_long¶
print_c_form_irreducible_big_long:Param p,mat delta, int type->void
Defined in line number 338.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.print_is_unitary_big¶
print_is_unitary_big:Param p->void
Defined in line number 352.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.