int FP6_zero(FP6 *a) { if (!FP2_zero(&a->f[0])) { return 0; } if (!FP2_zero(&a->f[1])) { return 0; } if (!FP2_zero(&a->f[2])) { return 0; } return 1; }
/* SU= 8 */ void FP4_zero(FP4 *w) { FP2_zero(&(w->a)); FP2_zero(&(w->b)); }
/* SU= 8 */ void FP4_one(FP4 *w) { FP2_one(&(w->a)); FP2_zero(&(w->b)); }
/* SU= 8 */ void FP4_from_FP2(FP4 *w,FP2 *x) { FP2_copy(&(w->a), x); FP2_zero(&(w->b)); }