modules.at Function Index¶
Functions
| Function | Argument(s) -> Results |
|---|---|
| I | Param p->tag_Param |
| J | Param p->tag_Param |
| to_str | Param p->string |
| to_str_std | Param p->string |
| to_str_irr | Param p->string |
| to_str_K_types | Param p->string |
| to_str | tag_Param(p,type)->string |
| to_str | ParamPol P->[string] |
| to_str | ParamPol P,string type->[string] |
| array_prints | [string] A->void |
| composition_series | Param p,string type->tag_ParamPol |
| composition_series | tag_ParamPol(P,type)->tag_ParamPol |
| character_formula | tag_Param(p,type)->tag_ParamPol |
| character_formula | tag_ParamPol(P,type)->tag_ParamPol |
| show | ParamPol P->void |
| show | tag_ParamPol(,type):tP->void |
| show | tag_Param tp->void |
| show | KGBElt x,ratvec lambda->void |
| virtual | tag_Param(p,type)->tag_ParamPol |
| = | tag_Param(p,type_p),tag_Param(q,type_q)->bool |
| character | tag_ParamPol (P,type)->ParamPol |
| = | tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ->bool |
| + | tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ->tag_ParamPol |
| + | tag_Param(p,type_p),tag_Param(q,type_q)->tag_ParamPol |
| + | tag_ParamPol(P,type_P),tag_Param(q,typeq)->tag_ParamPol |
| - | tag_ParamPol(P,type)->tag_ParamPol |
| - | tag_Param(p,type)->tag_ParamPol |
| - | tag_ParamPol(P,type_P),tag_ParamPol(Q,type_Q)->tag_ParamPol |
| - | tag_Param(p,typep),tag_ParamPol(Q,type_Q)->tag_ParamPol |
| - | tag_Param(p,typep),tag_Param(q,typeq)->tag_ParamPol |
| * | Split w,tag_ParamPol(P,type)->tag_ParamPol |
| * | Split w,tag_Param(p,type)->tag_ParamPol |
| = | tag_ParamPol(P,type_P),tag_Param(q,typeq)->bool |
| infinitesimal_character | Param p,string type->ratvec |
| has_infinitesimal_character | ParamPol P->bool |
| infinitesimal_character | ParamPol P, string type->ratvec |
| tau | Param p,string type->[int] |
| in_tau | int s,tag_Param(p,type)->bool |
| in_tau_complement | int s,tag_Param ps->bool |
| status | int s,tag_Param (p,type)->int |
| branch | (Param p,string type), int bound->(ParamPol,string) |
Data Types
| Data Type Name | Definition |
|---|---|
| tag_Param | (Param,string) |
| tag_ParamPol | (ParamPol,string) |