misc.at Function References


is_nonnegative

is_nonnegative:vec v->bool Defined in line number 4.


is_positive

is_positive:vec v->bool Defined in line number 5.


is_positive

is_positive:ratvec v->bool Defined in line number 8.


is_nonnegative

is_nonnegative:ratvec v->bool Defined in line number 9.


%

%:ParamPol P->[(Split,Param)] Defined in line number 12.


integer_part

integer_part:ParamPol P->ParamPol Defined in line number 15.


s_part

s_part:ParamPol P->ParamPol Defined in line number 17.


param

param:RealForm G,int k, vec lambda_rho,ratvec nu->Param Defined in line number 23.


finalize

finalize:Param p->[Param]: for c@q in ParamPol Defined in line number 28.


finalize

finalize:ParamPol P->ParamPol Defined in line number 30.


finalize

finalize:[Param] P->[Param] Defined in line number 37.


#

#:Split w,int t)=let (a,b->%w in int Defined in line number 42.


#

#:Split w,rat t)=let (a,b->%w in rat Defined in line number 43.


#

#:ParamPol P,int t->ParamPol Defined in line number 44.


fiber_partition

fiber_partition:RealForm G->[int] Defined in line number 49.


in_distinguished_fiber

in_distinguished_fiber:KGBElt x->bool Defined in line number 51.


distinguished_fiber

distinguished_fiber:RealForm G->[int] Defined in line number 54.


root_length

root_length:RootDatum rd,vec alpha->int Defined in line number 62.


is_simple_root

is_simple_root:RootDatum rd,[int] alpha->bool Defined in line number 63.


simple_imaginary_subsystem

simple_imaginary_subsystem:KGBElt x->(mat,mat) Defined in line number 65.


simple_real_subsystem

simple_real_subsystem:KGBElt x->(mat,mat) Defined in line number 68.


to_binary

to_binary:int length, int n->vec Defined in line number 71.


generate_all_subsets

generate_all_subsets:[int] S->[[int]] Defined in line number 77.


prettyPrint

prettyPrint:Split w->string Defined in line number 85.


prettyPrint

prettyPrint:ParamPol P->void Defined in line number 98.