lindep.h

Go to the documentation of this file.

// Copyright (C) 2011 CNRS - Ecole Polytechnique - INRIA.
//
// This file is part of TIFA.
//
// TIFA is free software; you can redistribute it and/or modify it under the 
// terms of the GNU Lesser General Public License as published by the Free
// Software Foundation; either version 2.1 of the License, or (at your option)
// any later version.
//
// TIFA is distributed in the hope that it will be useful, but WITHOUT ANY
// WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
// FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for
// more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with this library; if not, write to the Free Software Foundation,
// Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301 USA.

#if !defined(_TIFA_LINDEP_H_)

#define _TIFA_LINDEP_H_

#ifdef __cplusplus
extern "C" {
#endif

#include <inttypes.h>

#include "array.h"
#include "x_array_list.h"
#include "matrix.h"
#include "exit_codes.h"

enum linalg_method_enum {
    SMART_GAUSS_ELIM = 0
};

typedef enum linalg_method_enum linalg_method_t;

static const char* const linalg_method_to_str[1] = {
    "smart gaussian elimination"
};

void fill_matrix_trial_div(
          binary_matrix_t* const matrix,
          mpz_array_t*     const partially_factored,
    const mpz_array_t*     const to_factor,
    const uint32_array_t*  const factor_base
);
   
void fill_trial_div_decomp(
          binary_matrix_t* const matrix,
          byte_matrix_t*   const decomp_matrix,
          mpz_array_t*     const partially_factored,
    const mpz_array_t*     const to_factor,
    const uint32_array_t*  const factor_base
);

void fill_matrix_from_list(
          binary_matrix_t*     const matrix,
    const mpz_array_t*         const smooth_array,
    const uint32_array_list_t* const list,
    const uint32_array_t*      const factor_base
);

void fill_matrix_from_list_decomp(
          binary_matrix_t*     const matrix,
          byte_matrix_t*       const decomp_matrix,
    const mpz_array_t*         const smooth_array,
    const uint32_array_list_t* const list,
    const uint32_array_t*      const factor_base
);

uint32_array_list_t* find_dependencies(
    binary_matrix_t* const matrix,
    linalg_method_t        method
);

ecode_t find_factors(
          mpz_array_t*         const factors,
    const mpz_t                      n,
    const mpz_array_t*         const xi_array,
    const mpz_array_t*         const yi_array,
    const uint32_array_list_t* const dependencies
);

ecode_t find_factors_decomp(
          mpz_array_t*         const factors,
    const mpz_t                      n,
    const mpz_array_t*         const xi_array,
    const byte_matrix_t*       const yi_decomp_matrix,
    const uint32_array_list_t* const dependencies,
    const uint32_array_t*      const factor_base
);

#ifdef __cplusplus
}
#endif

#endif

---