extended_misc.at Function References


canonical_g

canonical_g:RealForm G->ratvec Defined in line number 12.


canonical_g

canonical_g:KGBElt x->ratvec Defined in line number 13.


canonical_g

canonical_g:Param p->ratvec Defined in line number 14.


cross

cross:int s,Param p->Param Defined in line number 23.


Cayley

Cayley:int s,Param p->Param Defined in line number 28.


Cayley_set

Cayley_set:int j,Param p->[Param] Defined in line number 35.


Cayley_set

Cayley_set:int j, int k, Param p->[Param] Defined in line number 40.


Cayley_set

Cayley_set:[int] kappa, Param p->[Param] Defined in line number 44.


twist

twist:mat delta,KGBElt x->KGBElt Defined in line number 53.


is_fixed

is_fixed:mat delta, Param p->bool Defined in line number 60.


is_fixed

is_fixed:ratvec gamma, mat delta, KGBElt x,KGBElt y->bool Defined in line number 63.


is_fixed

is_fixed:mat delta, KGBElt x->bool Defined in line number 67.


is_fixed

is_fixed:mat delta, KGBElt x, KGBElt y->bool Defined in line number 68.


in_A

in_A:x_rep(v,theta)->bool Defined in line number 83.


is_equivalent

is_equivalent:x_rep(v_1,theta_1),x_rep(v_2,theta_2)->bool Defined in line number 90.


square_is_central

square_is_central:InnerClass ic,x_rep(v,theta)->bool Defined in line number 93.


root_datum

root_datum:ExtParam E->RootDatum Defined in line number 104.


rho

rho:ExtParam E->ratvec Defined in line number 105.


rho_check

rho_check:ExtParam E->ratvec Defined in line number 106.


dual_parameter

dual_parameter:ExtParam(ic, delta, gamma, lambda, theta, g, l, omega, tau,t)->ExtParam Defined in line number 108.


log_z

log_z:mat delta, vec lambda_rho, vec l, vec tau,vec t->rat Defined in line number 115.


log_zeta

log_zeta:mat delta, vec lambda, vec l,vec tau,vec t->rat Defined in line number 117.


log_z

log_z:ExtParam E->rat Defined in line number 120.


log_zeta

log_zeta:ExtParam E->rat Defined in line number 122.


x

x:ExtParam E->KGBElt Defined in line number 127.


y

y:ExtParam E->KGBElt Defined in line number 130.


parameter

parameter:ExtParam E->Param Defined in line number 138.


integrality_datum

integrality_datum:ExtParam E->RootDatum Defined in line number 140.


translate_to_dominant

translate_to_dominant:ExtParam(ic,delta,gamma,lambda_rho,theta,g,l,omega,tau,t):E->(ExtParam,vec) Defined in line number 151.


valid

valid:ExtParam(ic,delta,gamma,lambda_rho,theta,g,l,omega,tau,t)->bool Defined in line number 160.


fixed

fixed:mat delta, [Param] B->[Param] Defined in line number 182.


fixed_block_of

fixed_block_of:mat delta, Param p->[Param] Defined in line number 186.


fixed_block

fixed_block:mat delta, Param p->([Param],int) Defined in line number 188.


format

format:ExtParam E->string Defined in line number 191.


short_format

short_format:ExtParam E->string Defined in line number 202.


long_format

long_format:ExtParam E->string Defined in line number 204.


display

display:ExtParam E->void Defined in line number 207.


display_one_line

display_one_line:ExtParam E->void Defined in line number 208.


x_rep

(ratvec,mat) Defined in line number 78.


ExtParam

( InnerClass ic, mat delta, ratvec gamma, vec lambda_rho, mat theta, ratvec g, vec l, mat omega, vec tau, vec t) Defined in line number 97.