Searched refs:determine_sign (Results 1 – 4 of 4) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/library/core/src/num/flt2dec/ |
| H A D | mod.rs | 310 fn determine_sign(sign: Sign, decoded: &FullDecoded, negative: bool) -> &'static str { in determine_sign() function
365 let sign = determine_sign(sign, &full_decoded, negative); in to_shortest_str()
441 let sign = determine_sign(sign, &full_decoded, negative); in to_shortest_exp_str()
532 let sign = determine_sign(sign, &full_decoded, negative); in to_exact_exp_str()
606 let sign = determine_sign(sign, &full_decoded, negative); in to_exact_fixed_str()
|
| /dports/math/z3/z3-z3-4.8.13/src/math/realclosure/ |
| H A D | realclosure.cpp | 4796 bool determine_sign(rational_function_value * v) { in determine_sign() function
4815 bool determine_sign(value_ref & r) { in determine_sign() function
4817 return determine_sign(to_rational_function(r.get())); in determine_sign()
4937 if (determine_sign(r)) { in mk_add_value()
5151 if (determine_sign(r)) { in mk_mul_value()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/realclosure/ |
| H A D | realclosure.cpp | 4796 bool determine_sign(rational_function_value * v) { in determine_sign() function
4815 bool determine_sign(value_ref & r) { in determine_sign() function
4817 return determine_sign(to_rational_function(r.get())); in determine_sign()
4937 if (determine_sign(r)) { in mk_add_value()
5151 if (determine_sign(r)) { in mk_mul_value()
|
| /dports/math/giacxcas/giac-1.6.0/src/ |
| H A D | optimization.cc | 3838 gen determine_sign(const gen &e_orig,const gen &simp,GIAC_CONTEXT) { in determine_sign() function
3916 gen e=determine_sign(derive(F,allvars.front(),2,contextptr),simp_func,contextptr); in _convex()
3942 cond.push_back(determine_sign(_det(m,contextptr),simp_func,contextptr)); in _convex()
|