| /dports/math/py-libpoly/libpoly-0.1.11/include/ |
| H A D | rational_interval.h | 51 void lp_rational_interval_construct_zero(lp_rational_interval_t* I);
54 void lp_rational_interval_construct_point(lp_rational_interval_t* I, const lp_rational_t* a);
57 void lp_rational_interval_construct_copy(lp_rational_interval_t* I, const lp_rational_interval_t* f…
72 void lp_rational_interval_assign(lp_rational_interval_t* I, const lp_rational_interval_t* from);
75 void lp_rational_interval_destruct(lp_rational_interval_t* I);
78 void lp_rational_interval_swap(lp_rational_interval_t* I1, lp_rational_interval_t* I2);
81 int lp_rational_interval_print(const lp_rational_interval_t* I, FILE* out);
99 int lp_rational_interval_contains_zero(const lp_rational_interval_t* I);
102 int lp_rational_interval_sgn(const lp_rational_interval_t* I);
105 int lp_rational_interval_is_point(const lp_rational_interval_t* I);
[all …]
|
| H A D | poly.h | 64 typedef struct lp_rational_interval_struct lp_rational_interval_t; typedef
|
| H A D | assignment.h | 66 …gnment_get_value_approx(const lp_assignment_t* m, lp_variable_t x, lp_rational_interval_t* approx);
|
| H A D | value.h | 121 void lp_value_approximate(const lp_value_t* v, lp_rational_interval_t* approx);
|
| H A D | upolynomial.h | 345 int lp_upolynomial_roots_count(const lp_upolynomial_t* p, const lp_rational_interval_t* ab);
|
| /dports/math/libpoly/libpoly-0.1.11/include/ |
| H A D | rational_interval.h | 51 void lp_rational_interval_construct_zero(lp_rational_interval_t* I);
54 void lp_rational_interval_construct_point(lp_rational_interval_t* I, const lp_rational_t* a);
57 void lp_rational_interval_construct_copy(lp_rational_interval_t* I, const lp_rational_interval_t* f…
72 void lp_rational_interval_assign(lp_rational_interval_t* I, const lp_rational_interval_t* from);
75 void lp_rational_interval_destruct(lp_rational_interval_t* I);
78 void lp_rational_interval_swap(lp_rational_interval_t* I1, lp_rational_interval_t* I2);
81 int lp_rational_interval_print(const lp_rational_interval_t* I, FILE* out);
99 int lp_rational_interval_contains_zero(const lp_rational_interval_t* I);
102 int lp_rational_interval_sgn(const lp_rational_interval_t* I);
105 int lp_rational_interval_is_point(const lp_rational_interval_t* I);
[all …]
|
| H A D | poly.h | 64 typedef struct lp_rational_interval_struct lp_rational_interval_t; typedef
|
| H A D | assignment.h | 66 …gnment_get_value_approx(const lp_assignment_t* m, lp_variable_t x, lp_rational_interval_t* approx);
|
| H A D | value.h | 121 void lp_value_approximate(const lp_value_t* v, lp_rational_interval_t* approx);
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/interval/ |
| H A D | arithmetic.h | 23 void rational_interval_add(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra…
25 void rational_interval_neg(lp_rational_interval_t* N, const lp_rational_interval_t* I);
27 void rational_interval_sub(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra…
29 void rational_interval_mul(lp_rational_interval_t* P, const lp_rational_interval_t* I1, const lp_ra…
31 void rational_interval_pow(lp_rational_interval_t* P, const lp_rational_interval_t* I, unsigned n);
|
| H A D | interval.c | 32 void lp_rational_interval_construct(lp_rational_interval_t* I, in lp_rational_interval_construct()
111 void lp_rational_interval_construct_zero(lp_rational_interval_t* I) { in lp_rational_interval_construct_zero()
131 void lp_rational_interval_construct_copy(lp_rational_interval_t* I, const lp_rational_interval_t* f… in lp_rational_interval_construct_copy()
224 void lp_rational_interval_construct_from_int(lp_rational_interval_t* I, in lp_rational_interval_construct_from_int()
298 void lp_rational_interval_destruct(lp_rational_interval_t* I) { in lp_rational_interval_destruct()
320 void lp_rational_interval_assign(lp_rational_interval_t* I, const lp_rational_interval_t* from) { in lp_rational_interval_assign()
410 void lp_rational_interval_swap(lp_rational_interval_t* I1, lp_rational_interval_t* I2) { in lp_rational_interval_swap()
411 lp_rational_interval_t tmp = *I1; in lp_rational_interval_swap()
428 int lp_rational_interval_sgn(const lp_rational_interval_t* I) { in lp_rational_interval_sgn()
703 int lp_rational_interval_contains_zero(const lp_rational_interval_t* I) { in lp_rational_interval_contains_zero()
[all …]
|
| H A D | arithmetic.c | 55 void rational_interval_add(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_add()
73 lp_rational_interval_t result; in rational_interval_add()
362 void rational_interval_neg(lp_rational_interval_t* N, const lp_rational_interval_t* I) { in rational_interval_neg()
420 void rational_interval_sub(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_sub()
421 lp_rational_interval_t neg; in rational_interval_sub()
436 void rational_interval_mul(lp_rational_interval_t* P, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_mul()
461 lp_rational_interval_t result; in rational_interval_mul()
472 lp_rational_interval_t result; in rational_interval_mul()
497 lp_rational_interval_t result; in rational_interval_mul()
1142 void rational_interval_pow(lp_rational_interval_t* P, const lp_rational_interval_t* I, unsigned n) { in rational_interval_pow()
|
| /dports/math/libpoly/libpoly-0.1.11/src/interval/ |
| H A D | arithmetic.h | 23 void rational_interval_add(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra…
25 void rational_interval_neg(lp_rational_interval_t* N, const lp_rational_interval_t* I);
27 void rational_interval_sub(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra…
29 void rational_interval_mul(lp_rational_interval_t* P, const lp_rational_interval_t* I1, const lp_ra…
31 void rational_interval_pow(lp_rational_interval_t* P, const lp_rational_interval_t* I, unsigned n);
|
| H A D | interval.c | 32 void lp_rational_interval_construct(lp_rational_interval_t* I, in lp_rational_interval_construct()
111 void lp_rational_interval_construct_zero(lp_rational_interval_t* I) { in lp_rational_interval_construct_zero()
131 void lp_rational_interval_construct_copy(lp_rational_interval_t* I, const lp_rational_interval_t* f… in lp_rational_interval_construct_copy()
224 void lp_rational_interval_construct_from_int(lp_rational_interval_t* I, in lp_rational_interval_construct_from_int()
298 void lp_rational_interval_destruct(lp_rational_interval_t* I) { in lp_rational_interval_destruct()
320 void lp_rational_interval_assign(lp_rational_interval_t* I, const lp_rational_interval_t* from) { in lp_rational_interval_assign()
410 void lp_rational_interval_swap(lp_rational_interval_t* I1, lp_rational_interval_t* I2) { in lp_rational_interval_swap()
411 lp_rational_interval_t tmp = *I1; in lp_rational_interval_swap()
428 int lp_rational_interval_sgn(const lp_rational_interval_t* I) { in lp_rational_interval_sgn()
703 int lp_rational_interval_contains_zero(const lp_rational_interval_t* I) { in lp_rational_interval_contains_zero()
[all …]
|
| H A D | arithmetic.c | 55 void rational_interval_add(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_add()
73 lp_rational_interval_t result; in rational_interval_add()
362 void rational_interval_neg(lp_rational_interval_t* N, const lp_rational_interval_t* I) { in rational_interval_neg()
420 void rational_interval_sub(lp_rational_interval_t* S, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_sub()
421 lp_rational_interval_t neg; in rational_interval_sub()
436 void rational_interval_mul(lp_rational_interval_t* P, const lp_rational_interval_t* I1, const lp_ra… in rational_interval_mul()
461 lp_rational_interval_t result; in rational_interval_mul()
472 lp_rational_interval_t result; in rational_interval_mul()
497 lp_rational_interval_t result; in rational_interval_mul()
1142 void rational_interval_pow(lp_rational_interval_t* P, const lp_rational_interval_t* I, unsigned n) { in rational_interval_pow()
|
| /dports/math/py-libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | rational_interval.h | 20 lp_rational_interval_t mInterval;
24 explicit RationalInterval(const lp_rational_interval_t* ri);
55 lp_rational_interval_t* get_internal();
57 const lp_rational_interval_t* get_internal() const;
|
| /dports/math/libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | rational_interval.h | 20 lp_rational_interval_t mInterval;
24 explicit RationalInterval(const lp_rational_interval_t* ri);
55 lp_rational_interval_t* get_internal();
57 const lp_rational_interval_t* get_internal() const;
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/polyxx/ |
| H A D | rational_interval.cpp | 7 RationalInterval::RationalInterval(const lp_rational_interval_t* i) { in RationalInterval()
58 lp_rational_interval_t* RationalInterval::get_internal() { in get_internal()
62 const lp_rational_interval_t* RationalInterval::get_internal() const { in get_internal()
|
| /dports/math/libpoly/libpoly-0.1.11/src/polyxx/ |
| H A D | rational_interval.cpp | 7 RationalInterval::RationalInterval(const lp_rational_interval_t* i) { in RationalInterval()
58 lp_rational_interval_t* RationalInterval::get_internal() { in get_internal()
62 const lp_rational_interval_t* RationalInterval::get_internal() const { in get_internal()
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/number/ |
| H A D | value.h | 24 void lp_value_approx(const lp_value_t* v, lp_rational_interval_t* approx);
|
| /dports/math/libpoly/libpoly-0.1.11/src/number/ |
| H A D | value.h | 24 void lp_value_approx(const lp_value_t* v, lp_rational_interval_t* approx);
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/upolynomial/ |
| H A D | root_finding.h | 47 int upolynomial_roots_count_sturm(const lp_upolynomial_t* f, const lp_rational_interval_t* interval…
|
| H A D | root_finding.c | 155 const lp_rational_interval_t* interval) in sturm_seqence_count_roots()
214 int upolynomial_roots_count_sturm(const lp_upolynomial_t* f, const lp_rational_interval_t* interval… in upolynomial_roots_count_sturm()
|
| /dports/math/libpoly/libpoly-0.1.11/src/upolynomial/ |
| H A D | root_finding.h | 47 int upolynomial_roots_count_sturm(const lp_upolynomial_t* f, const lp_rational_interval_t* interval…
|
| H A D | root_finding.c | 155 const lp_rational_interval_t* interval) in sturm_seqence_count_roots()
214 int upolynomial_roots_count_sturm(const lp_upolynomial_t* f, const lp_rational_interval_t* interval… in upolynomial_roots_count_sturm()
|