| /dports/math/SCIP/scip-7.0.3/check/solchecker/src/ |
| H A D | gmputils.cpp | 20 mpq_canonicalize(number); in Rational()
27 mpq_canonicalize(number); in Rational()
76 mpq_canonicalize(number); in operator +=()
83 mpq_canonicalize(number); in operator -=()
90 mpq_canonicalize(number); in operator *=()
100 mpq_canonicalize(number); in addProduct()
221 mpq_canonicalize(number); in fromString()
236 mpq_canonicalize(res.number); in add()
242 mpq_canonicalize(res.number); in sub()
248 mpq_canonicalize(res.number); in mult()
[all …]
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_rationals.c | 117 mpq_canonicalize(q0); in test_assign()
133 mpq_canonicalize(q0); in test_add()
135 mpq_canonicalize(q1); in test_add()
153 mpq_canonicalize(q0); in test_sub()
155 mpq_canonicalize(q1); in test_sub()
172 mpq_canonicalize(q0); in test_sub2()
174 mpq_canonicalize(q1); in test_sub2()
192 mpq_canonicalize(q0); in test_mul()
194 mpq_canonicalize(q1); in test_mul()
210 mpq_canonicalize(q0); in test_div()
[all …]
|
| /dports/math/e-antic/flint2-ae7ec89/fmpq_poly/ |
| H A D | get_str_pretty.c | 45 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
62 mpq_canonicalize(a0); in _fmpq_poly_get_str_pretty()
65 mpq_canonicalize(a1); in _fmpq_poly_get_str_pretty()
142 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
169 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
|
| /dports/math/flint2/flint-2.8.4/fmpq_poly/ |
| H A D | get_str_pretty.c | 45 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
62 mpq_canonicalize(a0); in _fmpq_poly_get_str_pretty()
65 mpq_canonicalize(a1); in _fmpq_poly_get_str_pretty()
142 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
169 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpq_poly/ |
| H A D | get_str_pretty.c | 45 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
62 mpq_canonicalize(a0); in _fmpq_poly_get_str_pretty()
65 mpq_canonicalize(a1); in _fmpq_poly_get_str_pretty()
142 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
169 mpq_canonicalize(q); in _fmpq_poly_get_str_pretty()
|
| /dports/math/cgal/CGAL-5.3/include/CGAL/GMP/ |
| H A D | Gmpq_type.h | 140 mpq_canonicalize(mpq()); in Gmpq()
146 mpq_canonicalize(mpq()); in Gmpq()
152 mpq_canonicalize(mpq()); in Gmpq()
159 mpq_canonicalize(mpq()); in Gmpq()
182 mpq_canonicalize(mpq()); in Gmpq()
190 mpq_canonicalize(mpq());
424 mpq_canonicalize(mpq());
429 mpq_canonicalize(result.mpq());
439 mpq_canonicalize(mpq());
444 mpq_canonicalize(result.mpq());
|
| /dports/math/mpsolve/mpsolve-3.2.1/src/libmps/monomial/ |
| H A D | monomial-parser.c | 97 mpq_canonicalize (poly->initial_mqp_r[i]); in mps_monomial_poly_read_from_stream()
109 mpq_canonicalize (poly->initial_mqp_i[i]); in mps_monomial_poly_read_from_stream()
190 mpq_canonicalize (poly->initial_mqp_r[i]); in mps_monomial_poly_read_from_stream()
202 mpq_canonicalize (poly->initial_mqp_i[i]); in mps_monomial_poly_read_from_stream()
486 mpq_canonicalize (poly->initial_mqp_r[i]); in mps_monomial_poly_read_from_stream_v2()
504 mpq_canonicalize (poly->initial_mqp_i[i]); in mps_monomial_poly_read_from_stream_v2()
557 mpq_canonicalize (poly->initial_mqp_r[i]); in mps_monomial_poly_read_from_stream_v2()
595 mpq_canonicalize (poly->initial_mqp_i[i]); in mps_monomial_poly_read_from_stream_v2()
712 mpq_canonicalize (poly->initial_mqp_r[i]); in mps_monomial_poly_read_from_stream_v2()
730 mpq_canonicalize (poly->initial_mqp_i[i]); in mps_monomial_poly_read_from_stream_v2()
[all …]
|
| /dports/lang/mosh/mosh-0.2.7/src/ |
| H A D | Ratnum.h | 68 mpq_canonicalize(value); in Ratnum()
199 mpq_canonicalize(ret);\
208 mpq_canonicalize(ret);\
246 mpq_canonicalize(temp);\
256 mpq_canonicalize(temp);\
|
| /dports/math/e-antic/flint2-ae7ec89/fmpq_poly/test/ |
| H A D | t-scalar_div_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| H A D | t-scalar_mul_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| H A D | t-evaluate_mpq.c | 49 mpq_canonicalize(x); in main()
91 mpq_canonicalize(x); in main()
137 mpq_canonicalize(x); in main()
|
| /dports/math/flint2/flint-2.8.4/fmpq_poly/test/ |
| H A D | t-scalar_div_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| H A D | t-scalar_mul_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| H A D | t-evaluate_mpq.c | 49 mpq_canonicalize(x); in main()
91 mpq_canonicalize(x); in main()
137 mpq_canonicalize(x); in main()
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpq_poly/test/ |
| H A D | t-scalar_div_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| H A D | t-scalar_mul_mpq.c | 47 mpq_canonicalize(z); in main()
93 mpq_canonicalize(z1); in main()
98 mpq_canonicalize(z2); in main()
151 mpq_canonicalize(z); in main()
|
| /dports/math/gap/gap-4.11.0/extern/gmp/tests/ |
| H A D | refmpq.c | 31 mpq_canonicalize (w); in refmpq_add()
40 mpq_canonicalize (w); in refmpq_sub()
|
| /dports/math/mpir/mpir-3.0.0/tests/ |
| H A D | refmpq.c | 33 mpq_canonicalize (w); in refmpq_add()
42 mpq_canonicalize (w); in refmpq_sub()
|
| /dports/math/mingw32-libgmp/gmp-6.0.0/tests/ |
| H A D | refmpq.c | 31 mpq_canonicalize (w); in refmpq_add()
40 mpq_canonicalize (w); in refmpq_sub()
|
| /dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/tests/ |
| H A D | refmpq.c | 30 mpq_canonicalize (w); in refmpq_add()
39 mpq_canonicalize (w); in refmpq_sub()
|
| /dports/math/gmp/gmp-6.2.1/tests/ |
| H A D | refmpq.c | 30 mpq_canonicalize (w); in refmpq_add()
39 mpq_canonicalize (w); in refmpq_sub()
|
| /dports/math/piranha/piranha-0.11/tests/ |
| H A D | mp_rational_01.cpp | 179 ::mpq_canonicalize(&m.m_mpq); in operator ()()
303 ::mpq_canonicalize(&m.m_mpq); in operator ()()
600 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
607 ::mpq_canonicalize(&m1.m_mpq); in operator ()()
643 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
648 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
672 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
679 ::mpq_canonicalize(&m1.m_mpq); in operator ()()
687 ::mpq_canonicalize(&m2.m_mpq); in operator ()()
694 ::mpq_canonicalize(&m2.m_mpq); in operator ()()
[all …]
|
| /dports/math/py-piranha/piranha-0.11/tests/ |
| H A D | mp_rational_01.cpp | 179 ::mpq_canonicalize(&m.m_mpq); in operator ()()
303 ::mpq_canonicalize(&m.m_mpq); in operator ()()
600 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
607 ::mpq_canonicalize(&m1.m_mpq); in operator ()()
643 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
648 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
672 ::mpq_canonicalize(&m0.m_mpq); in operator ()()
679 ::mpq_canonicalize(&m1.m_mpq); in operator ()()
687 ::mpq_canonicalize(&m2.m_mpq); in operator ()()
694 ::mpq_canonicalize(&m2.m_mpq); in operator ()()
[all …]
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_poly/test/ |
| H A D | t-evaluate_mpq.c | 49 mpq_canonicalize(x); in main()
91 mpq_canonicalize(x); in main()
137 mpq_canonicalize(x); in main()
|
| /dports/math/e-antic/flint2-ae7ec89/fmpz_poly/test/ |
| H A D | t-evaluate_mpq.c | 49 mpq_canonicalize(x); in main()
91 mpq_canonicalize(x); in main()
137 mpq_canonicalize(x); in main()
|