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]]