Searched defs:div_r (Results 1 – 14 of 14) sorted by relevance
/dports/math/givaro/givaro-4.1.1/src/kernel/recint/ |
H A D | rdiv.h | 162 inline rint<K>& div_r(rint<K>& r, const rint<K>& a, const rint<K>& b) { in div_r() function
|
H A D | rudiv.h | 315 inline ruint<K>& div_r(ruint<K>& r, const ruint<K>& a, const ruint<K>& b) { in div_r() function
|
/dports/math/gmp/gmp-6.2.1/mini-gmp/tests/ |
H A D | t-div.c | 72 static div_func * const div_r [3] = in testmain() local
|
/dports/math/gap/gap-4.11.0/extern/gmp/mini-gmp/tests/ |
H A D | t-div.c | 72 static div_func * const div_r [3] = in testmain() local
|
/dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/mini-gmp/tests/ |
H A D | t-div.c | 72 static div_func * const div_r [3] = in testmain() local
|
/dports/math/mingw32-libgmp/gmp-6.0.0/mini-gmp/tests/ |
H A D | t-div.c | 72 static div_func * const div_r [3] = in testmain() local
|
/dports/graphics/freeimage/FreeImage/Source/FreeImageToolkit/ |
H A D | ClassicRotate.cpp | 352 const div_t div_r = div(y, 8); in Rotate90() local 544 const div_t div_r = div(y + dlineup, 8); in Rotate270() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
H A D | arith_axioms.cpp | 442 rational div_r = div(r1.x, r2); in check_idiv_bounds() local
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_apfloat/src/ |
H A D | ppc.rs | 339 fn div_r(self, rhs: Self, round: Round) -> StatusAnd<Self> { in div_r() function
|
H A D | lib.rs | 289 fn div_r(self, rhs: Self, round: Round) -> StatusAnd<Self>; in div_r() method
|
H A D | ieee.rs | 937 fn div_r(mut self, rhs: Self, round: Round) -> StatusAnd<Self> { in div_r() method
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | arith_axioms.cpp | 445 rational div_r = div(r1.x, r2); in check_idiv_bounds() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_lra.cpp | 1752 rational div_r = div(r1.x, r2); in check_idiv_bounds() local
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_lra.cpp | 1726 rational div_r = div(r1.x, r2); in check_idiv_bounds() local
|