Functions | |
int | fm_piptools_check_int (s_fm_system_t *sys) |
int | fm_piptools_check_rat (s_fm_system_t *sys) |
int | fm_piptools_check (s_fm_system_t *sys, int mode) |
PipQuast * | fm_piptools_pip (s_fm_system_t *sys, s_fm_system_t *context, int mode) |
int | fm_piptools_check_sol (s_fm_solution_t *sol, int mode) |
int | fm_piptools_check_sol_msg (char *msg, FILE *stream, s_fm_solution_t *sol, int mode) |
int | fm_piptools_pipmatrix_equal (PipMatrix *a, PipMatrix *b) |
PipMatrix * | fm_piptools_st_to_pipmatrix (s_fm_system_t *sys) |
s_fm_system_t * | fm_piptools_pm_to_system (PipMatrix *m) |
int fm_piptools_check_int | ( | s_fm_system_t * | sys | ) |
Check if the system has an integer solution (using PIP).
int fm_piptools_check_rat | ( | s_fm_system_t * | sys | ) |
Check if the system has a rational solution (using PIP).
int fm_piptools_check | ( | s_fm_system_t * | sys, | |
int | mode | |||
) |
Check if the system has a solution.
mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)
PipQuast* fm_piptools_pip | ( | s_fm_system_t * | sys, | |
s_fm_system_t * | context, | |||
int | mode | |||
) |
Call PIP on the input system.
mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)
int fm_piptools_check_sol | ( | s_fm_solution_t * | sol, | |
int | mode | |||
) |
Check if the system (represented as a solution_t) has a solution.
mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)
int fm_piptools_check_sol_msg | ( | char * | msg, | |
FILE * | stream, | |||
s_fm_solution_t * | sol, | |||
int | mode | |||
) |
Check if the system (represented as a solution_t) has a solution, and print a message once the check is done.
mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)
int fm_piptools_pipmatrix_equal | ( | PipMatrix * | a, | |
PipMatrix * | b | |||
) |
Check if two PIP matrices are equal.
PipMatrix* fm_piptools_st_to_pipmatrix | ( | s_fm_system_t * | sys | ) |
Convert a system_t to a PIP matrix.
s_fm_system_t* fm_piptools_pm_to_system | ( | PipMatrix * | m | ) |
Convert a PIP matrix to a system_t.