extParamPol.at Function IndexΒΆ


Functions

Function Argument(s) -> Results
* Split s,ExtParamPol (P_plus,P_minus,P_ind)->ExtParamPol
extParamPol ExtParam E->ExtParamPol
extParamPol Param p,int type->ExtParamPol
+ ExtParamPol (P_plus_1,P_minus_1,P_ind_1),ExtParamPol (P_plus_2,P_minus_2,P_ind_2)->ExtParamPol
- ExtParamPol (P_plus_1,P_minus_1,P_ind_1),ExtParamPol (P_plus_2,P_minus_2,P_ind_2)->ExtParamPol
+ ExtParamPol P,[ExtParamPol] Q->P in for R in Q do rv+
+ ExtParamPol P,(Split S,Param p,int type)->ExtParamPol
display ExtParamPol (A,B,C)->void:prints("plus:",A,new_line,"minus:",B,new_line,"induced
null_ext_module RealForm G->ExtParamPol
find [(int,int)] complete_indices,(int,int) pair->int:first(#complete_indices,(int i)bool
deform_unreduced Param p, mat delta, int sign->ExtParamPol
deform Param p,mat delta, int type->ExtParamPol
deform_old Param p, mat delta, int type->ExtParamPol
deform ExtParam E, mat delta->ExtParamPol
change_nu Param p, rat factor, int type->ExtParamPol
% ExtParamPol P->[(Split,Param,int)]
recursive_deform Param p, mat delta, int type_p->ExtParamPol
print_extended_character_formula Param p,[Param] B,mat delta->void
print_extended_character_formula Param p,mat delta->void
print_extended_composition_series Param p,[Param] B,mat delta->void
print_extended_composition_series Param p,mat delta->void
print_extended_indices [Param] B,mat delta->void
character_formula Param p,mat delta->ExtParamPol
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)
print_c_form_irreducible_big_long ExtParamPol cf, [((Split,Param),ExtParamPol)] plus,[((Split,Param),ExtParamPol)] minus,[((Split,Param),ExtParamPol)] induced,ExtParamPol answer->void
print_c_form_irreducible_big_long Param p,mat delta, int type->void
hermitian_form_irreducible_big Param p->ParamPol
is_unitary_big Param p->bool
print_is_unitary_big Param p->void
is_weakly_unitary_big Param p->bool

Data Types

Data Type Name Definition
ExtParamPol (ParamPol,ParamPol,ParamPol)