matrix.h

Go to the documentation of this file.

#pragma once
 
 
#include <nut/debug.h>
 
typedef struct{
    int64_t rows, cols;
    int64_t *buf;
} nut_i64_Matrix;
 
typedef struct{
    uint64_t rows, cols, modulus;
    uint64_t *buf;
} nut_u64_ModMatrix;
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(write_only, 1)
bool nut_i64_Matrix_init(nut_i64_Matrix *self, int64_t rows, int64_t cols);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_write, 1)
NUT_ATTR_ACCESS(read_only, 2)
void nut_i64_Matrix_copy(nut_i64_Matrix *restrict dest, const nut_i64_Matrix *restrict src);
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(read_write, 1)
void nut_i64_Matrix_destroy(nut_i64_Matrix *self);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_only, 1)
NUT_ATTR_ACCESS(read_write, 2)
void nut_i64_Matrix_fprint(const nut_i64_Matrix *restrict self, FILE *file);
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(read_write, 1)
bool nut_i64_Matrix_fill_I(nut_i64_Matrix *self);
 
NUT_ATTR_NONNULL(1, 2, 3)
NUT_ATTR_ACCESS(read_only, 1)
NUT_ATTR_ACCESS(read_only, 2)
NUT_ATTR_ACCESS(write_only, 3)
void nut_i64_Matrix_mul_vec(const nut_i64_Matrix *restrict self, const int64_t vec[restrict static self->cols], int64_t out[restrict static self->rows]);
 
void nut_i64_Matrix_fill_short_pascal(nut_i64_Matrix *self);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_write, 1)
NUT_ATTR_ACCESS(read_write, 2)
int64_t nut_i64_Matrix_invert_ltr(nut_i64_Matrix *restrict self, nut_i64_Matrix *restrict out);
 
void nut_i64_Matrix_fill_vandemond_vec(uint64_t x, uint64_t k, uint64_t m, int64_t out[static k + 1]);
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(write_only, 1)
bool nut_u64_ModMatrix_init(nut_u64_ModMatrix *self, uint64_t rows, uint64_t cols, uint64_t modulus);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_write, 1)
NUT_ATTR_ACCESS(read_only, 2)
void nut_u64_ModMatrix_copy(nut_u64_ModMatrix *restrict dest, const nut_u64_ModMatrix *restrict src);
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(read_write, 1)
void nut_u64_ModMatrix_destroy(nut_u64_ModMatrix *self);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_only, 1)
NUT_ATTR_ACCESS(read_write, 2)
void nut_u64_ModMatrix_fprint(const nut_u64_ModMatrix *restrict self, FILE *file);
 
NUT_ATTR_NONNULL(1)
NUT_ATTR_ACCESS(read_write, 1)
bool nut_u64_ModMatrix_fill_I(nut_u64_ModMatrix *self);
 
NUT_ATTR_NONNULL(1, 2, 3)
NUT_ATTR_ACCESS(read_only, 1)
NUT_ATTR_ACCESS(read_only, 2)
NUT_ATTR_ACCESS(write_only, 3)
void nut_u64_ModMatrix_mul_vec(const nut_u64_ModMatrix *restrict self, const uint64_t vec[restrict static self->cols], uint64_t out[restrict static self->rows]);
 
void nut_u64_ModMatrix_fill_short_pascal(nut_u64_ModMatrix *self);
 
NUT_ATTR_NONNULL(1, 2)
NUT_ATTR_ACCESS(read_write, 1)
NUT_ATTR_ACCESS(read_write, 2)
bool nut_u64_ModMatrix_invert_ltr(nut_u64_ModMatrix *restrict self, nut_u64_ModMatrix *restrict out);
 
void nut_u64_Matrix_fill_vandemond_vec(uint64_t x, uint64_t k, uint64_t m, uint64_t out[static k + 1]);