Script Reference
complex.at
Definitions
| Name | Signature | Description |
|---|---|---|
| left | (vec v) = vec: v[:#v\2] | |
| right | (vec v)= vec: v[#v\2:] | |
| left | (ratvec v) = ratvec: v[:#v\2] | |
| right | (ratvec v) = ratvec: v[#v\2:] | |
| concatenate | = ##@(ratvec,ratvec) { concatenate as lists of rationals } | concatenate as lists of rationals |
| up_right_corner | (mat M) = mat: | |
| up_left_corner | (mat M) = mat: | |
| is_complex | ic)=bool: | |
| is_strictly_complex | G) = bool: | |
| left_w | (KGBElt x) = mat: { assumes inner_class(x) is complex } | assumes inner_class(x) is complex |
| mu_C | (Param p) = vec: | |
| nu_C | (Param p) = ratvec: | |
| gamma_L | (Param p) = ratvec: (mu_C(p)+nu_C(p))/2 | |
| gamma_R | (Param p) = ratvec: (mu_C(p)-nu_C(p))/2 | |
| parameter_g | (RealForm G,ratvec gamma_L, ratvec gamma_R) = Param: | |
| g_parameter | p)=(p.real_form,p.gamma_L,p.gamma_R) | |
| parameter_m | G, vec mu, ratvec nu) = Param: | |
| m_parameter | p) = (RealForm,vec,ratvec): (p.real_form,p.mu_C,p.nu_C) | |
| K_int | G,ratvec gamma) = RealForm: | |
| left_G | G,ratvec gamma)=K_int(G,gamma) | |
| left_G | G)=left_G(G,G.rho) | |
| left_rho | G)=ratvec: | |
| left_W | G,ratvec gamma)=K_int(G,gamma##gamma).W | |
| left_W | G)=left_W(G,G.left_rho) | |
| diag_W | G,WeylElt w)= | |
| embed_left | G,WeylElt w)= | |
| parameter_w | G,ratvec gamma, WeylElt w) = Param: | |
| parameter1_w | G, ratvec gamma, WeylElt w) = Param: | |
| w_parameter | p) = (RealForm,ratvec,WeylElt): | |
| w_parameter1 | p) = (RealForm,ratvec,WeylElt): | |
| w | p) = WeylElt: let (,,w)=w_parameter(p) in w | |
| cell_as_w | block,WCell cell) = [WeylElt]: | |
| view_complex | params) = void: | |
| gp_alg_elt | P) = [(Split,WeylElt)]: | |
| gp_alg_elt1 | P) = [(Split,WeylElt)]: | |
| * | x,Param p) = ParamPol: | |
| inverses | cell) = [WeylElt]: for w in cell do /w od | |
| intersect | a,[WeylElt] b)= [WeylElt]: | |
| self_intersect | a)= [WeylElt]: intersect(a,inverses(a)) | |
| diag | cells) = [[WeylElt]]: { diagonal, one must presume } | diagonal, one must presume |