fmpz_mod_vec.h – vectors over integers mod n

Conversions

void _fmpz_mod_vec_set_fmpz_vec(fmpz *A, const fmpz *B, slong len, const fmpz_mod_ctx_t ctx)

Set the \(fmpz_mod_vec\) \((A, len)\) to the \(fmpz_vec\) \((B, len)\) after reduction of each entry modulo the modulus..

void _fmpz_mod_vec_get_fmpz_vec_smod(fmpz *res, const fmpz *vec, slong len, const fmpz_mod_ctx_t ctx)

Given \((vec, len)\) of residues in \([0, n)\), set \((res, len)\) to the symmetric residues in \((-n/2, n/2]\). This is equivalent to applying _fmpz_vec_scalar_smod_fmpz() but optimized for the case where the input vector is known to be reduced mod \(n\) ahead of time.

Arithmetic

void _fmpz_mod_vec_neg(fmpz *A, const fmpz *B, slong len, const fmpz_mod_ctx_t ctx)

Set \((A, len)\) to \(-(B, len)\).

void _fmpz_mod_vec_add(fmpz *a, const fmpz *b, const fmpz *c, slong n, const fmpz_mod_ctx_t ctx)

Set (A, len)` to \((B, len) + (C, len)\).

void _fmpz_mod_vec_sub(fmpz *a, const fmpz *b, const fmpz *c, slong n, const fmpz_mod_ctx_t ctx)

Set (A, len)` to \((B, len) - (C, len)\).

Scalar Multiplication

void _fmpz_mod_vec_scalar_mul_fmpz_mod(fmpz *A, const fmpz *B, slong len, const fmpz_t c, const fmpz_mod_ctx_t ctx)

Set \((A, len)\) to \((B, len)*c\).

void _fmpz_mod_vec_scalar_addmul_fmpz_mod(fmpz *A, const fmpz *B, slong len, const fmpz_t c, const fmpz_mod_ctx_t ctx)

Set \((A, len)\) to \((A, len) + (B, len)*c\).

void _fmpz_mod_vec_scalar_div_fmpz_mod(fmpz *A, const fmpz *B, slong len, const fmpz_t c, const fmpz_mod_ctx_t ctx)

Set \((A, len)\) to \((B, len)/c\) assuming \(c\) is nonzero.

Dot Product

void _fmpz_mod_vec_dot(fmpz_t d, const fmpz *A, const fmpz *B, slong len, const fmpz_mod_ctx_t ctx)

Set \(d\) to the dot product of \((A, len)\) with \((B, len)\).

void _fmpz_mod_vec_dot_rev(fmpz_t d, const fmpz *A, const fmpz *B, slong len, const fmpz_mod_ctx_t ctx)

Set \(d\) to the dot product of \((A, len)\) with the reverse of the vector \((B, len)\).

Multiplication

void _fmpz_mod_vec_mul(fmpz *A, const fmpz *B, const fmpz *C, slong len, const fmpz_mod_ctx_t ctx)

Set \((A, len)\) the pointwise multiplication of \((B, len)\) and \((C, len)\).