Searched defs:neg_k (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
| H A D | upolynomial.cpp | 2289 void manager::drs_isolate_roots(unsigned sz, numeral * p, unsigned neg_k, unsigned pos_k, in drs_isolate_roots()
2341 unsigned neg_k = knuth_negative_root_upper_bound(sz, p); in drs_isolate_roots() local
2346 unsigned neg_k = pos_k; in drs_isolate_roots() local
2389 void manager::sturm_isolate_roots_core(unsigned sz, numeral * p, unsigned neg_k, unsigned pos_k, in sturm_isolate_roots_core()
2473 unsigned neg_k = knuth_negative_root_upper_bound(sz, p); in sturm_isolate_roots() local
2478 unsigned neg_k = pos_k; in sturm_isolate_roots() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
| H A D | upolynomial.cpp | 2289 void manager::drs_isolate_roots(unsigned sz, numeral * p, unsigned neg_k, unsigned pos_k, in drs_isolate_roots()
2341 unsigned neg_k = knuth_negative_root_upper_bound(sz, p); in drs_isolate_roots() local
2346 unsigned neg_k = pos_k; in drs_isolate_roots() local
2389 void manager::sturm_isolate_roots_core(unsigned sz, numeral * p, unsigned neg_k, unsigned pos_k, in sturm_isolate_roots_core()
2473 unsigned neg_k = knuth_negative_root_upper_bound(sz, p); in sturm_isolate_roots() local
2478 unsigned neg_k = pos_k; in sturm_isolate_roots() local
|