q12
for (i = 0;i < p;++i) r[i] = R[i]*3-q12;
return int32_mod_uint14(x+q12,q)-q12;
for (i = 0;i < I;++i) T[i] = Top(Fq_freeze(bA[i]+r[i]*q12));
for (i = 0;i < p;++i) G[i] = uint32_mod_uint14(L[i],q)-q12;
for (i = 0;i < p;++i) R[i] = r[i]+q12;
for (i = 0;i < p;++i) r[i] = ((Fq)R[i])-q12;
for (i = 0;i < p;++i) R[i] = ((r[i]+q12)*10923)>>15;
for (i = 0; i < p; ++i) R[i] = r[i] + q12;
for (i = 0; i < p; ++i) r[i] = ((Fq)R[i]) - q12;
for (i = 0; i < p; ++i) R[i] = ((r[i] + q12) * 10923) >> 15;
for (i = 0; i < p; ++i) r[i] = R[i] * 3 - q12;