misc.at Function References¶

is_nonnegative¶

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

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

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

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

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

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

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

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

finalize:Param p->ParamPol Defined in line number 28.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

smash:[int] v,[[int]] A->[[int]] Defined in line number 97.

rec_fun box:int height, int rank->[[int]] Defined in line number 101.

Cartesian power (#height)^rank, lists of length rank of numbers <height

rec_fun box:[int] heights->[[int]] Defined in line number 105.

Cartesian product (#heights[0])*(#heights[1])*…*(heights~[0])