Searched refs:sign_changes (Results 1 – 6 of 6) sorted by relevance
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/utils/ |
H A D | double_poly.cpp | 479 const unsigned int sign_changes, const double s) in recurse_roots() argument 497 for (unsigned int l = 0; l <= sign_changes; l++) in recurse_roots() 500 const double b = (l < sign_changes) ? roots[l] : s; in recurse_roots() 573 unsigned int sign_changes = 0; in double_poly_compute_roots() local 575 sign_changes = recurse_roots(dg[k - 1], roots, sign_changes, s); in double_poly_compute_roots() 581 return sign_changes; in double_poly_compute_roots()
|
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/polyselect/ |
H A D | auxiliary.c | 355 int sign_changes = 0; in L2_skewness_deg6_approx() local 365 sign_changes ++; /* since dfd[0] < 0 */ in L2_skewness_deg6_approx() 367 sign_changes ++; in L2_skewness_deg6_approx() 369 sign_changes ++; /* since dfd[3] = 0 */ in L2_skewness_deg6_approx() 371 sign_changes ++; in L2_skewness_deg6_approx() 373 sign_changes ++; /* since dfd[6] > 0 */ in L2_skewness_deg6_approx() 437 if (sign_changes == 1) in L2_skewness_deg6_approx()
|
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | upolynomial.h | 616 unsigned sign_changes(unsigned sz, numeral const * p);
|
H A D | upolynomial.cpp | 1340 unsigned manager::sign_changes(unsigned sz, numeral const * p) { in sign_changes() function in upolynomial::manager 1358 return sign_changes(sz, p); in descartes_bound() 1376 return sign_changes(Q.size(), Q.c_ptr()); in descartes_bound_0_1()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | upolynomial.h | 616 unsigned sign_changes(unsigned sz, numeral const * p);
|
H A D | upolynomial.cpp | 1340 unsigned manager::sign_changes(unsigned sz, numeral const * p) { in sign_changes() function in upolynomial::manager 1358 return sign_changes(sz, p); in descartes_bound() 1376 return sign_changes(Q.size(), Q.c_ptr()); in descartes_bound_0_1()
|