Home
last modified time | relevance | path

Searched refs:numeral (Results 1 – 25 of 2212) sorted by relevance

12345678910>>...89

/dports/www/firefox-legacy/firefox-52.8.0esr/layout/reftests/bidi/numeral/
H A Dreftest-stylo.list2 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 Dreftest.list1 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 Dreftest.list1 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 Dtest_numeral.py184 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 Dreftest.list1 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 Dreftest.list1 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 Dreftest.list1 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 Dreftest.list1 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 Dalgebraic_numbers.h130 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 Dupolynomial.h271 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 Dalgebraic_numbers.h130 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 Dupolynomial.h271 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 Drealclosure.h145 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 Drealclosure.h144 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 Df2n.h27 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 Df2n.h27 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 Dtest_jalali.py96 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 Dinterval.h39 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 Dinterval.h39 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 Dbv_bounds.cpp27 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 Dbv_bounds.h34 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 Dbv_bounds.cpp27 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 Dbv_bounds.h34 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 Darith_simplifier_plugin.cpp10 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 Darith_simplifier_plugin.cpp10 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 …]

12345678910>>...89