Script Reference
test_unitarity.at
Definitions
| Name | Signature | Description |
|---|---|---|
| uflag | (int predicted) = string: | |
| uflag | (bool flag) = string: | |
| as_predicted | (int predicted, bool unitary) = bool: | |
| passedflag | predicted, bool unitary) = string: | |
| passedflag | (bool flag) = string: if flag then "passed" else "failed" fi | |
| test | ([(Param,int)] parameters,bool verbose) = | |
| test | ([(Param,int)] parameters) = test(parameters,false) { default quiet } | default quiet |
| print_test | ([(Param,int)] parameters) = void: | |
| test | parameters) = (bool,[(Param,KTypePol,int,bool)]): | |
| print_test | parameters) = void: | |
| test_one | (Param param,int unitary) = (bool,[(Param,KTypePol,int,bool)]): | |
| print_test_one | (Param param,int unitary) = void: | |
| test_one_unitary | (Param param) = (bool,[(Param,KTypePol,int,bool)]): | |
| test_spherical_unipotent | (RealForm G) = (bool,[(Param,KTypePol,int,bool)]): | |
| print_test_spherical_unipotent | G)= void: | |
| test_Aq | ([Param] B) = (bool,[(Param,KTypePol,int,bool)]): | |
| print_test_Aq | ([Param] B) = void: | |
| print_test_Upq_Aq | ([Param] B) = void: | |
| print_test_Upq_Aq | (int p, int q, ratvec gamma) = void: | |
| test_Aq | (RealForm G) = (bool,[(Param,KTypePol,int,bool)]): | |
| print_test_Aq | (RealForm G) = void: | |
| test_all_real_induced_one_dimensional | G) = | |
| print_test_all_real_induced_one_dimensional | G) = void: | |
| unitary_if | (bool b) = int: if b then 1 else -1 fi | |
| success | ((bool,[Param,KTypePol,int,bool]) (b,)) = bool: b | |
| test1 | ||
| test2 | ||
| test3 | ||
| test4 | ||
| test5 | test(spherical_unipotent_representations (SO(5,4))).success | |
| test6 | ||
| test7 | bool: | |
| test8 | bool: | |
| test9 |