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->[Param]: for c@q in ParamPol
finalize ParamPol P->ParamPol
finalize [Param] P->[Param]
# 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