Go to the source code of this file.
Functions | |
| void | flint_final_cleanup_thread (void) |
| void | flint_final_cleanup_master (void) |
| WORD * | flint_div (PHEAD WORD *a, WORD *b, const WORD must_fit_term) |
| int | flint_factorize_argument (PHEAD WORD *argin, WORD *argout) |
| WORD * | flint_factorize_dollar (PHEAD WORD *argin) |
| WORD * | flint_gcd (PHEAD WORD *a, WORD *b, const WORD must_fit_term) |
| WORD * | flint_inverse (PHEAD WORD *a, WORD *b) |
| WORD * | flint_mul (PHEAD WORD *a, WORD *b) |
| WORD * | flint_ratfun_add (PHEAD WORD *t1, WORD *t2) |
| int | flint_ratfun_normalize (PHEAD WORD *term) |
| WORD * | flint_rem (PHEAD WORD *a, WORD *b, const WORD must_fit_term) |
| void | flint_check_version (void) |
Detailed Description
Contains functions to call FLINT interface from the rest of FORM.
Definition in file flintwrap.cc.
Function Documentation
◆ flint_final_cleanup_thread()
| void flint_final_cleanup_thread | ( | void | ) |
Definition at line 43 of file flintwrap.cc.
◆ flint_final_cleanup_master()
| void flint_final_cleanup_master | ( | void | ) |
Definition at line 50 of file flintwrap.cc.
◆ flint_div()
| WORD * flint_div | ( | PHEAD WORD * | a, |
| WORD * | b, | ||
| const WORD | must_fit_term | ||
| ) |
Definition at line 57 of file flintwrap.cc.
◆ flint_factorize_argument()
| int flint_factorize_argument | ( | PHEAD WORD * | argin, |
| WORD * | argout | ||
| ) |
Definition at line 79 of file flintwrap.cc.
◆ flint_factorize_dollar()
| WORD * flint_factorize_dollar | ( | PHEAD WORD * | argin | ) |
Definition at line 100 of file flintwrap.cc.
◆ flint_gcd()
| WORD * flint_gcd | ( | PHEAD WORD * | a, |
| WORD * | b, | ||
| const WORD | must_fit_term | ||
| ) |
Definition at line 119 of file flintwrap.cc.
◆ flint_inverse()
| WORD * flint_inverse | ( | PHEAD WORD * | a, |
| WORD * | b | ||
| ) |
Definition at line 140 of file flintwrap.cc.
◆ flint_mul()
| WORD * flint_mul | ( | PHEAD WORD * | a, |
| WORD * | b | ||
| ) |
Definition at line 161 of file flintwrap.cc.
◆ flint_ratfun_add()
| WORD * flint_ratfun_add | ( | PHEAD WORD * | t1, |
| WORD * | t2 | ||
| ) |
Definition at line 180 of file flintwrap.cc.
◆ flint_ratfun_normalize()
| int flint_ratfun_normalize | ( | PHEAD WORD * | term | ) |
Definition at line 219 of file flintwrap.cc.
◆ flint_rem()
| WORD * flint_rem | ( | PHEAD WORD * | a, |
| WORD * | b, | ||
| const WORD | must_fit_term | ||
| ) |
Definition at line 292 of file flintwrap.cc.
◆ flint_check_version()
| void flint_check_version | ( | void | ) |
Checks the FLINT library version at runtime.
This function should be called at startup. The program will terminate if a known buggy version of FLINT is detected.
Definition at line 321 of file flintwrap.cc.
