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 446.


int_part

int_part:Split x->int Defined in line number 448.


s_part

s_part:Split x->int Defined in line number 449.


s_to_1

s_to_1:Split x->int Defined in line number 454.


s_to_minus_1

s_to_minus_1:Split x->int Defined in line number 455.


times_s

times_s:Split x) = let (a,b->%x in Split Defined in line number 456.


split_as_int

split_as_int:Split x->int Defined in line number 458.


%

\%:Split x, int n->(Split,Split) Defined in line number 460.


half

half:Split w->Split Defined in line number 463.


divide_by

divide_by:int n,Split w->Split Defined in line number 464.


is_pure

is_pure:Split w->bool Defined in line number 468.


split_format

split_format:Split w->string Defined in line number 471.


root_datum

root_datum:[vec] simple_roots, [vec] simple_coroots, int r->RootDatum Defined in line number 498.


root_datum

root_datum:LieType t, [ratvec] gens->RootDatum Defined in line number 501.


root_datum

root_datum:LieType t, ratvec gen->RootDatum Defined in line number 505.


is_root

is_root:(RootDatum,vec) (rd,):p->bool Defined in line number 508.


is_coroot

is_coroot:(RootDatum,vec) (rd,):p->bool Defined in line number 510.


is_posroot

is_posroot:(RootDatum,vec)(rd,):p->bool Defined in line number 512.


is_poscoroot

is_poscoroot:(RootDatum,vec)(rd,):p->bool Defined in line number 514.


posroot_index

posroot_index:(RootDatum,vec)p->int Defined in line number 517.


poscoroot_index

poscoroot_index:(RootDatum,vec)p->int Defined in line number 519.


rho

rho:RootDatum rd->ratvec Defined in line number 523.


rho_as_vec

rho_as_vec:RootDatum r->vec Defined in line number 529.


rho_check

rho_check:RootDatum rd->ratvec Defined in line number 531.


is_positive_root

is_positive_root:RootDatum rd->(vec->bool) Defined in line number 538.


is_positive_coroot

is_positive_coroot:RootDatum rd->(vec->bool) Defined in line number 540.


is_negative_root

is_negative_root:RootDatum rd->(vec->bool) Defined in line number 542.


is_negative_coroot

is_negative_coroot:RootDatum rd->(vec->bool) Defined in line number 544.


is_positive_root

is_positive_root:RootDatum rd,vec alpha->bool Defined in line number 547.


is_positive_coroot

is_positive_coroot:RootDatum rd,vec alphav->bool Defined in line number 549.


is_negative_root

is_negative_root:RootDatum rd,vec alpha->bool Defined in line number 551.


is_negative_coroot

is_negative_coroot:RootDatum rd,vec alphav->bool Defined in line number 553.


roots_all_positive

roots_all_positive:RootDatum rd->(mat->bool) Defined in line number 557.


coroots_all_positive

coroots_all_positive:RootDatum rd->(mat->bool) Defined in line number 559.


among_posroots

among_posroots:RootDatum rd->(mat M)bool Defined in line number 562.


among_poscoroots

among_poscoroots:RootDatum rd->(mat M)bool Defined in line number 564.


roots

roots:RootDatum rd->mat Defined in line number 571.


coroots

coroots:RootDatum rd->mat Defined in line number 573.


root

root:RootDatum rd, vec alpha_v->vec Defined in line number 577.


coroot

coroot:RootDatum rd, vec alpha->vec Defined in line number 578.


reflection

reflection:RootDatum rd, int i->mat Defined in line number 581.


reflection

reflection:(RootDatum,vec)(rd,):p->mat Defined in line number 583.


coreflection

coreflection:RootDatum rd, int i->mat Defined in line number 585.


coreflection

coreflection:(RootDatum,vec)(rd,):p->mat Defined in line number 587.


reflect

reflect:RootDatum rd, int i, vec v->vec Defined in line number 589.


reflect

reflect:RootDatum rd, vec alpha, vec v->vec Defined in line number 591.


coreflect

coreflect:RootDatum rd, vec v, int i->vec Defined in line number 593.


coreflect

coreflect:RootDatum rd, vec v, vec alpha->vec Defined in line number 595.


reflect

reflect:RootDatum rd, int i, ratvec v->ratvec Defined in line number 598.


reflect

reflect:RootDatum rd, vec alpha, ratvec v->ratvec Defined in line number 600.


coreflect

coreflect:RootDatum rd, ratvec v, int i->ratvec Defined in line number 602.


coreflect

coreflect:RootDatum rd, ratvec v, vec alpha->ratvec Defined in line number 604.


left_reflect

left_reflect:RootDatum rd, int i, mat M->mat Defined in line number 608.


left_reflect

left_reflect:RootDatum rd, vec alpha, mat M->mat Defined in line number 610.


right_reflect

right_reflect:RootDatum rd, mat M, int i->mat Defined in line number 612.


right_reflect

right_reflect:RootDatum rd, mat M, vec alpha->mat Defined in line number 614.


conjugate

conjugate:RootDatum rd, int i, mat M->mat Defined in line number 617.


conjugate

conjugate:RootDatum rd, vec alpha, mat M->mat Defined in line number 619.


singular_simple_indices

singular_simple_indices:RootDatum rd,ratvec v->[int] Defined in line number 623.


is_imaginary

is_imaginary:mat theta->(vec->bool): (vec alpha) Defined in line number 627.


is_real

is_real:mat theta->(vec->bool): (vec alpha) Defined in line number 628.


is_complex

is_complex:mat theta->(vec->bool): (vec alpha) Defined in line number 629.


imaginary_roots

imaginary_roots:RootDatum rd, mat theta->mat Defined in line number 633.


real_roots

real_roots:RootDatum rd, mat theta->mat Defined in line number 635.


imaginary_coroots

imaginary_coroots:RootDatum rd, mat theta->mat Defined in line number 639.


real_coroots

real_coroots:RootDatum rd, mat theta->mat Defined in line number 641.


imaginary_posroots

imaginary_posroots:RootDatum rd,mat theta->mat Defined in line number 645.


real_posroots

real_posroots:RootDatum rd,mat theta->mat Defined in line number 647.


imaginary_poscoroots

imaginary_poscoroots:RootDatum rd,mat theta->mat Defined in line number 649.


real_poscoroots

real_poscoroots:RootDatum rd,mat theta->mat Defined in line number 651.


imaginary_sys

imaginary_sys:(RootDatum,mat)p->(mat,mat) Defined in line number 653.


real_sys

real_sys:(RootDatum,mat)p->(mat,mat) Defined in line number 655.


is_dominant

is_dominant:RootDatum rd, ratvec v->bool Defined in line number 659.


is_strictly_dominant

is_strictly_dominant:RootDatum rd, ratvec v->bool Defined in line number 661.


is_regular

is_regular:RootDatum rd,ratvec v->bool Defined in line number 663.


is_integral

is_integral:RootDatum rd, ratvec v->bool Defined in line number 665.


radical_basis

radical_basis:RootDatum rd->mat Defined in line number 669.


coradical_basis

coradical_basis:RootDatum rd->mat Defined in line number 671.


is_semisimple

is_semisimple:RootDatum rd->bool Defined in line number 674.


derived_is_simply_connected

derived_is_simply_connected:RootDatum rd->bool Defined in line number 676.


has_connected_center

has_connected_center:RootDatum rd->bool Defined in line number 678.


is_simply_connected

is_simply_connected:RootDatum rd->bool Defined in line number 680.


is_adjoint

is_adjoint:RootDatum rd->bool Defined in line number 682.


derived

derived:RootDatum rd->RootDatum Defined in line number 688.


mod_central_torus

mod_central_torus:RootDatum rd->RootDatum Defined in line number 689.


adjoint

adjoint:RootDatum rd->RootDatum Defined in line number 691.


is_simple_for

is_simple_for:vec dual_two_rho->(vec->bool) Defined in line number 695.


simple_from_positive

simple_from_positive:mat posroots,mat poscoroots->(mat,mat) Defined in line number 699.


fundamental_weights

fundamental_weights:RootDatum rd->[ratvec] Defined in line number 704.


fundamental_coweights

fundamental_coweights:RootDatum rd->[ratvec] Defined in line number 706.


!=

!=:InnerClass x,InnerClass y->bool Defined in line number 713.


dual_integral

dual_integral:InnerClass ic, ratvec gamma->InnerClass Defined in line number 716.


Cartan_classes

Cartan_classes:InnerClass ic->[CartanClass] Defined in line number 722.


fundamental_Cartan

fundamental_Cartan:InnerClass ic->CartanClass Defined in line number 745.


most_split_Cartan

most_split_Cartan:InnerClass ic->CartanClass Defined in line number 747.


compact_rank

compact_rank:CartanClass cc->int Defined in line number 752.


split_rank

split_rank:CartanClass cc->int Defined in line number 754.


compact_rank

compact_rank:InnerClass ic->int Defined in line number 757.


split_rank

split_rank:RealForm G->int Defined in line number 758.


is_equal_rank

is_equal_rank:InnerClass ic->bool Defined in line number 760.


is_split

is_split:RealForm G->bool Defined in line number 764.


=

=:CartanClass H,CartanClass J->bool Defined in line number 768.


number

number:CartanClass H,RealForm G->int Defined in line number 773.


!=

!=:RealForm f, RealForm g->bool Defined in line number 778.


form_name

form_name:RealForm f->string Defined in line number 780.


real_forms

real_forms:InnerClass ic->[RealForm] Defined in line number 782.


dual_real_forms

dual_real_forms:InnerClass ic->[RealForm] Defined in line number 784.


is_quasisplit

is_quasisplit:RealForm G->bool Defined in line number 787.


is_quasicompact

is_quasicompact:RealForm G->bool Defined in line number 788.


split_form

split_form:RootDatum r->RealForm Defined in line number 790.


split_form

split_form:LieType t->RealForm Defined in line number 794.


quasicompact_form

quasicompact_form:InnerClass ic->RealForm Defined in line number 796.


is_compatible

is_compatible:RealForm f, RealForm g->bool Defined in line number 799.


is_compact

is_compact:RealForm G->bool Defined in line number 804.


!=

!=:KGBElt x,KGBElt y->bool Defined in line number 811.


root_datum

root_datum:KGBElt x->RootDatum Defined in line number 814.


inner_class

inner_class:KGBElt x->InnerClass Defined in line number 815.


KGB

KGB:RealForm rf->[KGBElt]: for i Defined in line number 817.


KGB

KGB:CartanClass H,RealForm G->[KGBElt] Defined in line number 820.


KGB_elt

KGB_elt:(InnerClass, mat, ratvec) (,theta,v):all->KGBElt Defined in line number 823.


KGB_elt

KGB_elt:RootDatum rd, mat theta, ratvec v->KGBElt Defined in line number 828.


Cartan_class

Cartan_class:InnerClass ic, mat theta->CartanClass Defined in line number 833.


status

status:vec alpha,KGBElt x->int Defined in line number 836.


cross

cross:vec alpha,KGBElt x->KGBElt Defined in line number 838.


Cayley

Cayley:vec alpha,KGBElt x->KGBElt Defined in line number 840.


W_cross

W_cross:[int] w,KGBElt x->KGBElt Defined in line number 844.


KGB_status_text

KGB_status_text:int i->string Defined in line number 847.


status_text

status_text:(int,KGBElt)p->string Defined in line number 849.


status_text

status_text:(vec,KGBElt)p->string Defined in line number 850.


status_texts

status_texts:KGBElt x->[string] Defined in line number 851.


is_imaginary

is_imaginary:KGBElt x->(vec->bool) Defined in line number 865.


is_real

is_real:KGBElt x->(vec->bool) Defined in line number 866.


is_complex

is_complex:KGBElt x->(vec->bool) Defined in line number 867.


imaginary_posroots

imaginary_posroots:KGBElt x->mat Defined in line number 870.


real_posroots

real_posroots:KGBElt x->mat Defined in line number 872.


imaginary_poscoroots

imaginary_poscoroots:KGBElt x->mat Defined in line number 874.


real_poscoroots

real_poscoroots:KGBElt x->mat Defined in line number 876.


imaginary_sys

imaginary_sys:KGBElt x->(mat,mat) Defined in line number 878.


real_sys

real_sys:KGBElt x->(mat,mat) Defined in line number 881.


rho_i

rho_i:KGBElt x->ratvec Defined in line number 885.


rho_r

rho_r:KGBElt x->ratvec Defined in line number 886.


rho_check_i

rho_check_i:KGBElt x->ratvec Defined in line number 887.


rho_check_r

rho_check_r:KGBElt x->ratvec Defined in line number 888.


rho_i

rho_i:(RootDatum,mat) rd_theta->ratvec Defined in line number 890.


rho_r

rho_r:(RootDatum,mat) rd_theta->ratvec Defined in line number 892.


rho_check_i

rho_check_i:(RootDatum,mat) rd_theta->ratvec Defined in line number 894.


rho_check_r

rho_check_r:(RootDatum,mat) rd_theta->ratvec Defined in line number 896.


is_compact

is_compact:KGBElt x->(vec->bool) Defined in line number 900.


is_noncompact

is_noncompact:KGBElt x->(vec->bool) Defined in line number 903.


is_compact_imaginary

is_compact_imaginary:KGBElt x->(vec->bool) Defined in line number 908.


is_noncompact_imaginary

is_noncompact_imaginary:KGBElt x->(vec->bool) Defined in line number 911.


compact_posroots

compact_posroots:KGBElt x->mat Defined in line number 915.


noncompact_posroots

noncompact_posroots:KGBElt x->mat Defined in line number 917.


rho_ci

rho_ci:KGBElt x->ratvec Defined in line number 920.


rho_nci

rho_nci:KGBElt x->ratvec Defined in line number 921.


is_imaginary

is_imaginary:vec v,KGBElt x->bool Defined in line number 923.


is_real

is_real:vec v,KGBElt x->bool Defined in line number 924.


is_complex

is_complex:vec v,KGBElt x->bool Defined in line number 925.


is_compact_imaginary

is_compact_imaginary:vec v,KGBElt x->bool Defined in line number 926.


is_noncompact_imaginary

is_noncompact_imaginary:vec v,KGBElt x->bool Defined in line number 927.


no_Cminus_roots

no_Cminus_roots:KGBElt x->bool Defined in line number 934.


no_Cplus_roots

no_Cplus_roots:KGBElt x->bool Defined in line number 936.


blocks

blocks:InnerClass ic->[Block] Defined in line number 941.


raw_KL

raw_KL:(RealForm,RealForm) p->(mat,[vec],vec) Defined in line number 949.


dual_KL

dual_KL:(RealForm,RealForm) p->(mat,[vec],vec) Defined in line number 950.


!=

!=:Param x,Param y->bool Defined in line number 964.


equals

equals:Param p,Param q->bool Defined in line number 965.


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.


*

*:Param p,rat f->Param Defined in line number 976.


x

x:Param p->KGBElt Defined in line number 979.


lambda_minus_rho

lambda_minus_rho:Param p->vec Defined in line number 980.


lambda

lambda:Param p->ratvec Defined in line number 981.


infinitesimal_character

infinitesimal_character:Param p->ratvec Defined in line number 982.


nu

nu:Param p->ratvec Defined in line number 983.


Cartan_class

Cartan_class:Param p->CartanClass Defined in line number 984.


integrality_datum

integrality_datum:Param p->RootDatum Defined in line number 988.


is_regular

is_regular:Param p->bool Defined in line number 991.


survives

survives:Param p->bool Defined in line number 995.


trivial

trivial:RealForm G->Param Defined in line number 1000.


W_cross

W_cross:[int] w,Param p->Param Defined in line number 1004.


parameter

parameter:RealForm G,int x,ratvec lambda,ratvec nu->Param Defined in line number 1010.


parameter

parameter:KGBElt x,ratvec lambda,ratvec nu->Param Defined in line number 1012.


parameter_gamma

parameter_gamma:KGBElt x, ratvec lambda, ratvec gamma->Param Defined in line number 1016.


singular_block

singular_block:Param p->([Param],int) Defined in line number 1022.


block_of

block_of:Param p->[Param] Defined in line number 1028.


singular_block_of

singular_block_of:Param p->[Param] Defined in line number 1029.


imaginary_type

imaginary_type:int s, Param p->int Defined in line number 1034.


real_type

real_type:int s,Param p->int Defined in line number 1035.


imaginary_type

imaginary_type:vec alpha, Param p->int Defined in line number 1037.


real_type

real_type:vec alpha, Param p->int Defined in line number 1039.


is_nonparity

is_nonparity:int s,Param p->bool Defined in line number 1042.


is_parity

is_parity:int s,Param p->bool Defined in line number 1043.


is_nonparity

is_nonparity:vec alpha,Param p->bool Defined in line number 1045.


is_parity

is_parity:vec alpha,Param p->bool Defined in line number 1047.


status

status:vec alpha,Param p->int Defined in line number 1050.


status

status:int s,Param p->int Defined in line number 1058.


block_status_text

block_status_text:int i->string Defined in line number 1061.


status_text

status_text:int s,Param p->string Defined in line number 1064.


status_texts

status_texts:Param p->[string] Defined in line number 1065.


status_text

status_text:(vec,Param) ap->string Defined in line number 1068.


parity_poscoroots

parity_poscoroots:Param p->mat Defined in line number 1070.


nonparity_poscoroots

nonparity_poscoroots:Param p->mat Defined in line number 1073.


is_descent

is_descent:int s,Param p->bool Defined in line number 1077.


tau_bitset

tau_bitset:Param p->((int->bool),int) Defined in line number 1078.


tau

tau:Param p->[int] Defined in line number 1081.


tau_complement

tau_complement:Param p->[int] Defined in line number 1082.


is_descent

is_descent:(vec,Param) ap->bool Defined in line number 1084.


lookup

lookup:Param p, [Param] block->int Defined in line number 1086.


null_module

null_module:ParamPol P->ParamPol Defined in line number 1158.


-

-:ParamPol P->ParamPol Defined in line number 1159.


first_param

first_param:ParamPol P->Param Defined in line number 1161.


last_param

last_param:ParamPol P->Param Defined in line number 1162.


s_to_1

s_to_1:ParamPol P->ParamPol Defined in line number 1164.


s_to_minus_1

s_to_minus_1:ParamPol P->ParamPol Defined in line number 1165.


-

-:ParamPol a, (Split,Param) (c,p)->ParamPol Defined in line number 1168.


sum

sum:RealForm G,[ParamPol] Ps->ParamPol Defined in line number 1170.


*

*:ParamPol P, rat f->ParamPol Defined in line number 1181.


half

half:ParamPol P->ParamPol Defined in line number 1183.


divide_by

divide_by:int n, ParamPol P->ParamPol Defined in line number 1186.


root_datum

root_datum:ParamPol P->RootDatum Defined in line number 1190.


virtual

virtual:Param p->ParamPol Defined in line number 1192.


virtual

virtual:RealForm G, [Param] ps->ParamPol Defined in line number 1193.


pol_format

pol_format:ParamPol P->string Defined in line number 1198.


infinitesimal_character

infinitesimal_character:ParamPol P->ratvec Defined in line number 1206.


separate_by_infinitesimal_character

separate_by_infinitesimal_character:ParamPol P->[(ratvec,ParamPol)] Defined in line number 1215.


is_pure

is_pure:ParamPol P->bool Defined in line number 1227.


purity

purity:ParamPol P->(int,int,int) Defined in line number 1233.


find

find:[int] v, int k->int:      first(#v,(int i)bool Defined in line number 1246.


find

find:[Param] P,Param p->int:   first(#P,(int i)bool Defined in line number 1247.


find

find:[KGBElt] S,KGBElt x->int: first(#S,(int i)bool Defined in line number 1248.


find

find:[vec] S,vec v->int:       first(#S,(int i)bool Defined in line number 1249.


in_string_list

in_string_list:string s,[string] S->bool Defined in line number 1256.


delete

delete:[int] v, int k->[int]:     v[:k]##v[k+1 Defined in line number 1260.


delete

delete:[vec] v, int k->[vec]:     v[:k]##v[k+1 Defined in line number 1261.


delete

delete:[ratvec] v, int k->[ratvec]:  v[:k]##v[k+1 Defined in line number 1262.


delete

delete:[[ratvec]] v, int k->[[ratvec]]:v[:k]##v[k+1 Defined in line number 1263.


delete

delete:[[vec]] v, int k->[[vec]]:   v[:k]##v[k+1 Defined in line number 1264.


delete

delete:[ParamPol] P, int k->[ParamPol]:P[:k]##P[k+1 Defined in line number 1265.


imaginary_roots_and_coroots

imaginary_roots_and_coroots:(RootDatum, mat)p->(mat,mat) Defined in line number 1270.


imaginary_roots_and_coroots

imaginary_roots_and_coroots:KGBElt x->(mat,mat) Defined in line number 1272.


real_roots_and_coroots

real_roots_and_coroots:(RootDatum, mat)p->(mat,mat) Defined in line number 1278.


real_roots_and_coroots

real_roots_and_coroots:KGBElt x->(mat,mat) Defined in line number 1280.


complex_posroots

complex_posroots:RootDatum rd,mat theta->mat Defined in line number 1283.


complex_posroots

complex_posroots:KGBElt x->mat Defined in line number 1285.


pad

pad:string s,int padding->string Defined in line number 1289.


monomials

monomials:ParamPol P->[Param] Defined in line number 1295.


monomial

monomial:ParamPol P,int i->Param Defined in line number 1296.