modules.at Function References¶
I¶
I:Param p->tag_Param
Defined in line number 13.J¶
J:Param p->tag_Param
Defined in line number 15.to_str¶
to_str:Param p->string
Defined in line number 22.to_str_std¶
to_str_std:Param p->string
Defined in line number 25.to_str_irr¶
to_str_irr:Param p->string
Defined in line number 27.to_str_K_types¶
to_str_K_types:Param p->string
Defined in line number 29.to_str¶
to_str:tag_Param(p,type)->string
Defined in line number 32.to_str¶
to_str:ParamPol P->[string]
Defined in line number 40.to_str¶
to_str:ParamPol P,string type->[string]
Defined in line number 43.array_prints¶
array_prints:[string] A->void
Defined in line number 46.composition_series¶
composition_series:Param p,string type->tag_ParamPol
Defined in line number 50.composition_series¶
composition_series:tag_ParamPol(P,type)->tag_ParamPol
Defined in line number 55.character_formula¶
character_formula:tag_Param(p,type)->tag_ParamPol
Defined in line number 60.character_formula¶
character_formula:tag_ParamPol(P,type)->tag_ParamPol
Defined in line number 65.show¶
show:ParamPol P->void
Defined in line number 69.show¶
show:tag_ParamPol(,type):tP->void
Defined in line number 70.show¶
show:tag_Param tp->void
Defined in line number 73.show¶
show:KGBElt x,ratvec lambda->void
Defined in line number 76.virtual¶
virtual:tag_Param(p,type)->tag_ParamPol
Defined in line number 80.=¶
=:tag_Param(p,type_p),tag_Param(q,type_q)->bool
Defined in line number 85.character¶
character:tag_ParamPol (P,type)->ParamPol
Defined in line number 90.=¶
=:tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ->bool
Defined in line number 95.+¶
+:tag_ParamPol(P,type_P):tP,tag_ParamPol(Q,type_Q):tQ->tag_ParamPol
Defined in line number 99.+¶
+:tag_Param(p,type_p),tag_Param(q,type_q)->tag_ParamPol
Defined in line number 105.+¶
+:tag_ParamPol(P,type_P),tag_Param(q,typeq)->tag_ParamPol
Defined in line number 108.-¶
-:tag_ParamPol(P,type)->tag_ParamPol
Defined in line number 114.-¶
-:tag_Param(p,type)->tag_ParamPol
Defined in line number 115.-¶
-:tag_ParamPol(P,type_P),tag_ParamPol(Q,type_Q)->tag_ParamPol
Defined in line number 118.-¶
-:tag_Param(p,typep),tag_ParamPol(Q,type_Q)->tag_ParamPol
Defined in line number 120.-¶
-:tag_Param(p,typep),tag_Param(q,typeq)->tag_ParamPol
Defined in line number 122.*¶
*:Split w,tag_ParamPol(P,type)->tag_ParamPol
Defined in line number 125.*¶
*:Split w,tag_Param(p,type)->tag_ParamPol
Defined in line number 126.=¶
=:tag_ParamPol(P,type_P),tag_Param(q,typeq)->bool
Defined in line number 128.infinitesimal_character¶
infinitesimal_character:Param p,string type->ratvec
Defined in line number 131.has_infinitesimal_character¶
has_infinitesimal_character:ParamPol P->bool
Defined in line number 134.infinitesimal_character¶
infinitesimal_character:ParamPol P, string type->ratvec
Defined in line number 140.tau¶
tau:Param p,string type->[int]
Defined in line number 143.in_tau¶
in_tau:int s,tag_Param(p,type)->bool
Defined in line number 144.in_tau_complement¶
in_tau_complement:int s,tag_Param ps->bool
Defined in line number 146.status¶
status:int s,tag_Param (p,type)->int
Defined in line number 149.branch¶
branch:(Param p,string type), int bound->(ParamPol,string)
Defined in line number 151.tag_Param¶
(Param,string)
Defined in line number 6.tag_ParamPol¶
(ParamPol,string)
Defined in line number 7.