1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
entry simp_inprod(entry* x,entry * y,simpgrp* g);
entry Inprod(entry* x,entry * y);
entry simp_norm(entry* alpha, simpgrp* g);
entry Norm(entry* alpha);
entry Cart_inprod(entry* x, entry* alpha);
matrix* Reflection(entry* alpha);
index simp_make_dominant(entry* lambda, simpgrp* g);
index make_dominant(entry* lambda);
vector* Dominant(vector* lambda);
index Length(vector* w);
vector* Wwordv(entry* lambda, index l);
vector* Wwordm(matrix* m);
vector* Canonical(vector* w);
matrix* Canonicals(matrix* m);
matrix* Filter_dom_m(matrix* m);
poly* Filter_dom(poly* p);
vector* L_red(vector* L,entry* w,index lw);
vector* Reduce(vector* v);
vector* LR_red(vector* L,entry* w,index lw,vector* R);
boolean Bh_leq(vector* v,vector* w);
matrix* Bh_desc(entry* w, index l);
matrix* Bh_desc_rel(entry* w, index l, entry* lwb);
void make_q(void);
void clear_q(void);
poly* Rpoly(vector* x, vector* y);
poly* KLpoly(vector* x, vector* y);
|
