Home
last modified time | relevance | path

Searched refs:sign_changes (Results 1 – 6 of 6) sorted by relevance

/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/utils/
H A Ddouble_poly.cpp479 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 Dauxiliary.c355 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 Dupolynomial.h616 unsigned sign_changes(unsigned sz, numeral const * p);
H A Dupolynomial.cpp1340 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 Dupolynomial.h616 unsigned sign_changes(unsigned sz, numeral const * p);
H A Dupolynomial.cpp1340 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()