| /dports/math/py-libpoly/libpoly-0.1.11/include/ |
| H A D | rational.h | 65 void lp_rational_construct_copy(lp_rational_t* q, const lp_rational_t* from);
70 void lp_rational_assign(lp_rational_t* q, const lp_rational_t* from);
105 int lp_rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2);
120 void lp_rational_swap(lp_rational_t* q1, lp_rational_t* q2);
125 void lp_rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b);
135 void lp_rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b);
140 void lp_rational_neg(lp_rational_t* neg, const lp_rational_t* a);
145 void lp_rational_inv(lp_rational_t* inv, const lp_rational_t* a);
150 void lp_rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b);
160 void lp_rational_pow(lp_rational_t* pow, const lp_rational_t* a, unsigned n);
[all …]
|
| H A D | rational_interval.h | 42 lp_rational_t a;
44 lp_rational_t b;
48 …interval_construct(lp_rational_interval_t* I, const lp_rational_t* a, int a_open, const lp_rationa…
54 void lp_rational_interval_construct_point(lp_rational_interval_t* I, const lp_rational_t* a);
90 int lp_rational_interval_contains_rational(const lp_rational_interval_t* I, const lp_rational_t* q);
108 const lp_rational_t* lp_rational_interval_get_point(const lp_rational_interval_t* I);
|
| H A D | algebraic_number.h | 64 void lp_algebraic_number_construct_from_rational(lp_algebraic_number_t* a, const lp_rational_t* q);
85 int lp_algebraic_number_cmp_rational(const lp_algebraic_number_t* a1, const lp_rational_t* a2);
100 void lp_algebraic_number_to_rational(const lp_algebraic_number_t* a, lp_rational_t* q);
106 void lp_algebraic_number_get_rational_midpoint(const lp_algebraic_number_t* a, lp_rational_t* q);
|
| H A D | value.h | 55 lp_rational_t q;
130 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q);
169 void lp_value_get_rational(const lp_value_t* v, lp_rational_t* q);
|
| H A D | upolynomial.h | 141 …nomial_evaluate_at_rational(const lp_upolynomial_t* p, const lp_rational_t* x, lp_rational_t* valu…
157 int lp_upolynomial_sgn_at_rational(const lp_upolynomial_t* p, const lp_rational_t* x);
|
| /dports/math/libpoly/libpoly-0.1.11/include/ |
| H A D | rational.h | 65 void lp_rational_construct_copy(lp_rational_t* q, const lp_rational_t* from);
70 void lp_rational_assign(lp_rational_t* q, const lp_rational_t* from);
105 int lp_rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2);
120 void lp_rational_swap(lp_rational_t* q1, lp_rational_t* q2);
125 void lp_rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b);
135 void lp_rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b);
140 void lp_rational_neg(lp_rational_t* neg, const lp_rational_t* a);
145 void lp_rational_inv(lp_rational_t* inv, const lp_rational_t* a);
150 void lp_rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b);
160 void lp_rational_pow(lp_rational_t* pow, const lp_rational_t* a, unsigned n);
[all …]
|
| H A D | rational_interval.h | 42 lp_rational_t a;
44 lp_rational_t b;
48 …interval_construct(lp_rational_interval_t* I, const lp_rational_t* a, int a_open, const lp_rationa…
54 void lp_rational_interval_construct_point(lp_rational_interval_t* I, const lp_rational_t* a);
90 int lp_rational_interval_contains_rational(const lp_rational_interval_t* I, const lp_rational_t* q);
108 const lp_rational_t* lp_rational_interval_get_point(const lp_rational_interval_t* I);
|
| H A D | algebraic_number.h | 64 void lp_algebraic_number_construct_from_rational(lp_algebraic_number_t* a, const lp_rational_t* q);
85 int lp_algebraic_number_cmp_rational(const lp_algebraic_number_t* a1, const lp_rational_t* a2);
100 void lp_algebraic_number_to_rational(const lp_algebraic_number_t* a, lp_rational_t* q);
106 void lp_algebraic_number_get_rational_midpoint(const lp_algebraic_number_t* a, lp_rational_t* q);
|
| H A D | value.h | 55 lp_rational_t q;
130 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q);
169 void lp_value_get_rational(const lp_value_t* v, lp_rational_t* q);
|
| H A D | upolynomial.h | 141 …nomial_evaluate_at_rational(const lp_upolynomial_t* p, const lp_rational_t* x, lp_rational_t* valu…
157 int lp_upolynomial_sgn_at_rational(const lp_upolynomial_t* p, const lp_rational_t* x);
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/number/ |
| H A D | rational.h | 69 void rational_construct_copy(lp_rational_t* q, const lp_rational_t* from) { in rational_construct_copy()
75 void rational_assign(lp_rational_t* q, const lp_rational_t* from) { in rational_assign()
116 int rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2) { in rational_cmp()
139 void rational_swap(lp_rational_t* q1, lp_rational_t* q2) { in rational_swap()
144 void rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b) { in rational_add()
150 lp_rational_t b_rat; in rational_add_integer()
157 void rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b) { in rational_sub()
162 void rational_neg(lp_rational_t* neg, const lp_rational_t* a) { in rational_neg()
167 void rational_inv(lp_rational_t* inv, const lp_rational_t* a) { in rational_inv()
172 void rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b) { in rational_mul()
[all …]
|
| H A D | rational.c | 48 void lp_rational_construct_copy(lp_rational_t* q, const lp_rational_t* from) { in lp_rational_construct_copy()
52 void lp_rational_assign(lp_rational_t* q, const lp_rational_t* from) { in lp_rational_assign()
80 int lp_rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2) { in lp_rational_cmp()
93 void lp_rational_swap(lp_rational_t* q1, lp_rational_t* q2) { in lp_rational_swap()
97 void lp_rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_add()
105 void lp_rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_sub()
109 void lp_rational_neg(lp_rational_t* neg, const lp_rational_t* a) { in lp_rational_neg()
113 void lp_rational_inv(lp_rational_t* inv, const lp_rational_t* a) { in lp_rational_inv()
117 void lp_rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_mul()
125 void lp_rational_pow(lp_rational_t* pow, const lp_rational_t*a, unsigned n) { in lp_rational_pow()
[all …]
|
| H A D | dyadic_rational.c | 88 int lp_dyadic_rational_cmp_rational(const lp_dyadic_rational_t* q1, const lp_rational_t* q2) { in lp_dyadic_rational_cmp_rational()
154 …rational_get_value_between(lp_dyadic_rational_t* v, const lp_rational_t* a, const lp_rational_t* b… in dyadic_rational_get_value_between()
163 lp_rational_t m_q; in dyadic_rational_get_value_between()
|
| H A D | value.c | 192 lp_rational_t point; in lp_value_approx()
206 lp_rational_t v_rat; in lp_value_approx()
478 lp_rational_t result; in lp_value_get_rational()
539 lp_rational_t value; in lp_value_get_num()
580 lp_rational_t value; in lp_value_get_den()
645 lp_rational_t a_ub, b_lb; in lp_value_get_value_between()
757 lp_rational_t result; in lp_value_get_value_between()
763 lp_rational_t m; in lp_value_get_value_between()
804 lp_rational_t lb, ub; in lp_value_get_value_between()
892 lp_rational_t* m = &lower_approx; in lp_value_get_distance_size_approx()
[all …]
|
| H A D | dyadic_rational.h | 63 lp_rational_t tmp; in dyadic_rational_construct_from_double()
107 lp_rational_t q; in dyadic_rational_print()
126 lp_rational_t q; in dyadic_rational_to_double()
412 …rational_get_value_between(lp_dyadic_rational_t* v, const lp_rational_t* a, const lp_rational_t* b…
|
| H A D | algebraic_number.c | 102 void lp_algebraic_number_construct_from_rational(lp_algebraic_number_t* a, const lp_rational_t* rat… in lp_algebraic_number_construct_from_rational()
464 int lp_algebraic_number_cmp_rational(const lp_algebraic_number_t* a1, const lp_rational_t* a2) { in lp_algebraic_number_cmp_rational()
544 void lp_algebraic_number_to_rational(const lp_algebraic_number_t* a_const, lp_rational_t* q) { in lp_algebraic_number_to_rational()
546 lp_rational_t tmp; in lp_algebraic_number_to_rational()
974 lp_rational_t a_inv_q; in lp_algebraic_number_inv()
1012 lp_rational_t m, I_lb, I_ub; in lp_algebraic_number_inv()
1124 void lp_algebraic_number_get_rational_midpoint(const lp_algebraic_number_t* a, lp_rational_t* q) { in lp_algebraic_number_get_rational_midpoint()
1129 lp_rational_t tmp_q; in lp_algebraic_number_get_rational_midpoint()
|
| /dports/math/libpoly/libpoly-0.1.11/src/number/ |
| H A D | rational.h | 69 void rational_construct_copy(lp_rational_t* q, const lp_rational_t* from) { in rational_construct_copy()
75 void rational_assign(lp_rational_t* q, const lp_rational_t* from) { in rational_assign()
116 int rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2) { in rational_cmp()
139 void rational_swap(lp_rational_t* q1, lp_rational_t* q2) { in rational_swap()
144 void rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b) { in rational_add()
150 lp_rational_t b_rat; in rational_add_integer()
157 void rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b) { in rational_sub()
162 void rational_neg(lp_rational_t* neg, const lp_rational_t* a) { in rational_neg()
167 void rational_inv(lp_rational_t* inv, const lp_rational_t* a) { in rational_inv()
172 void rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b) { in rational_mul()
[all …]
|
| H A D | rational.c | 48 void lp_rational_construct_copy(lp_rational_t* q, const lp_rational_t* from) { in lp_rational_construct_copy()
52 void lp_rational_assign(lp_rational_t* q, const lp_rational_t* from) { in lp_rational_assign()
80 int lp_rational_cmp(const lp_rational_t* q1, const lp_rational_t* q2) { in lp_rational_cmp()
93 void lp_rational_swap(lp_rational_t* q1, lp_rational_t* q2) { in lp_rational_swap()
97 void lp_rational_add(lp_rational_t* sum, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_add()
105 void lp_rational_sub(lp_rational_t* sub, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_sub()
109 void lp_rational_neg(lp_rational_t* neg, const lp_rational_t* a) { in lp_rational_neg()
113 void lp_rational_inv(lp_rational_t* inv, const lp_rational_t* a) { in lp_rational_inv()
117 void lp_rational_mul(lp_rational_t* mul, const lp_rational_t* a, const lp_rational_t* b) { in lp_rational_mul()
125 void lp_rational_pow(lp_rational_t* pow, const lp_rational_t*a, unsigned n) { in lp_rational_pow()
[all …]
|
| H A D | dyadic_rational.c | 88 int lp_dyadic_rational_cmp_rational(const lp_dyadic_rational_t* q1, const lp_rational_t* q2) { in lp_dyadic_rational_cmp_rational()
154 …rational_get_value_between(lp_dyadic_rational_t* v, const lp_rational_t* a, const lp_rational_t* b… in dyadic_rational_get_value_between()
163 lp_rational_t m_q; in dyadic_rational_get_value_between()
|
| H A D | value.c | 192 lp_rational_t point; in lp_value_approx()
206 lp_rational_t v_rat; in lp_value_approx()
478 lp_rational_t result; in lp_value_get_rational()
539 lp_rational_t value; in lp_value_get_num()
580 lp_rational_t value; in lp_value_get_den()
645 lp_rational_t a_ub, b_lb; in lp_value_get_value_between()
757 lp_rational_t result; in lp_value_get_value_between()
763 lp_rational_t m; in lp_value_get_value_between()
804 lp_rational_t lb, ub; in lp_value_get_value_between()
892 lp_rational_t* m = &lower_approx; in lp_value_get_distance_size_approx()
[all …]
|
| H A D | dyadic_rational.h | 63 lp_rational_t tmp; in dyadic_rational_construct_from_double()
107 lp_rational_t q; in dyadic_rational_print()
126 lp_rational_t q; in dyadic_rational_to_double()
412 …rational_get_value_between(lp_dyadic_rational_t* v, const lp_rational_t* a, const lp_rational_t* b…
|
| /dports/math/py-libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | rational.h | 13 lp_rational_t mRat;
17 explicit Rational(const lp_rational_t* r);
49 lp_rational_t* get_internal();
51 const lp_rational_t* get_internal() const;
55 static_assert(sizeof(Rational) == sizeof(lp_rational_t),
61 inline lp_rational_t* cast_to(Rational* i) { in cast_to()
62 return reinterpret_cast<lp_rational_t*>(i); in cast_to()
65 inline const lp_rational_t* cast_to(const Rational* i) { in cast_to()
66 return reinterpret_cast<const lp_rational_t*>(i); in cast_to()
77 inline Rational* cast_from(lp_rational_t* i) { in cast_from()
[all …]
|
| /dports/math/libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | rational.h | 13 lp_rational_t mRat;
17 explicit Rational(const lp_rational_t* r);
49 lp_rational_t* get_internal();
51 const lp_rational_t* get_internal() const;
55 static_assert(sizeof(Rational) == sizeof(lp_rational_t),
61 inline lp_rational_t* cast_to(Rational* i) { in cast_to()
62 return reinterpret_cast<lp_rational_t*>(i); in cast_to()
65 inline const lp_rational_t* cast_to(const Rational* i) { in cast_to()
66 return reinterpret_cast<const lp_rational_t*>(i); in cast_to()
77 inline Rational* cast_from(lp_rational_t* i) { in cast_from()
[all …]
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/upolynomial/ |
| H A D | upolynomial_dense.h | 90 void upolynomial_dense_evaluate_at_rational(const upolynomial_dense_t* p_d, const lp_rational_t* x,
91 lp_rational_t* value);
103 int upolynomial_dense_sgn_at_rational(const upolynomial_dense_t* p_d, const lp_rational_t* x);
|
| /dports/math/libpoly/libpoly-0.1.11/src/upolynomial/ |
| H A D | upolynomial_dense.h | 90 void upolynomial_dense_evaluate_at_rational(const upolynomial_dense_t* p_d, const lp_rational_t* x,
91 lp_rational_t* value);
103 int upolynomial_dense_sgn_at_rational(const upolynomial_dense_t* p_d, const lp_rational_t* x);
|