extended_misc.at Function Index¶
Functions
Function | Argument(s) -> Results |
---|---|
canonical_g | RealForm G->ratvec |
canonical_g | KGBElt x->ratvec |
canonical_g | Param p->ratvec |
cross | int s,Param p->Param |
Cayley | int s,Param p->Param |
Cayley_set | int j,Param p->[Param] |
Cayley_set | int j, int k, Param p->[Param] |
Cayley_set | [int] kappa, Param p->[Param] |
twist | mat delta,KGBElt x->KGBElt |
is_fixed | mat delta, Param p->bool |
is_fixed | ratvec gamma, mat delta, KGBElt x,KGBElt y->bool |
is_fixed | mat delta, KGBElt x->bool |
is_fixed | mat delta, KGBElt x, KGBElt y->bool |
in_A | x_rep(v,theta)->bool |
is_equivalent | x_rep(v_1,theta_1),x_rep(v_2,theta_2)->bool |
square_is_central | InnerClass ic,x_rep(v,theta)->bool |
root_datum | ExtParam E->RootDatum |
rho | ExtParam E->ratvec |
rho_check | ExtParam E->ratvec |
dual_parameter | ExtParam(ic, delta, gamma, lambda, theta, g, l, omega, tau,t)->ExtParam |
log_z | mat delta, vec lambda_rho, vec l, vec tau,vec t->rat |
log_zeta | mat delta, vec lambda, vec l,vec tau,vec t->rat |
log_z | ExtParam E->rat |
log_zeta | ExtParam E->rat |
x | ExtParam E->KGBElt |
y | ExtParam E->KGBElt |
parameter | ExtParam E->Param |
integrality_datum | ExtParam E->RootDatum |
translate_to_dominant | ExtParam(ic,delta,gamma,lambda_rho,theta,g,l,omega,tau,t):E->(ExtParam,vec) |
valid | ExtParam(ic,delta,gamma,lambda_rho,theta,g,l,omega,tau,t)->bool |
fixed | mat delta, [Param] B->[Param] |
fixed_block_of | mat delta, Param p->[Param] |
fixed_block | mat delta, Param p->([Param],int) |
format | ExtParam E->string |
short_format | ExtParam E->string |
long_format | ExtParam E->string |
display | ExtParam E->void |
display_one_line | ExtParam E->void |
Data Types
Data Type Name | Definition |
---|---|
x_rep | (ratvec,mat) |
ExtParam | ( InnerClass ic, mat delta, ratvec gamma, vec lambda_rho, mat theta, ratvec g, vec l, mat omega, vec tau, vec t) |