Searched refs:alpha_1 (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/bsd/ntp/dist/include/ |
| H A D | mbg_gps166.h | 949 l_fp alpha_1; ///< Ionosph. Corr. Coeff. Alpha 1 [sec/deg] member
|
| /netbsd-src/external/bsd/ntp/dist/libparse/ |
| H A D | data_mbg.c | 505 FETCH_DOUBLE(buffpp, &ionop->alpha_1); in get_mbg_iono()
|
| /netbsd-src/external/mit/isl/dist/doc/ |
| H A D | implementation.tex | 1242 n \to \{\, x \to y \mid \exists \, \alpha_0, \alpha_1: 7\alpha_0 = -2 + n \wedge 5\alpha_1 = -1 - x…
1248 n \to \{\, x \mid \exists \, \alpha_0, \alpha_1: 7\alpha_0 = -2 + n \wedge 5\alpha_1 = -1 + x \wedg…
1258 \alpha_1 = \floor{\frac{-1 + x}5}
1262 while $\alpha_1$ can be treated as a variable.
1270 \exists\, \alpha_0, \alpha_1, k, f : {} &
1276 5\alpha_1 = -k + x \wedge
1286 n \to \{\, x \to y \mid \exists \, \alpha_0, \alpha_1: 7\alpha_1 = -2 + n \wedge 6\alpha_0 \ge -x +…
|