basic.at Function References¶
#¶
#:int n->[int]: for i
Defined in line number 3.#¶
#:bool b->int
Defined in line number 4.assert¶
assert:bool b,string message->void
Defined in line number 8.assert¶
assert:bool b->void
Defined in line number 9.list¶
list:(int->bool) filter, int limit->[int]
Defined in line number 13.complement¶
complement:(int->bool) filter, int limit->[int]
Defined in line number 15.count¶
count:(int->bool) filter, int limit->int
Defined in line number 18.all¶
all:[bool] p->bool
Defined in line number 21.none¶
none:[bool] p->bool
Defined in line number 23.first¶
first:[bool] p->int
Defined in line number 25.last¶
last:[bool] p->int
Defined in line number 27.all¶
all:int limit,(int->bool) filter->bool
Defined in line number 30.none¶
none:int limit,(int->bool) filter->bool
Defined in line number 32.first¶
first:int limit,(int->bool) filter->int
Defined in line number 34.last¶
last:int limit,(int->bool) filter->int
Defined in line number 36.all¶
all:[(->bool)] p->bool
Defined in line number 40.none¶
none:[(->bool)] p->bool
Defined in line number 42.first¶
first:[(->bool)] p->int
Defined in line number 44.last¶
last:[(->bool)] p->int
Defined in line number 46.binary_search_first¶
binary_search_first:(int->bool)pred, int low, int high->int
Defined in line number 51.from_stops¶
from_stops:[int] stops->(int->int)
Defined in line number 56.abs¶
abs:int k->int
Defined in line number 61.sign¶
sign:int k->int
Defined in line number 62.is_odd¶
is_odd:int n->bool
Defined in line number 64.is_even¶
is_even:int n->bool
Defined in line number 65.min¶
min:int k, int l->int
Defined in line number 67.max¶
max:int k, int l->int
Defined in line number 68.min¶
min:[int] a->int
Defined in line number 70.max¶
max:[int] a->int
Defined in line number 72.min_loc¶
min_loc:[int] a->int
Defined in line number 75.max_loc¶
max_loc:[int] a->int
Defined in line number 81.min¶
min:int !seed->([int]->int)
Defined in line number 89.max¶
max:int !seed->([int]->int)
Defined in line number 91.lcm¶
lcm:[int] list) = let (,d->%(ratvec
Defined in line number 94.=¶
=:(int,int)(x0,y0),(int,int)(x1,y1)->bool
Defined in line number 96.!=¶
!=:(int,int)(x0,y0),(int,int)(x1,y1)->bool
Defined in line number 97.is_integer¶
is_integer:rat r->bool
Defined in line number 106.sign¶
sign:rat a->int
Defined in line number 107.abs¶
abs:rat a->rat
Defined in line number 109.floor¶
floor:rat a->int
Defined in line number 111.ceil¶
ceil:rat a->int
Defined in line number 112.\¶
\:(rat,int)p->int
Defined in line number 114.\¶
\:(rat,rat)p->int
Defined in line number 115.%¶
\%:(rat,int)p->(int,rat)
Defined in line number 116.%¶
\%:(rat,rat)p->(int,rat)
Defined in line number 117.floor¶
floor:[rat] v->vec
Defined in line number 120.ceil¶
ceil:[rat] v->vec
Defined in line number 121.rat_as_int¶
rat_as_int:rat r->int
Defined in line number 125.*¶
*:int n,string s->string
Defined in line number 141.+¶
+:string s, int i->string
Defined in line number 143.+¶
+:int i, string s->string
Defined in line number 144.plural¶
plural:int n->string
Defined in line number 148.plural¶
plural:int n,string s->string
Defined in line number 149.l_adjust¶
l_adjust:int w, string s->string
Defined in line number 153.r_adjust¶
r_adjust:int w, string s->string
Defined in line number 155.c_adjust¶
c_adjust:int w, string s->string
Defined in line number 157.width¶
width:int n->int
Defined in line number 160.split_lines¶
split_lines:string text->[string]
Defined in line number 162.is_substring¶
is_substring:string s, string text->bool
Defined in line number 168.fgrep¶
fgrep:string s, string text->[string]
Defined in line number 172.vector¶
vector:int n,(int->int)f->vec: for i
Defined in line number 180.ones¶
ones:int n->vec: for i
Defined in line number 182.gcd¶
gcd:[int] v->int
Defined in line number 185.*¶
*:int c,vec v->vec
Defined in line number 189.sum¶
sum:vec v->int
Defined in line number 192.product¶
product:vec v->1 in for e in v do s*
Defined in line number 193.half¶
half:int n->int
Defined in line number 195.reverse¶
reverse:vec v->vec: v~[
Defined in line number 197.lower¶
lower:int k,vec v->vec: v[
Defined in line number 198.upper¶
upper:int k,vec v->vec: v[k~
Defined in line number 199.drop_lower¶
drop_lower:int k,vec v->vec: v[k
Defined in line number 200.drop_upper¶
drop_upper:int k,vec v->vec: v[
Defined in line number 201.<=¶
<=:vec v->bool
Defined in line number 203.<¶
<:vec v->bool
Defined in line number 204.is_member¶
is_member:[int] v->(int->bool)
Defined in line number 206.contains¶
contains:int val->([int]->bool): ([int] v)bool
Defined in line number 210.rec_fun all_0_1_vecs¶
rec_fun all_0_1_vecs:int n->[vec]
Defined in line number 212.rec_fun power_set¶
rec_fun power_set:int n->[[int]]
Defined in line number 218.power_set¶
power_set:[int] S->[[int]]
Defined in line number 220.matrix¶
matrix:(int,int)(r,c),(int,int->int) f->mat
Defined in line number 227.n_rows¶
n_rows:mat m->int
Defined in line number 230.n_columns¶
n_columns:mat m->int
Defined in line number 231.column¶
column:vec v->mat
Defined in line number 233.row¶
row:vec v->mat
Defined in line number 234.=¶
=:mat m,int k->bool
Defined in line number 237.#¶
#:mat m, vec v->mat: n_rows(m) # (([vec]
Defined in line number 240.#¶
#:vec v, mat m->mat: n_rows(m) # (v#([vec]
Defined in line number 241.^¶
^:mat m, vec v->mat: n_columns(m) ^ (([vec]
Defined in line number 244.^¶
^:vec v, mat m->mat: n_columns(m) ^ (v#([vec]
Defined in line number 245.##¶
##:mat A, mat B->mat
Defined in line number 247.^¶
^:mat A, mat B->mat
Defined in line number 249.##¶
##:int n,[mat] L->mat
Defined in line number 253.map_on¶
map_on:mat m->((int->int)->mat)
Defined in line number 257.*¶
*:int c,mat m->mat: map_on(m)((int e) int
Defined in line number 262.-¶
-:mat m->mat
Defined in line number 263.\¶
\:mat m,int d->mat: map_on(m)((int e) int
Defined in line number 267.%¶
%:mat m,int d->mat: map_on(m)((int e) int
Defined in line number 270.inverse¶
inverse:mat M->mat
Defined in line number 293.det¶
det:mat M->int
Defined in line number 297.saturated_span¶
saturated_span:mat M->bool
Defined in line number 305.all¶
all:mat M,(vec->bool) filter->bool
Defined in line number 310.none¶
none:mat M,(vec->bool) filter->bool
Defined in line number 312.first¶
first:mat M,(vec->bool) filter->int
Defined in line number 314.last¶
last:mat M,(vec->bool) filter->int
Defined in line number 317.columns_with¶
columns_with:(int,vec->bool) p,mat m->mat
Defined in line number 320.columns_with¶
columns_with:(vec->bool) p,mat m->mat
Defined in line number 323.columns_with¶
columns_with:(int->bool) p,mat m->mat
Defined in line number 325.rows_with¶
rows_with:(int,vec->bool) p,mat m->mat
Defined in line number 328.rows_with¶
rows_with:(vec->bool) p,mat m->mat
Defined in line number 331.rows_with¶
rows_with:(int->bool) p,mat m->mat
Defined in line number 333.>=¶
>=:mat m->bool
Defined in line number 336.>¶
>:mat m->bool
Defined in line number 338.<=¶
<=:mat m->bool
Defined in line number 340.<¶
<:mat m->bool
Defined in line number 341.lookup_column¶
lookup_column:vec v,mat m->int
Defined in line number 343.lookup_row¶
lookup_row:vec v,mat m->int
Defined in line number 345.sum¶
sum:mat m->vec
Defined in line number 349.order¶
order:mat !M->int
Defined in line number 374.numer¶
numer:ratvec a->vec
Defined in line number 383.denom¶
denom:ratvec a->int
Defined in line number 384.*¶
*:int i,ratvec v->ratvec
Defined in line number 387.*¶
*:rat r,ratvec v->ratvec
Defined in line number 388.##¶
##:ratvec a,ratvec b->ratvec: ##([rat]:a,[rat]
Defined in line number 391.##¶
##:[ratvec] rs->ratvec: ## for r in rs do [rat]
Defined in line number 392.sum¶
sum:[ratvec] list, int l->ratvec
Defined in line number 394.*¶
*:[ratvec] M,ratvec v->ratvec
Defined in line number 402.is_integer¶
is_integer:ratvec v->bool
Defined in line number 408.*¶
*:ratvec v, ratvec w->rat
Defined in line number 411.*¶
*:vec v, ratvec w->rat
Defined in line number 413.\¶
\:ratvec v, int k->vec
Defined in line number 417.ratvec_as_vec¶
ratvec_as_vec:ratvec v->vec
Defined in line number 420.reverse¶
reverse:ratvec v->ratvec: v~[
Defined in line number 423.lower¶
lower:int k,ratvec v->ratvec: v[
Defined in line number 424.upper¶
upper:int k,ratvec v->ratvec: v[k~
Defined in line number 425.drop_lower¶
drop_lower:int k,ratvec v->ratvec: v[k
Defined in line number 426.drop_upper¶
drop_upper:int k,ratvec v->ratvec: v[
Defined in line number 427.sum¶
sum:ratvec v->rat
Defined in line number 430.<=¶
<=:ratvec v->bool
Defined in line number 432.<¶
<:ratvec v->bool
Defined in line number 433.solve¶
solve:mat A, ratvec b->[ratvec]
Defined in line number 436.!one_minus_s = Split:¶
!one_minus_s = Split::1,-1->Split
Defined in line number 447.int_part¶
int_part:Split x->int
Defined in line number 449.s_part¶
s_part:Split x->int
Defined in line number 450.s_to_1¶
s_to_1:Split x->int
Defined in line number 455.s_to_minus_1¶
s_to_minus_1:Split x->int
Defined in line number 456.times_s¶
times_s:Split x) = let (a,b->%x in Split
Defined in line number 457.split_as_int¶
split_as_int:Split x->int
Defined in line number 459.%¶
\%:Split x, int n->(Split,Split)
Defined in line number 461.half¶
half:Split w->Split
Defined in line number 464./¶
/:Split w,int n->Split
Defined in line number 465.%¶
%:Split w,int n->Split
Defined in line number 467.exp_s¶
exp_s:int n->Split
Defined in line number 468.is_pure¶
is_pure:Split w->bool
Defined in line number 471.split_format¶
split_format:Split w->string
Defined in line number 474.^ =let rec_fun split_power¶
^ =let rec_fun split_power:Split x,int n->Split
Defined in line number 485.sum¶
sum:[Split] list->Split
Defined in line number 498.root_datum¶
root_datum:[vec] simple_roots, [vec] simple_coroots, int r->RootDatum
Defined in line number 504.root_datum¶
root_datum:LieType t, [ratvec] gens->RootDatum
Defined in line number 507.root_datum¶
root_datum:LieType t, ratvec gen->RootDatum
Defined in line number 511.is_root¶
is_root:(RootDatum,vec) (rd,):p->bool
Defined in line number 514.is_coroot¶
is_coroot:(RootDatum,vec) (rd,):p->bool
Defined in line number 516.is_posroot¶
is_posroot:(RootDatum,vec)(rd,):p->bool
Defined in line number 518.is_poscoroot¶
is_poscoroot:(RootDatum,vec)(rd,):p->bool
Defined in line number 520.posroot_index¶
posroot_index:(RootDatum,vec)p->int
Defined in line number 523.poscoroot_index¶
poscoroot_index:(RootDatum,vec)p->int
Defined in line number 525.rho¶
rho:RootDatum rd->ratvec
Defined in line number 529.rho_as_vec¶
rho_as_vec:RootDatum r->vec
Defined in line number 535.rho_check¶
rho_check:RootDatum rd->ratvec
Defined in line number 537.is_positive_root¶
is_positive_root:RootDatum rd->(vec->bool)
Defined in line number 544.is_positive_coroot¶
is_positive_coroot:RootDatum rd->(vec->bool)
Defined in line number 546.is_negative_root¶
is_negative_root:RootDatum rd->(vec->bool)
Defined in line number 548.is_negative_coroot¶
is_negative_coroot:RootDatum rd->(vec->bool)
Defined in line number 550.is_positive_root¶
is_positive_root:RootDatum rd,vec alpha->bool
Defined in line number 553.is_positive_coroot¶
is_positive_coroot:RootDatum rd,vec alphav->bool
Defined in line number 555.is_negative_root¶
is_negative_root:RootDatum rd,vec alpha->bool
Defined in line number 557.is_negative_coroot¶
is_negative_coroot:RootDatum rd,vec alphav->bool
Defined in line number 559.roots_all_positive¶
roots_all_positive:RootDatum rd->(mat->bool)
Defined in line number 563.coroots_all_positive¶
coroots_all_positive:RootDatum rd->(mat->bool)
Defined in line number 565.among_posroots¶
among_posroots:RootDatum rd->(mat M)bool
Defined in line number 568.among_poscoroots¶
among_poscoroots:RootDatum rd->(mat M)bool
Defined in line number 570.roots¶
roots:RootDatum rd->mat
Defined in line number 577.coroots¶
coroots:RootDatum rd->mat
Defined in line number 579.root¶
root:RootDatum rd, vec alpha_v->vec
Defined in line number 583.coroot¶
coroot:RootDatum rd, vec alpha->vec
Defined in line number 584.reflection¶
reflection:RootDatum rd, int i->mat
Defined in line number 587.reflection¶
reflection:(RootDatum,vec)(rd,):p->mat
Defined in line number 589.coreflection¶
coreflection:RootDatum rd, int i->mat
Defined in line number 591.coreflection¶
coreflection:(RootDatum,vec)(rd,):p->mat
Defined in line number 593.reflect¶
reflect:RootDatum rd, int i, vec v->vec
Defined in line number 595.reflect¶
reflect:RootDatum rd, vec alpha, vec v->vec
Defined in line number 597.coreflect¶
coreflect:RootDatum rd, vec v, int i->vec
Defined in line number 599.coreflect¶
coreflect:RootDatum rd, vec v, vec alpha->vec
Defined in line number 601.reflect¶
reflect:RootDatum rd, int i, ratvec v->ratvec
Defined in line number 604.reflect¶
reflect:RootDatum rd, vec alpha, ratvec v->ratvec
Defined in line number 606.coreflect¶
coreflect:RootDatum rd, ratvec v, int i->ratvec
Defined in line number 608.coreflect¶
coreflect:RootDatum rd, ratvec v, vec alpha->ratvec
Defined in line number 610.left_reflect¶
left_reflect:RootDatum rd, int i, mat M->mat
Defined in line number 614.left_reflect¶
left_reflect:RootDatum rd, vec alpha, mat M->mat
Defined in line number 616.right_reflect¶
right_reflect:RootDatum rd, mat M, int i->mat
Defined in line number 618.right_reflect¶
right_reflect:RootDatum rd, mat M, vec alpha->mat
Defined in line number 620.conjugate¶
conjugate:RootDatum rd, int i, mat M->mat
Defined in line number 623.conjugate¶
conjugate:RootDatum rd, vec alpha, mat M->mat
Defined in line number 625.singular_simple_indices¶
singular_simple_indices:RootDatum rd,ratvec v->[int]
Defined in line number 629.is_imaginary¶
is_imaginary:mat theta->(vec->bool): (vec alpha)
Defined in line number 633.is_real¶
is_real:mat theta->(vec->bool): (vec alpha)
Defined in line number 634.is_complex¶
is_complex:mat theta->(vec->bool): (vec alpha)
Defined in line number 635.imaginary_roots¶
imaginary_roots:RootDatum rd, mat theta->mat
Defined in line number 639.real_roots¶
real_roots:RootDatum rd, mat theta->mat
Defined in line number 641.imaginary_coroots¶
imaginary_coroots:RootDatum rd, mat theta->mat
Defined in line number 645.real_coroots¶
real_coroots:RootDatum rd, mat theta->mat
Defined in line number 647.imaginary_posroots¶
imaginary_posroots:RootDatum rd,mat theta->mat
Defined in line number 651.real_posroots¶
real_posroots:RootDatum rd,mat theta->mat
Defined in line number 653.imaginary_poscoroots¶
imaginary_poscoroots:RootDatum rd,mat theta->mat
Defined in line number 655.real_poscoroots¶
real_poscoroots:RootDatum rd,mat theta->mat
Defined in line number 657.imaginary_sys¶
imaginary_sys:(RootDatum,mat)p->(mat,mat)
Defined in line number 659.real_sys¶
real_sys:(RootDatum,mat)p->(mat,mat)
Defined in line number 661.is_dominant¶
is_dominant:RootDatum rd, ratvec v->bool
Defined in line number 665.is_strictly_dominant¶
is_strictly_dominant:RootDatum rd, ratvec v->bool
Defined in line number 667.is_regular¶
is_regular:RootDatum rd,ratvec v->bool
Defined in line number 669.is_integral¶
is_integral:RootDatum rd, ratvec v->bool
Defined in line number 671.radical_basis¶
radical_basis:RootDatum rd->mat
Defined in line number 675.coradical_basis¶
coradical_basis:RootDatum rd->mat
Defined in line number 677.is_semisimple¶
is_semisimple:RootDatum rd->bool
Defined in line number 680.derived_is_simply_connected¶
derived_is_simply_connected:RootDatum rd->bool
Defined in line number 682.has_connected_center¶
has_connected_center:RootDatum rd->bool
Defined in line number 684.is_simply_connected¶
is_simply_connected:RootDatum rd->bool
Defined in line number 686.is_adjoint¶
is_adjoint:RootDatum rd->bool
Defined in line number 688.derived¶
derived:RootDatum rd->RootDatum
Defined in line number 694.mod_central_torus¶
mod_central_torus:RootDatum rd->RootDatum
Defined in line number 695.adjoint¶
adjoint:RootDatum rd->RootDatum
Defined in line number 697.is_simple_for¶
is_simple_for:vec dual_two_rho->(vec->bool)
Defined in line number 701.simple_from_positive¶
simple_from_positive:mat posroots,mat poscoroots->(mat,mat)
Defined in line number 705.fundamental_weights¶
fundamental_weights:RootDatum rd->[ratvec]
Defined in line number 710.fundamental_coweights¶
fundamental_coweights:RootDatum rd->[ratvec]
Defined in line number 712.dual_integral¶
dual_integral:InnerClass ic, ratvec gamma->InnerClass
Defined in line number 720.Cartan_classes¶
Cartan_classes:InnerClass ic->[CartanClass]
Defined in line number 726.print_Cartan_info¶
print_Cartan_info:CartanClass cc->void
Defined in line number 729.fundamental_Cartan¶
fundamental_Cartan:InnerClass ic->CartanClass
Defined in line number 749.most_split_Cartan¶
most_split_Cartan:InnerClass ic->CartanClass
Defined in line number 751.compact_rank¶
compact_rank:CartanClass cc->int
Defined in line number 756.split_rank¶
split_rank:CartanClass cc->int
Defined in line number 758.compact_rank¶
compact_rank:InnerClass ic->int
Defined in line number 761.split_rank¶
split_rank:RealForm G->int
Defined in line number 762.is_equal_rank¶
is_equal_rank:InnerClass ic->bool
Defined in line number 764.is_split¶
is_split:RealForm G->bool
Defined in line number 768.=¶
=:CartanClass H,CartanClass J->bool
Defined in line number 772.number¶
number:CartanClass H,RealForm G->int
Defined in line number 777.form_name¶
form_name:RealForm f->string
Defined in line number 782.real_forms¶
real_forms:InnerClass ic->[RealForm]
Defined in line number 784.dual_real_forms¶
dual_real_forms:InnerClass ic->[RealForm]
Defined in line number 786.is_quasisplit¶
is_quasisplit:RealForm G->bool
Defined in line number 789.is_quasicompact¶
is_quasicompact:RealForm G->bool
Defined in line number 790.split_form¶
split_form:RootDatum r->RealForm
Defined in line number 792.split_form¶
split_form:LieType t->RealForm
Defined in line number 796.quasicompact_form¶
quasicompact_form:InnerClass ic->RealForm
Defined in line number 798.is_compatible¶
is_compatible:RealForm f, RealForm g->bool
Defined in line number 801.is_compact¶
is_compact:RealForm G->bool
Defined in line number 806.root_datum¶
root_datum:KGBElt x->RootDatum
Defined in line number 815.inner_class¶
inner_class:KGBElt x->InnerClass
Defined in line number 816.KGB¶
KGB:RealForm rf->[KGBElt]: for i
Defined in line number 818.KGB¶
KGB:CartanClass H,RealForm G->[KGBElt]
Defined in line number 821.KGB_elt¶
KGB_elt:(InnerClass, mat, ratvec) (,theta,v):all->KGBElt
Defined in line number 824.KGB_elt¶
KGB_elt:RootDatum rd, mat theta, ratvec v->KGBElt
Defined in line number 829.Cartan_class¶
Cartan_class:InnerClass ic, mat theta->CartanClass
Defined in line number 834.Bruhat_order¶
Bruhat_order:RealForm G->(KGBElt,KGBElt->bool)
Defined in line number 838.status¶
status:vec alpha,KGBElt x->int
Defined in line number 841.cross¶
cross:vec alpha,KGBElt x->KGBElt
Defined in line number 843.Cayley¶
Cayley:vec alpha,KGBElt x->KGBElt
Defined in line number 845.W_cross¶
W_cross:[int] w,KGBElt x->KGBElt
Defined in line number 849.KGB_status_text¶
KGB_status_text:int i->string
Defined in line number 852.status_text¶
status_text:(int,KGBElt)p->string
Defined in line number 854.status_text¶
status_text:(vec,KGBElt)p->string
Defined in line number 855.status_texts¶
status_texts:KGBElt x->[string]
Defined in line number 856.is_imaginary¶
is_imaginary:KGBElt x->(vec->bool)
Defined in line number 870.is_real¶
is_real:KGBElt x->(vec->bool)
Defined in line number 871.is_complex¶
is_complex:KGBElt x->(vec->bool)
Defined in line number 872.imaginary_posroots¶
imaginary_posroots:KGBElt x->mat
Defined in line number 875.real_posroots¶
real_posroots:KGBElt x->mat
Defined in line number 877.imaginary_poscoroots¶
imaginary_poscoroots:KGBElt x->mat
Defined in line number 879.real_poscoroots¶
real_poscoroots:KGBElt x->mat
Defined in line number 881.imaginary_sys¶
imaginary_sys:KGBElt x->(mat,mat)
Defined in line number 883.real_sys¶
real_sys:KGBElt x->(mat,mat)
Defined in line number 886.rho_i¶
rho_i:KGBElt x->ratvec
Defined in line number 890.rho_r¶
rho_r:KGBElt x->ratvec
Defined in line number 891.rho_check_i¶
rho_check_i:KGBElt x->ratvec
Defined in line number 892.rho_check_r¶
rho_check_r:KGBElt x->ratvec
Defined in line number 893.rho_i¶
rho_i:(RootDatum,mat) rd_theta->ratvec
Defined in line number 895.rho_r¶
rho_r:(RootDatum,mat) rd_theta->ratvec
Defined in line number 897.rho_check_i¶
rho_check_i:(RootDatum,mat) rd_theta->ratvec
Defined in line number 899.rho_check_r¶
rho_check_r:(RootDatum,mat) rd_theta->ratvec
Defined in line number 901.is_compact¶
is_compact:KGBElt x->(vec->bool)
Defined in line number 905.is_noncompact¶
is_noncompact:KGBElt x->(vec->bool)
Defined in line number 908.is_compact_imaginary¶
is_compact_imaginary:KGBElt x->(vec->bool)
Defined in line number 913.is_noncompact_imaginary¶
is_noncompact_imaginary:KGBElt x->(vec->bool)
Defined in line number 916.compact_posroots¶
compact_posroots:KGBElt x->mat
Defined in line number 920.noncompact_posroots¶
noncompact_posroots:KGBElt x->mat
Defined in line number 922.rho_ci¶
rho_ci:KGBElt x->ratvec
Defined in line number 925.rho_nci¶
rho_nci:KGBElt x->ratvec
Defined in line number 926.is_imaginary¶
is_imaginary:vec v,KGBElt x->bool
Defined in line number 928.is_real¶
is_real:vec v,KGBElt x->bool
Defined in line number 929.is_complex¶
is_complex:vec v,KGBElt x->bool
Defined in line number 930.is_compact_imaginary¶
is_compact_imaginary:vec v,KGBElt x->bool
Defined in line number 931.is_noncompact_imaginary¶
is_noncompact_imaginary:vec v,KGBElt x->bool
Defined in line number 932.print_KGB¶
print_KGB:KGBElt x->void
Defined in line number 935.no_Cminus_roots¶
no_Cminus_roots:KGBElt x->bool
Defined in line number 939.no_Cplus_roots¶
no_Cplus_roots:KGBElt x->bool
Defined in line number 941.blocks¶
blocks:InnerClass ic->[Block]
Defined in line number 946.raw_KL¶
raw_KL:(RealForm,RealForm) p->(mat,[vec],vec)
Defined in line number 954.dual_KL¶
dual_KL:(RealForm,RealForm) p->(mat,[vec],vec)
Defined in line number 955.print_block¶
print_block:(RealForm,RealForm) p->void
Defined in line number 957.print_blocku¶
print_blocku:(RealForm,RealForm) p->void
Defined in line number 958.print_blockd¶
print_blockd:(RealForm,RealForm) p->void
Defined in line number 959.print_KL_basis¶
print_KL_basis:(RealForm,RealForm) p->void
Defined in line number 960.print_prim_KL¶
print_prim_KL:(RealForm,RealForm) p->void
Defined in line number 961.print_KL_list¶
print_KL_list:(RealForm,RealForm) p->void
Defined in line number 962.print_W_cells¶
print_W_cells:(RealForm,RealForm) p->void
Defined in line number 963.print_W_graph¶
print_W_graph:(RealForm,RealForm) p->void
Defined in line number 964.root_datum¶
root_datum:Param p->RootDatum
Defined in line number 969.inner_class¶
inner_class:Param p->InnerClass
Defined in line number 970.null_module¶
null_module:Param p->ParamPol
Defined in line number 972.x¶
x:Param p->KGBElt
Defined in line number 975.lambda_minus_rho¶
lambda_minus_rho:Param p->vec
Defined in line number 976.lambda¶
lambda:Param p->ratvec
Defined in line number 977.infinitesimal_character¶
infinitesimal_character:Param p->ratvec
Defined in line number 978.nu¶
nu:Param p->ratvec
Defined in line number 979.Cartan_class¶
Cartan_class:Param p->CartanClass
Defined in line number 980.integrality_datum¶
integrality_datum:Param p->RootDatum
Defined in line number 984.is_regular¶
is_regular:Param p->bool
Defined in line number 987.survives¶
survives:Param p->bool
Defined in line number 991.trivial¶
trivial:RealForm G->Param
Defined in line number 994.W_cross¶
W_cross:[int] w,Param p->Param
Defined in line number 998.parameter¶
parameter:RealForm G,int x,ratvec lambda,ratvec nu->Param
Defined in line number 1004.parameter¶
parameter:KGBElt x,ratvec lambda,ratvec nu->Param
Defined in line number 1006.parameter_gamma¶
parameter_gamma:KGBElt x, ratvec lambda, ratvec gamma->Param
Defined in line number 1010.singular_block¶
singular_block:Param p->([Param],int)
Defined in line number 1016.block_of¶
block_of:Param p->[Param]
Defined in line number 1022.singular_block_of¶
singular_block_of:Param p->[Param]
Defined in line number 1023.imaginary_type¶
imaginary_type:int s, Param p->int
Defined in line number 1028.real_type¶
real_type:int s,Param p->int
Defined in line number 1029.imaginary_type¶
imaginary_type:vec alpha, Param p->int
Defined in line number 1031.real_type¶
real_type:vec alpha, Param p->int
Defined in line number 1033.is_nonparity¶
is_nonparity:int s,Param p->bool
Defined in line number 1036.is_parity¶
is_parity:int s,Param p->bool
Defined in line number 1037.is_nonparity¶
is_nonparity:vec alpha,Param p->bool
Defined in line number 1039.is_parity¶
is_parity:vec alpha,Param p->bool
Defined in line number 1041.status¶
status:vec alpha,Param p->int
Defined in line number 1044.status¶
status:int s,Param p->int
Defined in line number 1052.block_status_text¶
block_status_text:int i->string
Defined in line number 1055.status_text¶
status_text:int s,Param p->string
Defined in line number 1058.status_texts¶
status_texts:Param p->[string]
Defined in line number 1059.status_text¶
status_text:(vec,Param) ap->string
Defined in line number 1062.parity_poscoroots¶
parity_poscoroots:Param p->mat
Defined in line number 1064.nonparity_poscoroots¶
nonparity_poscoroots:Param p->mat
Defined in line number 1067.is_descent¶
is_descent:int s,Param p->bool
Defined in line number 1071.tau_bitset¶
tau_bitset:Param p->((int->bool),int)
Defined in line number 1072.tau¶
tau:Param p->[int]
Defined in line number 1075.tau_complement¶
tau_complement:Param p->[int]
Defined in line number 1076.is_descent¶
is_descent:(vec,Param) ap->bool
Defined in line number 1078.lookup¶
lookup:Param p, [Param] block->int
Defined in line number 1080.null_module¶
null_module:ParamPol P->ParamPol
Defined in line number 1152.-¶
-:ParamPol P->ParamPol
Defined in line number 1153.first_param¶
first_param:ParamPol P->Param
Defined in line number 1155.last_param¶
last_param:ParamPol P->Param
Defined in line number 1156.s_to_1¶
s_to_1:ParamPol P->ParamPol
Defined in line number 1158.s_to_minus_1¶
s_to_minus_1:ParamPol P->ParamPol
Defined in line number 1159.-¶
-:ParamPol a, (Split,Param) (c,p)->ParamPol
Defined in line number 1162.sum¶
sum:RealForm G,[ParamPol] Ps->ParamPol
Defined in line number 1164.map¶
map:(Param->Param)f, ParamPol P->ParamPol
Defined in line number 1173.map¶
map:(Param->ParamPol)f, ParamPol P->ParamPol
Defined in line number 1176.half¶
half:ParamPol P->ParamPol
Defined in line number 1179.divide_by¶
divide_by:int n, ParamPol P->ParamPol
Defined in line number 1181.root_datum¶
root_datum:ParamPol P->RootDatum
Defined in line number 1184.virtual¶
virtual:Param p->ParamPol
Defined in line number 1186.virtual¶
virtual:RealForm G, [Param] ps->ParamPol
Defined in line number 1187.branch¶
branch:Param std, Param K_type->int
Defined in line number 1192.branch¶
branch:ParamPol P, Param K_type->Split
Defined in line number 1195.pol_format¶
pol_format:ParamPol P->string
Defined in line number 1199.infinitesimal_character¶
infinitesimal_character:ParamPol P->ratvec
Defined in line number 1203.height_split¶
height_split:ParamPol P, int h->(ParamPol,ParamPol)
Defined in line number 1212.separate_by_infinitesimal_character¶
separate_by_infinitesimal_character:ParamPol P->[(ratvec,ParamPol)]
Defined in line number 1219.is_pure_1¶
is_pure_1:ParamPol P->bool
Defined in line number 1230.is_pure_s¶
is_pure_s:ParamPol P->bool
Defined in line number 1231.is_pure¶
is_pure:ParamPol P->bool
Defined in line number 1235.purity¶
purity:ParamPol P->(int,int,int)
Defined in line number 1238.find¶
find:[int] v, int k->int: first(#v,(int i)bool
Defined in line number 1251.find¶
find:[Param] P,Param p->int: first(#P,(int i)bool
Defined in line number 1252.find¶
find:[KGBElt] S,KGBElt x->int: first(#S,(int i)bool
Defined in line number 1253.find¶
find:[vec] S,vec v->int: first(#S,(int i)bool
Defined in line number 1254.in_string_list¶
in_string_list:string s,[string] S->bool
Defined in line number 1261.delete¶
delete:[int] v, int k->[int]: v[:k]##v[k+1
Defined in line number 1265.delete¶
delete:[vec] v, int k->[vec]: v[:k]##v[k+1
Defined in line number 1266.delete¶
delete:[ratvec] v, int k->[ratvec]: v[:k]##v[k+1
Defined in line number 1267.delete¶
delete:[[ratvec]] v, int k->[[ratvec]]:v[:k]##v[k+1
Defined in line number 1268.delete¶
delete:[[vec]] v, int k->[[vec]]: v[:k]##v[k+1
Defined in line number 1269.delete¶
delete:[ParamPol] P, int k->[ParamPol]:P[:k]##P[k+1
Defined in line number 1270.imaginary_roots_and_coroots¶
imaginary_roots_and_coroots:(RootDatum, mat)p->(mat,mat)
Defined in line number 1275.imaginary_roots_and_coroots¶
imaginary_roots_and_coroots:KGBElt x->(mat,mat)
Defined in line number 1277.real_roots_and_coroots¶
real_roots_and_coroots:(RootDatum, mat)p->(mat,mat)
Defined in line number 1283.real_roots_and_coroots¶
real_roots_and_coroots:KGBElt x->(mat,mat)
Defined in line number 1285.complex_posroots¶
complex_posroots:RootDatum rd,mat theta->mat
Defined in line number 1288.complex_posroots¶
complex_posroots:KGBElt x->mat
Defined in line number 1290.pad¶
pad:string s,int padding->string
Defined in line number 1294.monomials¶
monomials:ParamPol P->[Param]
Defined in line number 1300.monomial¶
monomial:ParamPol P,int i->Param
Defined in line number 1301.