void fp12_copy(fp12_t c, fp12_t a) { fp6_copy(c[0], a[0]); fp6_copy(c[1], a[1]); }
void fp18_copy(fp18_t c, fp18_t a) { fp6_copy(c[0], a[0]); fp6_copy(c[1], a[1]); fp6_copy(c[2], a[2]); }
void fp12_inv_uni(fp12_t c, fp12_t a) { /* In this case, it's a simple conjugate. */ fp6_copy(c[0], a[0]); fp6_neg(c[1], a[1]); }