4979 vvd(rmatn[0][0], 0.9999999999534999268, 1e-12,
4980 "eraNutm80",
"11", status);
4981 vvd(rmatn[0][1], 0.8847935789636432161e-5, 1e-12,
4982 "eraNutm80",
"12", status);
4983 vvd(rmatn[0][2], 0.3835906502164019142e-5, 1e-12,
4984 "eraNutm80",
"13", status);
4986 vvd(rmatn[1][0], -0.8847780042583435924e-5, 1e-12,
4987 "eraNutm80",
"21", status);
4988 vvd(rmatn[1][1], 0.9999999991366569963, 1e-12,
4989 "eraNutm80",
"22", status);
4990 vvd(rmatn[1][2], -0.4060052702727130809e-4, 1e-12,
4991 "eraNutm80",
"23", status);
4993 vvd(rmatn[2][0], -0.3836265729708478796e-5, 1e-12,
4994 "eraNutm80",
"31", status);
4995 vvd(rmatn[2][1], 0.4060049308612638555e-4, 1e-12,
4996 "eraNutm80",
"32", status);
4997 vvd(rmatn[2][2], 0.9999999991684415129, 1e-12,
4998 "eraNutm80",
"33", status);
static void vvd(double val, double valok, double dval, const char *func, const char *test, int *status)
void eraNutm80(double date1, double date2, double rmatn[3][3])