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.


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.


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.


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.