misc.at Function Index¶
Functions
Function | Argument(s) -> Results |
---|---|
is_nonnegative | vec v->bool |
is_positive | vec v->bool |
is_positive | ratvec v->bool |
is_nonnegative | ratvec v->bool |
% | ParamPol P->[(Split,Param)] |
integer_part | ParamPol P->ParamPol |
s_part | ParamPol P->ParamPol |
param | RealForm G,int k, vec lambda_rho,ratvec nu->Param |
finalize | Param p->ParamPol |
finalize | [Param] P->ParamPol |
# | Split w,int t)=let (a,b->%w in int |
# | Split w,rat t)=let (a,b->%w in rat |
# | ParamPol P,int t->ParamPol |
fiber_partition | RealForm G->[int] |
in_distinguished_fiber | KGBElt x->bool |
distinguished_fiber | RealForm G->[int] |
root_length | RootDatum rd,vec alpha->int |
is_simple_root | RootDatum rd,[int] alpha->bool |
simple_imaginary_subsystem | KGBElt x->(mat,mat) |
simple_real_subsystem | KGBElt x->(mat,mat) |
to_binary | int length, int n->vec |
generate_all_subsets | [int] S->[[int]] |
prettyPrint | Split w->string |
prettyPrint | ParamPol P->void |
smash | [int] v,[[int]] A->[[int]] |
rec_fun box | int height, int rank->[[int]] |
rec_fun box | [int] heights->[[int]] |