extended.at Function References


assert

assert:bool b, (->string) mess->void Defined in line number 9.


E

E:mat delta, KGBElt x, ratvec gamma, ratvec g, ratvec lambda->ExtParam Defined in line number 99.


E

E:mat delta, ratvec gamma, KGBElt x, ratvec g, KGBElt_gen y->ExtParam Defined in line number 127.


E

E:mat delta, Param p, ratvec g->ExtParam Defined in line number 149.


E

E:mat delta, Param p->ExtParam Defined in line number 152.


E

E:mat delta->(Param->ExtParam): (Param p) Defined in line number 157.


torus_factor

torus_factor:ExtParam E->ratvec Defined in line number 159.


dual_torus_factor

dual_torus_factor:ExtParam E->ratvec Defined in line number 160.


nu

nu:ExtParam E->ratvec Defined in line number 161.


length

length:ExtParam E->int Defined in line number 162.


sign

sign:ExtParam(ic1,delta1,gamma1,lambda1,theta1,g1,l1,omega1,tau1,t1):E1,ExtParam(ic2,delta2,gamma2,lambda2,theta2,g2,l2,omega2,tau2,t2):E2->int Defined in line number 173.


sign_verbose

sign_verbose:ExtParam(ic1,delta1,gamma1,lambda1,theta1,g1,l1,omega1,tau1,t1):E1,ExtParam(ic2,delta2,gamma2,lambda2,theta2,g2,l2,omega2,tau2,t2):E2->int Defined in line number 194.


dual_sign

dual_sign:ExtParam(ic1,delta1,gamma1,lambda1,theta1,g1,l1,omega1,tau1,t1):E1,ExtParam(ic2,delta2,gamma2,lambda2,theta2,g2,l2,omega2,tau2,t2):E2->int Defined in line number 218.


sign

sign:ExtParam E,(ExtParam F1,ExtParam F2)->int Defined in line number 238.


sign

sign:(ExtParam E1,ExtParam E2),ExtParam F->int Defined in line number 240.


default

default:ExtParam F->ExtParam Defined in line number 244.


sign

sign:ExtParam E->int Defined in line number 247.


dual_sign

dual_sign:ExtParam E->int Defined in line number 248.


=

=:ExtParam E, ExtParam F->bool Defined in line number 249.


is_default

is_default:ExtParam E->bool Defined in line number 250.


z

z:ExtParam E->rat Defined in line number 252.


z_quot

z_quot:ExtParam E, ExtParam F->int Defined in line number 255.


ext_print_block

ext_print_block:mat delta, [Param] B->void Defined in line number 259.


ext_print_block

ext_print_block:mat delta,Param p->void Defined in line number 280.


ext_print_block

ext_print_block:Param p->void Defined in line number 282.


ext_block_of

ext_block_of:mat delta, Param p, ratvec g->[ExtParam] Defined in line number 290.


ext_block_of

ext_block_of:mat delta, Param p->[ExtParam] Defined in line number 292.


ext_block_of

ext_block_of:Param p->[ExtParam] Defined in line number 294.


ext_block

ext_block:mat delta, Param p, ratvec g->([ExtParam],int) Defined in line number 297.


ext_block

ext_block:mat delta, Param p->([ExtParam],int) Defined in line number 300.


ext_block

ext_block:Param p->([ExtParam],int) Defined in line number 302.


sign_find

sign_find:[ExtParam] list,ExtParam E->(int,int) Defined in line number 306.


sign_find

sign_find:ExtParam E,[ExtParam] list->(int,int) Defined in line number 310.


find

find:[ExtParam] list,ExtParam E->int Defined in line number 313.


find

find:ExtParam E,[ExtParam] list->int Defined in line number 317.


ext_basic

ext_basic:RealForm G->(mat,[Param],ratvec) Defined in line number 323.


folded_bracket

folded_bracket:RootDatum rd, mat delta, int i, int j->int Defined in line number 333.


folded_m

folded_m:RootDatum rd, mat delta, int i, int j->int Defined in line number 337.


folded_order

folded_order:RootDatum rd, mat delta, int i, int j->int Defined in line number 340.