Script Reference
extParamPol.at
Definitions
| Name | Signature | Description |
|---|---|---|
| * | s,ExtParamPol(P_plus,P_minus,P_ind))= ExtParamPol: | |
| extParamPol | (ExtParam E) = ExtParamPol: | |
| extParamPol | (Param p,int type) = ExtParamPol: | |
| * | (Split s,ExtParam E) = ExtParamPol: s*extParamPol(E) | |
| + | (ExtParamPol(P_plus_1,P_minus_1,P_ind_1) | |
| - | ||
| + | (ExtParamPol P,[ExtParamPol] Q) = ExtParamPol: | |
| + | (ExtParamPol P,(Split S,Param p,int type)) = ExtParamPol: | |
| display | (ExtParamPol(A,B,C)) = void: | |
| null_ext_module | (RealForm G) = ExtParamPol: let N=null_module(G) in (N,N,N) | |
| * | (ExtParam(ic,,,lambda,theta,,,,,):E,rat r) = ExtParam: | |
| deform_unreduced | (Param p, mat delta, int type) = ExtParamPol: | |
| deform | = deform_unreduced@(Param,mat,int) | |
| 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_plus,P_minus,P_ind)) = [(Split,Param,int)]: | |
| recursive_deform | (Param p, mat delta, int type_p) = ExtParamPol: | |
| full_deform | = recursive_deform@(Param,mat,int) | |
| 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 | B,mat delta) = void: | |
| character_formula | (Param p,mat delta,int type) = ExtParamPol: | |
| c_form_std_big | = full_deform@(Param,mat,int) | |
| c_form_irreducible_big | (Param p,mat delta, int type,ExtParamPol cf) = | |
| c_form_irreducible_big | (Param p,mat delta, int type) = ExtParamPol: | |
| c_form_irreducible_big_as_sum_of_standards | (Param p,mat delta, int type) = | |
| c_form_irreducible_big_long | (Param p,mat delta, int type) = | |
| print_c_form_irreducible_big_long | ( | |
| print_c_form_irreducible_big_long | ((Param,mat,int)triple) = void: | |
| reduce | (ExtParamPol(plus,minus,)) = ParamPol: plus+s*minus | |
| hermitian_form_irreducible_big | (Param p) = KTypePol: | |
| is_unitary_big | (Param p) = bool: is_pure(hermitian_form_irreducible_big(p)) | |
| print_is_unitary_big | (Param p) = void: | |
| is_weakly_unitary_big | (Param p) = bool: |