]> www.ginac.de Git - ginac.git/blob - ginac/polynomial/optimal_vars_finder.h
Implement modular multivariate GCD (based on chinese remaindering algorithm).
[ginac.git] / ginac / polynomial / optimal_vars_finder.h
1 #ifndef GINAC_CHINREM_GCD_OPTIMAL_SYMBOL_FINDER_H
2 #define GINAC_CHINREM_GCD_OPTIMAL_SYMBOL_FINDER_H
3 #include <vector>
4 #include "ex.h"
5
6 namespace GiNaC
7 {
8 /**
9  * @brief Find the order of variables which is optimal for GCD computation.
10  *
11  * Collects statistical information about the highest and lowest degrees
12  * of all variables that appear in two polynomials. Sorts the variables
13  * by minimum degree (lowest to highest). The information gathered by
14  * this function is used by GCD routines to find out the main variable
15  * for GCD computation.
16  */
17 extern exvector gcd_optimal_variables_order(const ex& A, const ex& B);
18 }
19 #endif /* GINAC_CHINREM_GCD_OPTIMAL_SYMBOL_FINDER_H */
20