Searched refs:print_monomial (Results 1 – 9 of 9) sorted by relevance
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_matrices.c | 106 static void print_monomial(FILE *f, rational_t *c, int32_t v, bool first) { in print_monomial() function
153 print_monomial(f, &p->mono[i].coeff, p->mono[i].var, i == 0);
174 print_monomial(f, &row->data[i].coeff, v, first); in print_row()
|
| H A D | test_poly_buffer.c | 43 static void print_monomial(int32_t v, rational_t *coeff, bool first) { in print_monomial() function
86 print_monomial(a[i].var, &a[i].coeff, i == 0); in print_polynomial()
|
| H A D | test_bvpoly_buffers.c.old | 54 static void print_monomial(uint32_t *a, thvar_t x, uint32_t n) {
104 print_monomial(buffer->p[0], buffer->var[0], b);
111 print_monomial(buffer->p[i], buffer->var[i], b);
|
| H A D | test_dl_vartable.c | 43 static void print_monomial(int32_t v, rational_t *coeff, bool first) { in print_monomial() function
86 print_monomial(a[i].var, &a[i].coeff, i == 0); in print_polynomial()
|
| H A D | test_rba_buffers2.c | 71 static void print_monomial(FILE *f, rational_t *coeff, pprod_t *r, bool first) { in print_monomial() function
111 print_monomial(f, &b->mono[x].coeff, b->mono[x].prod, first); in print_rba_tree()
|
| H A D | test_arith_buffers.c | 72 static void print_monomial(FILE *f, rational_t *coeff, pprod_t *r, bool first) { in print_monomial() function
113 print_monomial(f, &p->coeff, p->prod, first); in print_arith_buffer()
|
| H A D | test_polynomials.c.old | 89 static void print_monomial(FILE *f, monomial_t *a, arithvar_manager_t *m) {
112 print_monomial(f, a + i, m);
|
| /dports/math/yices/yices-2.6.2/src/io/ |
| H A D | term_printer.c | 102 static void print_monomial(FILE *f, rational_t *coeff, int32_t x, bool first) { in print_monomial() function
146 print_monomial(f, &p->mono[i].coeff, p->mono[i].var, first); in print_polynomial()
|
| /dports/math/cgal/CGAL-5.3/include/CGAL/Nef_2/ |
| H A D | Polynomial.h | 1728 void print_monomial(std::ostream& os, const NT& n, int i) in print_monomial() function
|