Script Reference
G2_unitary_dual.at
Definitions
| Name | Signature | Description |
|---|---|---|
| G | ||
| my_simple_roots | ||
| short_format | p)=string: | |
| all_parameters_x_gamma | (KGBElt x,ratvec gamma) = [Param]: | |
| M | ||
| i_M | inverse_change_basis(G,my_simple_roots) | |
| g2_parameter | x, ratvec lambda, ratvec nu)=parameter(x, i_M*lambda,i_M*nu) | |
| cartans | ||
| H1 | {has short real roots} | has short real roots |
| H2 | {has long real roots} | has long real roots |
| H_s | ||
| H_l | ||
| ps | epsilon,ratvec v)=parameter(x_open(G), G.rho+epsilon*[1,0],v) | |
| gamma_s | m,rat v)=ratvec:(m/2)*[0,1] + (v/2)*[2,-1] | |
| x_s | ||
| p_s | m, rat v)=[Param]: {allow [Param] for limits of DS p_s(even,0)} | allow [Param] for limits of DS p_s(even,0) |
| gamma_l | m,rat v)=ratvec:(m/2)*[1,0] + (v/2)*[3,-2] | |
| x_l | ||
| coords | G,ratvec v)=[rat]:for a in G.simple_coroots do a*v od | |
| in_fpp | v)=bool:all(for x in v do x>=0 and x<=1 od) | |
| in_fpp | G,ratvec v)=bool:in_fpp(coords(G,v)) | |
| in_fpp | p)=bool:in_fpp(p.real_form,p.infinitesimal_character) | |
| p_l | m, rat v)=[Param]: {allow [Param] for limits of DS p_s(even,0)} | allow [Param] for limits of DS p_s(even,0) |
| test_s | m, rat v0, rat v1, rat step_size)= | |
| test_l | m, rat v0, rat v1, rat step_size)= |