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.