Data.Number.Flint.Fq.Zech.Vec

Vectors over finite fields (Zech logarithm representation)

Memory management

_fq_zech_vec_init :: CLong -> Ptr CFqZechCtx -> IO (Ptr CFqZech)

_fq_zech_vec_init len ctx

Returns an initialised vector of fq_zech's of given length.

_fq_zech_vec_clear :: Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_clear vec len ctx

Clears the entries of (vec, len) and frees the space allocated for vec.

Randomisation

_fq_zech_vec_randtest :: Ptr CFqZech -> Ptr CFRandState -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_randtest f state len ctx

Sets the entries of a vector of the given length to elements of the finite field.

Input and output

_fq_zech_vec_fprint :: Ptr CFile -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO CInt

_fq_zech_vec_fprint file vec len ctx

Prints the vector of given length to the stream file. The format is the length followed by two spaces, then a space separated list of coefficients. If the length is zero, only \(0\) is printed.

In case of success, returns a positive value. In case of failure, returns a non-positive value.

_fq_zech_vec_print :: Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO CInt

_fq_zech_vec_print vec len ctx

Prints the vector of given length to stdout.

For further details, see _fq_zech_vec_fprint().

Assignment and basic manipulation

_fq_zech_vec_set :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_set vec1 vec2 len2 ctx

Makes a copy of (vec2, len2) into vec1.

_fq_zech_vec_swap :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_swap vec1 vec2 len2 ctx

Swaps the elements in (vec1, len2) and (vec2, len2).

_fq_zech_vec_zero :: Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_zero vec len ctx

Zeros the entries of (vec, len).

_fq_zech_vec_neg :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_neg vec1 vec2 len2 ctx

Negates (vec2, len2) and places it into vec1.

Comparison

_fq_zech_vec_equal :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO CInt

_fq_zech_vec_equal vec1 vec2 len ctx

Compares two vectors of the given length and returns \(1\) if they are equal, otherwise returns \(0\).

_fq_zech_vec_is_zero :: Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO CInt

_fq_zech_vec_is_zero vec len ctx

Returns \(1\) if (vec, len) is zero, and \(0\) otherwise.

Addition and subtraction

_fq_zech_vec_add :: Ptr CFqZech -> Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_add res vec1 vec2 len2 ctx

Sets (res, len2) to the sum of (vec1, len2) and (vec2, len2).

_fq_zech_vec_sub :: Ptr CFqZech -> Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_sub res vec1 vec2 len2 ctx

Sets (res, len2) to (vec1, len2) minus (vec2, len2).

Scalar multiplication and division

_fq_zech_vec_scalar_addmul_fq_zech :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZech -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_scalar_addmul_fq_zech vec1 vec2 len2 c ctx

Adds (vec2, len2) times \(c\) to (vec1, len2), where \(c\) is a fq_zech_t.

_fq_zech_vec_scalar_submul_fq_zech :: Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZech -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_scalar_submul_fq_zech vec1 vec2 len2 c ctx

Subtracts (vec2, len2) times \(c\) from (vec1, len2), where \(c\) is a fq_zech_t.

Dot products

_fq_zech_vec_dot :: Ptr CFqZech -> Ptr CFqZech -> Ptr CFqZech -> CLong -> Ptr CFqZechCtx -> IO ()

_fq_zech_vec_dot res vec1 vec2 len2 ctx

Sets res to the dot product of (vec1, len) and (vec2, len).