Home
last modified time | relevance | path

Searched refs:mpf (Results 1 – 25 of 1158) sorted by relevance

12345678910>>...47

/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dmpf.h51 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 Dmpf.h51 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 Dtest_basic_ops.py23 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 Dtest_functions.py499 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 Dtest_convert.py11 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 Dtest_elliptic.py28 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 Dtest_special.py22 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 Drun_pybind11_test_01.py273 [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 Dtest_precompute_gammainc.py26 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 Derfc_tabulate.py27 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 Dmpf_vec.h24 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 Dmpf_vec.h24 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 Dmpf_vec.h24 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 Dcxx_mpool.cpp28 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 Dcxx_mpool.cpp28 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 Dtest.pl1409 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 Dtest.pl1409 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 Dtest.pl1409 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 Dtest.pl1409 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 Drec_db38 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 Drec_btree38 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 Drec_db38 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 Drec_btree38 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 Dmpf_vec.rst11 .. 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 Dmpf_vec.rst11 .. 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 …]

12345678910>>...47