/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | mpf.h | 51 mpf(mpf &&) = default; 79 void set(mpf & o, mpf const & x); 87 void abs(mpf const & x, mpf & o); 90 void neg(mpf const & x, mpf & o); 118 void add(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 119 void sub(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 120 void mul(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 123 void fma(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf const &z, mpf & o); 129 void rem(mpf const & x, mpf const & y, mpf & o); 131 void maximum(mpf const & x, mpf const & y, mpf & o); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | mpf.h | 51 mpf(mpf &&) = default; 79 void set(mpf & o, mpf const & x); 87 void abs(mpf const & x, mpf & o); 90 void neg(mpf const & x, mpf & o); 118 void add(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 119 void sub(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 120 void mul(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & o); 123 void fma(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf const &z, mpf & o); 129 void rem(mpf const & x, mpf const & y, mpf & o); 131 void maximum(mpf const & x, mpf const & y, mpf & o); [all …]
|
/dports/math/py-mpmath/mpmath-1.2.1/mpmath/tests/ |
H A D | test_basic_ops.py | 23 assert mpf(2.5) + mpf(3) == 5.5 38 assert mpf(2.5) - mpf(3) == -0.5 53 assert mpf(2.5) * mpf(3) == 7.5 68 assert mpf(6) / mpf(3) == 2.0 83 assert mpf(6) ** mpf(3) == 216.0 109 assert mpf(4) + mpf(-70) == -66 111 assert mpf((1, 10000000000)) + mpf(3) == mpf((1, 10000000000)) 112 assert mpf(3) + mpf((1, 10000000000)) == mpf((1, 10000000000)) 113 assert mpf((1, -10000000000)) + mpf(3) == mpf(3) 114 assert mpf(3) + mpf((1, -10000000000)) == mpf(3) [all …]
|
H A D | test_functions.py | 499 assert arange(10) == [mpf('0.0'), mpf('1.0'), mpf('2.0'), mpf('3.0'), 500 mpf('4.0'), mpf('5.0'), mpf('6.0'), mpf('7.0'), 502 assert arange(-5, 5) == [mpf('-5.0'), mpf('-4.0'), mpf('-3.0'), 503 mpf('-2.0'), mpf('-1.0'), mpf('0.0'), 504 mpf('1.0'), mpf('2.0'), mpf('3.0'), mpf('4.0')] 514 mpf('8.0'), mpf('5.0'), mpf('2.0'), 526 mpf('5.0'), mpf('6.0'), mpf('7.0'), mpf('8.0')] 750 x1 = mpf(10000) - mpf('1e-15') 751 x2 = mpf(10000) + mpf('1e-15') 754 x5 = mpf(10001) - mpf('1e-15') [all …]
|
H A D | test_convert.py | 11 assert mpf('3') == mpf('3.0') == mpf('0003.') == mpf('0.03e2') == mpf(3.0) 12 assert mpf('30') == mpf('30.0') == mpf('00030.') == mpf(30.0) 19 assert str(mpf('25.0')) == '25.0' 20 assert str(mpf('2.5')) == '2.5' 21 assert str(mpf('0.25')) == '0.25' 26 assert str(mpf(0)) == '0.0' 40 assert repr(mpf(2.5)) == '2.5' 48 assert mpf('1.26 ') == 1.26 118 return mpf(3.5)._mpf_, mpf(2.5)._mpf_ 121 assert mpf(mympf()) == 3.5 [all …]
|
H A D | test_elliptic.py | 28 zero = mpf(0) 29 one = mpf(1) 92 (mpf(2)/10, mpf('0.01394285727531826872146409')), 93 (mpf(3)/10, mpf('0.02227743615715350822901627')), 94 (mpf(4)/10, mpf('0.03188334731336317755064299')), 95 (mpf(5)/10, mpf('0.04321391826377224977441774')), 96 (mpf(6)/10, mpf('0.05702025781460967637754953')), 99 (mpf(9)/10, mpf('0.1401731269542615524091055')), 100 (mpf(9)/10, mpf('0.1401731269542615524091055'))] 163 q = mpf(6)/10 - one/10**6 - mpf(8)/10 * j [all …]
|
H A D | test_special.py | 22 assert mpf(2) + inf == inf 24 assert mpf(2) - inf == -inf 31 assert inf > mpf(3) 32 assert mpf(3) < inf 33 assert mpf(3) > -inf 34 assert -inf < mpf(3) 58 assert mpf('inf') == mpf('+inf') == inf 59 assert mpf('-inf') == -inf 60 assert isnan(mpf('nan')) 64 assert not isinf(mpf(0)) [all …]
|
/dports/math/mppp/mppp-0.26/test/pybind11/ |
H A D | run_pybind11_test_01.py | 273 [mpf(1), mpf(-2), mpf(3)])) 279 [mpf(1), mpf(-2), mpf("1.1")]) == [mpf(1), mpf(-2), mpf("1.1")]) 283 [mpf(1), mpf(2)**-16495, mpf(3)]) == [mpf(1), mpf(0), mpf(3)]) 292 {'a': mpf("1.1"), 'b': mpf(2)}) == {'a': mpf("1.1"), 'b': mpf(2)}) 296 {'a': mpf(1), 'b': mpf(2)**-16495}) == {'a': mpf(1), 'b': mpf(0)}) 318 [mpf("1.1"), mpf(-2), mpf(3)]) == [mpf("1.1"), mpf(-2), mpf(3)]) 320 [mpf(1), mpf(2)**-16495, mpf(3)]) == [mpf(1), mpf(2)**-16495, mpf(3)]) 325 {'a': mpf("1.1"), 'b': mpf(2)}) == {'a': mpf("1.1"), 'b': mpf(2)}) 327 {'a': mpf(1), 'b': mpf(2)**-16495}) == {'a': mpf(1), 'b': mpf(2)**-16495}) 333 {'a': mpf("1.1"), 'b': mpf(2)}) == {'a': mpf("1.1"), 'b': mpf(2)}) [all …]
|
/dports/science/py-scipy/scipy-1.7.1/scipy/special/tests/ |
H A D | test_precompute_gammainc.py | 26 g = [mp.mpf(1), mp.mpf(1)/12, mp.mpf(1)/288, 27 -mp.mpf(139)/51840, -mp.mpf(571)/2488320, 28 mp.mpf(163879)/209018880, mp.mpf(5246819)/75246796800] 39 alpha = [mp.mpf(0), mp.mpf(1), mp.mpf(1)/3, mp.mpf(1)/36, 40 -mp.mpf(1)/270, mp.mpf(1)/4320, mp.mpf(1)/17010, 41 -mp.mpf(139)/5443200, mp.mpf(1)/204120] 58 dataset = [(0, 0, -mp.mpf('0.333333333333333333333333333333')), 59 (0, 12, mp.mpf('0.102618097842403080425739573227e-7')), 62 (2, 0, mp.mpf('0.413359788359788359788359788360e-2')), 64 (3, 0, mp.mpf('0.649434156378600823045267489712e-3')), [all …]
|
/dports/science/libcint/libcint-5.1.0/scripts/ |
H A D | erfc_tabulate.py | 27 mpmath.mpf('0.32525481e-13'), 28 mpmath.mpf('0.33473119e-13'), 31 mpmath.mpf('0.74182e-16'), 32 mpmath.mpf('0.50631e-16'), 33 mpmath.mpf('-0.2237e-17'), 34 mpmath.mpf('-0.2187e-17'), 35 mpmath.mpf('0.27e-19'), 36 mpmath.mpf('0.97e-19'), 37 mpmath.mpf('0.3e-20'), 38 mpmath.mpf('-0.4e-20'), [all …]
|
/dports/math/e-antic/flint2-ae7ec89/ |
H A D | mpf_vec.h | 24 typedef __mpf_struct mpf; typedef 34 FLINT_DLL void _mpf_vec_clear(mpf * vec, slong len); 45 FLINT_DLL void _mpf_vec_set(mpf * vec1, const mpf * vec2, slong len2); 49 FLINT_DLL int _mpf_vec_equal(const mpf * vec1, const mpf * vec2, slong len); 51 FLINT_DLL int _mpf_vec_approx_equal(const mpf * vec1, const mpf * vec2, slong len, flint_bitcnt_t b… 57 FLINT_DLL void _mpf_vec_add(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 59 FLINT_DLL void _mpf_vec_sub(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 63 FLINT_DLL void _mpf_vec_scalar_mul_2exp(mpf * res, const mpf * vec, slong len, flint_bitcnt_t exp); 65 FLINT_DLL void _mpf_vec_scalar_mul_mpf(mpf * res, const mpf * vec, slong len, mpf_t c); 69 FLINT_DLL void _mpf_vec_dot(mpf_t res, const mpf * vec1, const mpf * vec2, slong len2); [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/ |
H A D | mpf_vec.h | 24 typedef __mpf_struct mpf; typedef 34 FLINT_DLL void _mpf_vec_clear(mpf * vec, slong len); 45 FLINT_DLL void _mpf_vec_set(mpf * vec1, const mpf * vec2, slong len2); 49 FLINT_DLL int _mpf_vec_equal(const mpf * vec1, const mpf * vec2, slong len); 51 FLINT_DLL int _mpf_vec_approx_equal(const mpf * vec1, const mpf * vec2, slong len, flint_bitcnt_t b… 57 FLINT_DLL void _mpf_vec_add(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 59 FLINT_DLL void _mpf_vec_sub(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 63 FLINT_DLL void _mpf_vec_scalar_mul_2exp(mpf * res, const mpf * vec, slong len, flint_bitcnt_t exp); 65 FLINT_DLL void _mpf_vec_scalar_mul_mpf(mpf * res, const mpf * vec, slong len, mpf_t c); 69 FLINT_DLL void _mpf_vec_dot(mpf_t res, const mpf * vec1, const mpf * vec2, slong len2); [all …]
|
/dports/math/flint2/flint-2.8.4/ |
H A D | mpf_vec.h | 24 typedef __mpf_struct mpf; typedef 34 FLINT_DLL void _mpf_vec_clear(mpf * vec, slong len); 45 FLINT_DLL void _mpf_vec_set(mpf * vec1, const mpf * vec2, slong len2); 49 FLINT_DLL int _mpf_vec_equal(const mpf * vec1, const mpf * vec2, slong len); 51 FLINT_DLL int _mpf_vec_approx_equal(const mpf * vec1, const mpf * vec2, slong len, flint_bitcnt_t b… 57 FLINT_DLL void _mpf_vec_add(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 59 FLINT_DLL void _mpf_vec_sub(mpf * res, const mpf * vec1, const mpf * vec2, slong len2); 63 FLINT_DLL void _mpf_vec_scalar_mul_2exp(mpf * res, const mpf * vec, slong len, flint_bitcnt_t exp); 65 FLINT_DLL void _mpf_vec_scalar_mul_mpf(mpf * res, const mpf * vec, slong len, mpf_t c); 69 FLINT_DLL void _mpf_vec_dot(mpf_t res, const mpf * vec1, const mpf * vec2, slong len2); [all …]
|
/dports/databases/db18/db-18.1.40/lang/cxx/ |
H A D | cxx_mpool.cpp | 28 if (mpf == NULL) \ 31 ret = mpf->_name _arglist; \ 43 mpf->_name _arglist; \ 67 if (mpf == NULL) in close() 70 ret = mpf->close(mpf, flags); in close() 94 (mpf, lenp), DB_RETOK_STD) 96 (mpf, len), DB_RETOK_STD) 108 (mpf, ftype), DB_RETOK_STD) 120 (mpf, dbt), DB_RETOK_STD) 122 (mpf, dbt), DB_RETOK_STD) [all …]
|
/dports/databases/db5/db-5.3.28/lang/cxx/ |
H A D | cxx_mpool.cpp | 28 if (mpf == NULL) \ 31 ret = mpf->_name _arglist; \ 43 mpf->_name _arglist; \ 67 if (mpf == NULL) in close() 70 ret = mpf->close(mpf, flags); in close() 94 (mpf, lenp), DB_RETOK_STD) 96 (mpf, len), DB_RETOK_STD) 108 (mpf, ftype), DB_RETOK_STD) 120 (mpf, dbt), DB_RETOK_STD) 122 (mpf, dbt), DB_RETOK_STD) [all …]
|
/dports/math/gmp/gmp-6.2.1/demos/perl/ |
H A D | test.pl | 1409 ok (mpf(mpf(0)) == 0); 1425 ok (mpf(mpf(-123)) == -123); 1455 ok (mpf($uv_max) == mpf($uv_max_str)); 1589 ok (mpf(0) ** mpf(1) == 0); 1590 ok (mpf(1) ** mpf(1) == 1); 1591 ok (mpf(2) ** mpf(0) == 1); 1592 ok (mpf(2) ** mpf(1) == 2); 1593 ok (mpf(2) ** mpf(2) == 4); 1594 ok (mpf(2) ** mpf(3) == 8); 1595 ok (mpf(2) ** mpf(4) == 16); [all …]
|
/dports/math/gap/gap-4.11.0/extern/gmp/demos/perl/ |
H A D | test.pl | 1409 ok (mpf(mpf(0)) == 0); 1425 ok (mpf(mpf(-123)) == -123); 1455 ok (mpf($uv_max) == mpf($uv_max_str)); 1589 ok (mpf(0) ** mpf(1) == 0); 1590 ok (mpf(1) ** mpf(1) == 1); 1591 ok (mpf(2) ** mpf(0) == 1); 1592 ok (mpf(2) ** mpf(1) == 2); 1593 ok (mpf(2) ** mpf(2) == 4); 1594 ok (mpf(2) ** mpf(3) == 8); 1595 ok (mpf(2) ** mpf(4) == 16); [all …]
|
/dports/math/mingw32-libgmp/gmp-6.0.0/demos/perl/ |
H A D | test.pl | 1409 ok (mpf(mpf(0)) == 0); 1425 ok (mpf(mpf(-123)) == -123); 1455 ok (mpf($uv_max) == mpf($uv_max_str)); 1589 ok (mpf(0) ** mpf(1) == 0); 1590 ok (mpf(1) ** mpf(1) == 1); 1591 ok (mpf(2) ** mpf(0) == 1); 1592 ok (mpf(2) ** mpf(1) == 2); 1593 ok (mpf(2) ** mpf(2) == 4); 1594 ok (mpf(2) ** mpf(3) == 8); 1595 ok (mpf(2) ** mpf(4) == 16); [all …]
|
/dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/demos/perl/ |
H A D | test.pl | 1409 ok (mpf(mpf(0)) == 0); 1425 ok (mpf(mpf(-123)) == -123); 1455 ok (mpf($uv_max) == mpf($uv_max_str)); 1589 ok (mpf(0) ** mpf(1) == 0); 1590 ok (mpf(1) ** mpf(1) == 1); 1591 ok (mpf(2) ** mpf(0) == 1); 1592 ok (mpf(2) ** mpf(1) == 2); 1593 ok (mpf(2) ** mpf(2) == 4); 1594 ok (mpf(2) ** mpf(3) == 8); 1595 ok (mpf(2) ** mpf(4) == 16); [all …]
|
/dports/databases/db5/db-5.3.28/dist/template/ |
H A D | rec_db | 38 if ((ret = mpf->get(mpf, 103 if ((ret = mpf->get(mpf, 168 if ((ret = mpf->get(mpf, 233 if ((ret = mpf->get(mpf, 298 if ((ret = mpf->get(mpf, 363 if ((ret = mpf->get(mpf, 428 if ((ret = mpf->get(mpf, 493 if ((ret = mpf->get(mpf, 558 if ((ret = mpf->get(mpf, 623 if ((ret = mpf->get(mpf, [all …]
|
H A D | rec_btree | 38 if ((ret = mpf->get(mpf, 103 if ((ret = mpf->get(mpf, 168 if ((ret = mpf->get(mpf, 233 if ((ret = mpf->get(mpf, 298 if ((ret = mpf->get(mpf, 363 if ((ret = mpf->get(mpf, 428 if ((ret = mpf->get(mpf, 493 if ((ret = mpf->get(mpf, 558 if ((ret = mpf->get(mpf, 623 if ((ret = mpf->get(mpf, [all …]
|
/dports/databases/db18/db-18.1.40/dist/template/ |
H A D | rec_db | 38 if ((ret = mpf->get(mpf, 103 if ((ret = mpf->get(mpf, 168 if ((ret = mpf->get(mpf, 233 if ((ret = mpf->get(mpf, 298 if ((ret = mpf->get(mpf, 363 if ((ret = mpf->get(mpf, 428 if ((ret = mpf->get(mpf, 493 if ((ret = mpf->get(mpf, 558 if ((ret = mpf->get(mpf, 623 if ((ret = mpf->get(mpf, [all …]
|
H A D | rec_btree | 38 if ((ret = mpf->get(mpf, 103 if ((ret = mpf->get(mpf, 168 if ((ret = mpf->get(mpf, 233 if ((ret = mpf->get(mpf, 298 if ((ret = mpf->get(mpf, 363 if ((ret = mpf->get(mpf, 428 if ((ret = mpf->get(mpf, 493 if ((ret = mpf->get(mpf, 558 if ((ret = mpf->get(mpf, 623 if ((ret = mpf->get(mpf, [all …]
|
/dports/math/e-antic/flint2-ae7ec89/doc/source/ |
H A D | mpf_vec.rst | 11 .. function:: mpf * _mpf_vec_init(slong len) 16 .. function:: void _mpf_vec_clear(mpf * vec, slong len) 40 .. function:: void _mpf_vec_set(mpf * vec1, const mpf * vec2, slong len2) 50 .. function:: int _mpf_vec_equal(const mpf * vec1, const mpf * vec2, slong len) 59 .. function:: int _mpf_vec_approx_equal(const mpf * vec1, const mpf * vec2, slong len, flint_bitcnt… 69 .. function:: void _mpf_vec_add(mpf * res, const mpf * vec1, const mpf * vec2, slong len2) 74 .. function:: void _mpf_vec_sub(mpf * res, const mpf * vec1, const mpf * vec2, slong len2) 83 .. function:: void _mpf_vec_scalar_mul_mpf(mpf * res, const mpf * vec, slong len, mpf_t c) 88 .. function:: void _mpf_vec_scalar_mul_2exp(mpf * res, const mpf * vec, slong len, flint_bitcnt_t e… 97 .. function:: void _mpf_vec_dot(mpf_t res, const mpf * vec1, const mpf * vec2, slong len2) [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/doc/source/ |
H A D | mpf_vec.rst | 11 .. function:: mpf * _mpf_vec_init(slong len) 16 .. function:: void _mpf_vec_clear(mpf * vec, slong len) 40 .. function:: void _mpf_vec_set(mpf * vec1, const mpf * vec2, slong len2) 50 .. function:: int _mpf_vec_equal(const mpf * vec1, const mpf * vec2, slong len) 59 .. function:: int _mpf_vec_approx_equal(const mpf * vec1, const mpf * vec2, slong len, flint_bitcnt… 69 .. function:: void _mpf_vec_add(mpf * res, const mpf * vec1, const mpf * vec2, slong len2) 74 .. function:: void _mpf_vec_sub(mpf * res, const mpf * vec1, const mpf * vec2, slong len2) 83 .. function:: void _mpf_vec_scalar_mul_mpf(mpf * res, const mpf * vec, slong len, mpf_t c) 88 .. function:: void _mpf_vec_scalar_mul_2exp(mpf * res, const mpf * vec, slong len, flint_bitcnt_t e… 97 .. function:: void _mpf_vec_dot(mpf_t res, const mpf * vec1, const mpf * vec2, slong len2) [all …]
|