/dports/www/firefox-legacy/firefox-52.8.0esr/layout/reftests/bidi/numeral/ |
H A D | reftest-stylo.list | 2 pref(bidi.numeral,0) == arabic-1.html arabic-1.html 3 pref(bidi.numeral,1) == arabic-1.html arabic-1.html 4 pref(bidi.numeral,2) == arabic-1.html arabic-1.html 5 pref(bidi.numeral,3) == arabic-1.html arabic-1.html 6 pref(bidi.numeral,4) == arabic-1.html arabic-1.html 12 pref(bidi.numeral,0) == arabic-3.html arabic-3.html 13 pref(bidi.numeral,1) == arabic-3.html arabic-3.html 14 pref(bidi.numeral,2) == arabic-3.html arabic-3.html 15 pref(bidi.numeral,3) == arabic-3.html arabic-3.html 16 pref(bidi.numeral,4) == arabic-3.html arabic-3.html [all …]
|
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/www/firefox/firefox-99.0/layout/reftests/bidi/numeral/ |
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/russian/py-pytils/pytils-0.3/pytils/test/ |
H A D | test_numeral.py | 184 self.assertEquals(pytils.numeral.rubles(3), 300 self.assertEquals(pytils.numeral.in_words(21, pytils.numeral.MALE), 302 self.assertEquals(pytils.numeral.in_words(21, pytils.numeral.FEMALE), 304 self.assertEquals(pytils.numeral.in_words(21, pytils.numeral.NEUTER), 307 self.assertEquals(pytils.numeral.in_words(21.0, pytils.numeral.MALE), 309 self.assertEquals(pytils.numeral.in_words(21.0, pytils.numeral.FEMALE), 311 self.assertEquals(pytils.numeral.in_words(21.0, pytils.numeral.NEUTER), 313 self.assertEquals(pytils.numeral.in_words(long(21), pytils.numeral.MALE), 419 pytils.numeral.sum_string( 439 pytils.numeral.sum_string( [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/layout/reftests/bidi/numeral/ |
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/layout/reftests/bidi/numeral/ |
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/lang/spidermonkey60/firefox-60.9.0/layout/reftests/bidi/numeral/ |
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/layout/reftests/bidi/numeral/ |
H A D | reftest.list | 1 pref(bidi.numeral,0) != arabic-1.html arabic-1-ref.html 2 pref(bidi.numeral,1) == arabic-1.html arabic-1-ref.html 3 pref(bidi.numeral,2) == arabic-1.html arabic-1-ref.html 4 pref(bidi.numeral,3) == arabic-1.html arabic-1-ref.html 5 pref(bidi.numeral,4) == arabic-1.html arabic-1-ref.html 6 pref(bidi.numeral,0) != arabic-2.html arabic-2-ref.html 7 pref(bidi.numeral,1) == arabic-2.html arabic-2-ref.html 8 pref(bidi.numeral,2) == arabic-2.html arabic-2-ref.html 9 pref(bidi.numeral,3) == arabic-2.html arabic-2-ref.html 10 pref(bidi.numeral,4) == arabic-2.html arabic-2-ref.html [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | algebraic_numbers.h | 130 void set(numeral & a, numeral const & n); 132 void swap(numeral & a, numeral & b); 139 void int_lt(numeral const & a, numeral & b); 146 void int_gt(numeral const & a, numeral & b); 153 void select(numeral const & prev, numeral const & curr, numeral & result); 219 void add(numeral const & a, numeral const & b, numeral & c); 225 void sub(numeral const & a, numeral const & b, numeral & c); 230 void mul(numeral const & a, numeral const & b, numeral & c); 245 void div(numeral const & a, numeral const & b, numeral & c); 257 bool eq(numeral const & a, numeral const & b); [all …]
|
H A D | upolynomial.h | 271 void div(unsigned sz, numeral * p, numeral const & b); 279 void mul(unsigned sz, numeral * p, numeral const & b); 321 … void div(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2, numeral_vector & q); 345 bool divides(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2); 360 void mk_monic(unsigned sz, numeral * p, numeral & lc, numeral & lc_inv); 361 …void mk_monic(unsigned sz, numeral * p, numeral & lc) { numeral lc_inv; mk_monic(sz, p, lc, lc_inv… in mk_monic() 459 bool eq(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2); 657 void translate_z(unsigned sz, numeral * p, numeral const & c); 696 void compose_p_b_x(unsigned sz, numeral * p, numeral const & b); 722 void compose_an_p_x_div_a(unsigned sz, numeral * p, numeral const & a); [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | algebraic_numbers.h | 130 void set(numeral & a, numeral const & n); 132 void swap(numeral & a, numeral & b); 139 void int_lt(numeral const & a, numeral & b); 146 void int_gt(numeral const & a, numeral & b); 153 void select(numeral const & prev, numeral const & curr, numeral & result); 219 void add(numeral const & a, numeral const & b, numeral & c); 225 void sub(numeral const & a, numeral const & b, numeral & c); 230 void mul(numeral const & a, numeral const & b, numeral & c); 245 void div(numeral const & a, numeral const & b, numeral & c); 257 bool eq(numeral const & a, numeral const & b); [all …]
|
H A D | upolynomial.h | 271 void div(unsigned sz, numeral * p, numeral const & b); 279 void mul(unsigned sz, numeral * p, numeral const & b); 321 … void div(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2, numeral_vector & q); 345 bool divides(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2); 360 void mk_monic(unsigned sz, numeral * p, numeral & lc, numeral & lc_inv); 361 …void mk_monic(unsigned sz, numeral * p, numeral & lc) { numeral lc_inv; mk_monic(sz, p, lc, lc_inv… in mk_monic() 459 bool eq(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2); 657 void translate_z(unsigned sz, numeral * p, numeral const & c); 696 void compose_p_b_x(unsigned sz, numeral * p, numeral const & b); 722 void compose_an_p_x_div_a(unsigned sz, numeral * p, numeral const & a); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/realclosure/ |
H A D | realclosure.h | 145 void set(numeral & a, numeral const & n); 147 void swap(numeral & a, numeral & b); 166 void add(numeral const & a, numeral const & b, numeral & c); 172 void sub(numeral const & a, numeral const & b, numeral & c); 177 void mul(numeral const & a, numeral const & b, numeral & c); 187 void neg(numeral const & a, numeral & b); 197 void inv(numeral const & a, numeral & b); 202 void div(numeral const & a, numeral const & b, numeral & c); 214 bool eq(numeral const & a, numeral const & b); 228 bool lt(numeral const & a, numeral const & b); [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/realclosure/ |
H A D | realclosure.h | 144 void set(numeral & a, numeral const & n); 146 void swap(numeral & a, numeral & b); 165 void add(numeral const & a, numeral const & b, numeral & c); 171 void sub(numeral const & a, numeral const & b, numeral & c); 176 void mul(numeral const & a, numeral const & b, numeral & c); 186 void neg(numeral const & a, numeral & b); 196 void inv(numeral const & a, numeral & b); 201 void div(numeral const & a, numeral const & b, numeral & c); 213 bool eq(numeral const & a, numeral const & b); 227 bool lt(numeral const & a, numeral const & b); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | f2n.h | 27 typedef typename fmanager::numeral numeral; typedef 71 void abs(numeral const & x, numeral & o) { m().abs(x, o); } in abs() 74 void neg(numeral const & x, numeral & o) { m().neg(x, o); } in neg() 89 static void swap(numeral & x, numeral & y) { x.swap(y); } in swap() 91 …void add(numeral const & x, numeral const & y, numeral & o) { m().add(m_mode, x, y, o); check(o); } in add() 92 …void sub(numeral const & x, numeral const & y, numeral & o) { m().sub(m_mode, x, y, o); check(o); } in sub() 93 …void mul(numeral const & x, numeral const & y, numeral & o) { m().mul(m_mode, x, y, o); check(o); } in mul() 94 …void div(numeral const & x, numeral const & y, numeral & o) { m().div(m_mode, x, y, o); check(o); } in div() 100 void power(numeral const & a, unsigned p, numeral & b) { in power() 117 void floor(numeral const & a, numeral & b) { in floor() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | f2n.h | 27 typedef typename fmanager::numeral numeral; typedef 71 void abs(numeral const & x, numeral & o) { m().abs(x, o); } in abs() 74 void neg(numeral const & x, numeral & o) { m().neg(x, o); } in neg() 89 static void swap(numeral & x, numeral & y) { x.swap(y); } in swap() 91 …void add(numeral const & x, numeral const & y, numeral & o) { m().add(m_mode, x, y, o); check(o); } in add() 92 …void sub(numeral const & x, numeral const & y, numeral & o) { m().sub(m_mode, x, y, o); check(o); } in sub() 93 …void mul(numeral const & x, numeral const & y, numeral & o) { m().mul(m_mode, x, y, o); check(o); } in mul() 94 …void div(numeral const & x, numeral const & y, numeral & o) { m().div(m_mode, x, y, o); check(o); } in div() 100 void power(numeral const & a, unsigned p, numeral & b) { in power() 117 void floor(numeral const & a, numeral & b) { in floor() [all …]
|
/dports/devel/py-dateparser/dateparser-0.7.2/tests/ |
H A D | test_jalali.py | 96 param(persian='صفر', numeral='0'), 97 param(persian='یک', numeral='1'), 98 param(persian='اول', numeral='1'), 99 param(persian='دو', numeral='2'), 100 param(persian='دوم', numeral='2'), 101 param(persian='سه', numeral='3'), 102 param(persian='سوم', numeral='3'), 105 param(persian='پنج', numeral='5'), 107 param(persian='شش', numeral='6'), 108 param(persian='ششم', numeral='6'), [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/interval/ |
H A D | interval.h | 39 numeral m_lower; 40 numeral m_upper; 118 typedef typename numeral_manager::numeral numeral; typedef 129 numeral m_one; 154 … void nth_root_slow(numeral const & a, unsigned n, numeral const & p, numeral & lo, numeral & hi); 155 void A_div_x_n(numeral const & A, numeral const & x, unsigned n, bool to_plus_inf, numeral & r); 157 void approx_nth_root(numeral const & a, unsigned n, numeral const & p, numeral & o); 158 void nth_root_pos(numeral const & A, unsigned n, numeral const & p, numeral & lo, numeral & hi); 159 void nth_root(numeral const & a, unsigned n, numeral const & p, numeral & lo, numeral & hi); 357 void sine(numeral const & a, unsigned k, numeral & lo, numeral & hi); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/interval/ |
H A D | interval.h | 39 numeral m_lower; 40 numeral m_upper; 118 typedef typename numeral_manager::numeral numeral; typedef 129 numeral m_one; 154 … void nth_root_slow(numeral const & a, unsigned n, numeral const & p, numeral & lo, numeral & hi); 155 void A_div_x_n(numeral const & A, numeral const & x, unsigned n, bool to_plus_inf, numeral & r); 157 void approx_nth_root(numeral const & a, unsigned n, numeral const & p, numeral & o); 158 void nth_root_pos(numeral const & A, unsigned n, numeral const & p, numeral & lo, numeral & hi); 159 void nth_root(numeral const & a, unsigned n, numeral const & p, numeral & lo, numeral & hi); 357 void sine(numeral const & a, unsigned k, numeral & lo, numeral & hi); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
H A D | bv_bounds.cpp | 27 const numeral& one = numeral::one(); in record() 299 const numeral& one = numeral::one(); in rewrite() 455 const numeral& zero = numeral::zero(); in add_bound_unsigned() 456 const numeral& one = numeral::one(); in add_bound_unsigned() 479 const numeral& zero = numeral::zero(); in convert_signed() 480 const numeral& one = numeral::one(); in convert_signed() 484 const numeral mod = numeral::power_of_two(bv_sz); in convert_signed() 503 const numeral& zero = numeral::zero(); in add_bound_signed() 504 const numeral& one = numeral::one(); in add_bound_signed() 508 const numeral mod = numeral::power_of_two(bv_sz); in add_bound_signed() [all …]
|
H A D | bv_bounds.h | 34 typedef rational numeral; typedef 35 typedef std::pair<numeral, numeral> interval; 36 typedef obj_map<app, numeral> bound_map; 51 bool bound_up(app * v, const numeral& u); // v <= u 53 inline bool add_neg_bound(app * v, const numeral& a, const numeral& b); // not (a<=v<=b) 54 bool add_bound_signed(app * v, const numeral& a, const numeral& b, bool negate); 55 bool add_bound_unsigned(app * v, const numeral& a, const numeral& b, bool negate); 66 numeral lo, hi; 71 conv_res record(app * v, numeral lo, numeral hi, bool negated, vector<ninterval>& nis); 72 …conv_res convert_signed(app * v, const numeral& a, const numeral& b, bool negate, vector<ninterval… [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
H A D | bv_bounds.cpp | 27 const numeral& one = numeral::one(); in record() 299 const numeral& one = numeral::one(); in rewrite() 455 const numeral& zero = numeral::zero(); in add_bound_unsigned() 456 const numeral& one = numeral::one(); in add_bound_unsigned() 479 const numeral& zero = numeral::zero(); in convert_signed() 480 const numeral& one = numeral::one(); in convert_signed() 484 const numeral mod = numeral::power_of_two(bv_sz); in convert_signed() 503 const numeral& zero = numeral::zero(); in add_bound_signed() 504 const numeral& one = numeral::one(); in add_bound_signed() 508 const numeral mod = numeral::power_of_two(bv_sz); in add_bound_signed() [all …]
|
H A D | bv_bounds.h | 34 typedef rational numeral; typedef 35 typedef std::pair<numeral, numeral> interval; 36 typedef obj_map<app, numeral> bound_map; 51 bool bound_up(app * v, const numeral& u); // v <= u 53 inline bool add_neg_bound(app * v, const numeral& a, const numeral& b); // not (a<=v<=b) 54 bool add_bound_signed(app * v, const numeral& a, const numeral& b, bool negate); 55 bool add_bound_unsigned(app * v, const numeral& a, const numeral& b, bool negate); 66 numeral lo, hi; 71 conv_res record(app * v, numeral lo, numeral hi, bool negated, vector<ninterval>& nis); 72 …conv_res convert_signed(app * v, const numeral& a, const numeral& b, bool negate, vector<ninterval… [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | arith_simplifier_plugin.cpp | 10 typedef rational numeral; typedef 11 typedef vector<numeral> row; 40 r1.push_back(numeral(1)); in tst_arith_simplifier_plugin() 41 r1.push_back(numeral(2)); in tst_arith_simplifier_plugin() 42 r1.push_back(numeral(1)); in tst_arith_simplifier_plugin() 43 r1.push_back(numeral(2)); in tst_arith_simplifier_plugin() 57 rows[1][3] = numeral(3); in tst_arith_simplifier_plugin() 61 rows[0][0] = numeral(1); in tst_arith_simplifier_plugin() 62 rows[0][1] = numeral(3); in tst_arith_simplifier_plugin() 63 rows[0][2] = numeral(0); in tst_arith_simplifier_plugin() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | arith_simplifier_plugin.cpp | 10 typedef rational numeral; typedef 11 typedef vector<numeral> row; 40 r1.push_back(numeral(1)); in tst_arith_simplifier_plugin() 41 r1.push_back(numeral(2)); in tst_arith_simplifier_plugin() 42 r1.push_back(numeral(1)); in tst_arith_simplifier_plugin() 43 r1.push_back(numeral(2)); in tst_arith_simplifier_plugin() 57 rows[1][3] = numeral(3); in tst_arith_simplifier_plugin() 61 rows[0][0] = numeral(1); in tst_arith_simplifier_plugin() 62 rows[0][1] = numeral(3); in tst_arith_simplifier_plugin() 63 rows[0][2] = numeral(0); in tst_arith_simplifier_plugin() [all …]
|