/dports/math/cgal/CGAL-5.3/examples/Polynomial/ |
H A D | coefficient_access.cpp | 20 PT_2::Get_coefficient get_coefficient; in main() local 21 std::cout << "Coefficient of y^0: "<< get_coefficient(F,0) << std::endl; in main() 22 std::cout << "Coefficient of y^1: "<< get_coefficient(F,1) << std::endl; in main() 23 std::cout << "Coefficient of y^2: "<< get_coefficient(F,2) << std::endl; in main() 24 std::cout << "Coefficient of y^3: "<< get_coefficient(F,3) << std::endl; in main() 25 std::cout << "Coefficient of y^4: "<< get_coefficient(F,4) << std::endl; in main() 26 std::cout << "Coefficient of y^5: "<< get_coefficient(F,5) << std::endl; in main()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/Fp_polynomial/ |
H A D | poly_matrix.cc | 266 (elts[0][0]).get_coefficient(a0, 0); in multiply() 267 (elts[0][0]).get_coefficient(a1, 1); in multiply() 268 (elts[0][1]).get_coefficient(b0, 0); in multiply() 269 (elts[0][1]).get_coefficient(b1, 1); in multiply() 270 (elts[1][0]).get_coefficient(c0, 0); in multiply() 272 U.get_coefficient(u0, 0); in multiply() 273 U.get_coefficient(u1, 1); in multiply() 274 V.get_coefficient(v0, 0); in multiply() 275 V.get_coefficient(v1, 1); in multiply() 322 U.get_coefficient(u0, 0); in multiply() [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/simplex/ |
H A D | model_based_opt.cpp | 289 rational coeff = get_coefficient(row_id, x); in update_value() 453 return m_rows[row_id].get_coefficient(var_id); in get_coefficient() 512 SASSERT(a1 == get_coefficient(row_src, x)); in resolve() 517 rational a2 = get_coefficient(row_dst, x); in resolve() 547 SASSERT(a1 == get_coefficient(row_src, x)); in solve() 551 rational a2 = get_coefficient(row_dst, x); in solve() 554 SASSERT(get_coefficient(row_dst, x).is_zero()); in solve() 976 rational a = get_coefficient(row_id, x); in project() 1194 rational coeff = get_coefficient(row_id, x); in replace_var() 1212 rational a = get_coefficient(row_id1, x), b; in solve_for() [all …]
|
H A D | model_based_opt.h | 63 rational get_coefficient(unsigned x) const; 100 rational get_coefficient(unsigned row_id, unsigned var_id) const;
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/simplex/ |
H A D | model_based_opt.cpp | 272 rational coeff = get_coefficient(row_id, x); in update_value() 428 return m_rows[row_id].get_coefficient(var_id); in get_coefficient() 487 SASSERT(a1 == get_coefficient(row_src, x)); in resolve() 492 rational a2 = get_coefficient(row_dst, x); in resolve() 515 SASSERT(a1 == get_coefficient(row_src, x)); in solve() 519 rational a2 = get_coefficient(row_dst, x); in solve() 522 SASSERT(get_coefficient(row_dst, x).is_zero()); in solve() 944 rational a = get_coefficient(row_id, x); in project() 1161 rational coeff = get_coefficient(row_id, x); in replace_var() 1179 rational a = get_coefficient(row_id1, x), b; in solve_for() [all …]
|
H A D | model_based_opt.h | 62 rational get_coefficient(unsigned x) const; 99 rational get_coefficient(unsigned row_id, unsigned var_id) const;
|
/dports/math/polymake/polymake-4.5/lib/core/include/ |
H A D | FlintPolynomial.h | 113 result[i] = get_coefficient(i); in to_terms() 304 …(tmp.flintPolynomial, safe_cast(Int((deg()-shift-i)*abs(exponent))), get_coefficient(i+shift).get_… 309 …_poly_set_coeff_mpq(tmp.flintPolynomial, safe_cast(Int(i*exponent)), get_coefficient(i+shift).get_… 456 Rational c(get_coefficient(d)); in pow() 579 Rational get_coefficient(Int i) const in get_coefficient() function 594 return get_coefficient(deg()); in lc() 601 return o > 0 ? get_coefficient(deg()) : get_coefficient(lower_deg()); in lc() 618 *c = get_coefficient(i); in coefficients_as_vector() 744 hash_combine(h, rathash(get_coefficient(i))); in get_hash()
|
H A D | Polynomial.h | 138 Coefficient get_coefficient(const monomial_type& m) const { return impl_ptr->get_coefficient(m); } 155 Coefficient constant_coefficient() const { return impl_ptr->get_coefficient(0); } 185 result += this->get_coefficient(exp); 209 result += this->get_coefficient(exp) * unit_matrix<typename T::value_type>(t.rows()); 232 result += ret_coeff(this->get_coefficient(exp)); 797 Coefficient get_coefficient(const monomial_type& m) const { return impl_ptr->get_coefficient(m); } 833 Coefficient constant_coefficient() const { return get_coefficient(monomial_type(n_vars())); }
|
/dports/science/opensim-core/opensim-core-4.1/OpenSim/Examples/Plugins/BodyDragExample/ |
H A D | BodyDragForce.cpp | 134 …dragForceGround[i] = oppVelSign[i] * get_coefficient() * std::pow(bodyCoMVelGround[i], get_exponen… in computeForce() 162 …cout << "Drag coefficient = " << get_coefficient() << "\tDrag exponent = " << get_exponent() << en… in computeForce() 218 …dragForceGround[i] = oppVelSign[i] * get_coefficient() * pow(bodyCoMVelGround[i], get_exponent());… in getRecordValues()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/ec_order/eco_gf2n/lercier/ |
H A D | prime_square.cc | 59 fC.get_coefficient(t, i); in prime_square() 63 fC.get_coefficient(t, 0); in prime_square()
|
/dports/math/barvinok/barvinok-0.41.5/ |
H A D | laurent_old.cc | 101 const evalue *get_coefficient(const vector<int> &powers); 197 const evalue *todd_product::get_coefficient(const vector<int> &powers) in get_coefficient() function in todd_product 291 const evalue *get_coefficient(); 447 const evalue *reciprocal::get_coefficient() in get_coefficient() function in reciprocal 538 const evalue *c = recip.get_coefficient(); in handle() 542 const evalue *t = tp.get_coefficient(recip.power); in handle()
|
/dports/math/cgal/CGAL-5.3/include/CGAL/Arr_geometry_traits/ |
H A D | Rational_arc_2.h | 144 lead_sign = CGAL::sign (nt_traits.get_coefficient (_numer, deg_num)); in _Base_rational_arc_2() 169 nt_traits.get_coefficient (_numer, deg_num); in _Base_rational_arc_2() 232 lead_sign = CGAL::sign (nt_traits.get_coefficient (_numer, deg_num)); in _Base_rational_arc_2() 258 nt_traits.get_coefficient (_numer, deg_num); in _Base_rational_arc_2() 1524 CGAL::sign (nt_traits.get_coefficient (poly, degree)); in _sign_at_minus_infinity() 1548 return (CGAL::sign (nt_traits.get_coefficient (poly, degree))); in _sign_at_plus_infinity() 1573 Integer p_lead = nt_traits.get_coefficient (P, deg_p); in _analyze_at_minus_infinity() 1574 Integer q_lead = nt_traits.get_coefficient (Q, deg_q); in _analyze_at_minus_infinity() 1613 Integer p_lead = nt_traits.get_coefficient (P, deg_p); in _analyze_at_plus_infinity() 1614 Integer q_lead = nt_traits.get_coefficient (Q, deg_q); in _analyze_at_plus_infinity() [all …]
|
H A D | Bezier_cache.h | 600 coeff = nt_traits.get_coefficient (polyX_2, k) * normX_1; in _intersection_params() 611 coeff = nt_traits.get_coefficient (polyY_2, k) * normY_1; in _intersection_params() 670 coeffs[i] = nt_traits.get_coefficient(polyX, i + 1); in _self_intersection_params() 687 coeffs[i] = nt_traits.get_coefficient(polyY, i + 1); in _self_intersection_params()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/gfpn/ |
H A D | galois_field_iterator.cc | 142 elem_rep.get_coefficient(coeff, i); in operator ++() 205 elem_rep.get_coefficient(coeff, i); in operator --()
|
/dports/math/cgal/CGAL-5.3/include/CGAL/Algebraic_kernel_d/ |
H A D | Event_line_builder.h | 235 (CGAL::get_coefficient(polynomial,n-1), in create_event_line() 239 (CGAL::get_coefficient(polynomial,n-1),alpha) in create_event_line() 242 (CGAL::get_coefficient(polynomial,n)),alpha); in create_event_line()
|
H A D | algebraic_curve_kernel_2_tools.h | 394 (CGAL::get_coefficient(h,i).begin(),cast), in zero_test_bivariate() 396 (CGAL::get_coefficient(h,i).end(),cast)); in zero_test_bivariate()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/gf2n_polynomial/ |
H A D | gf2n_find_root.cc | 74 h.get_coefficient(x2, 1); in find_all_roots() 157 h.get_coefficient(x2, 1); in find_root()
|
H A D | gf2n_poly_modulus_timing.cc | 113 erg1[i].get_coefficient(e, j); in main()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/gf2n_rational_function/ |
H A D | gf2n_rational_function.cc | 110 num->get_coefficient(a, i); in get_coefficient_numerator() 117 den->get_coefficient(a, i); in get_coefficient_denominator() 608 num->get_coefficient(coeff, j); in pretty_print() 628 den->get_coefficient(coeff, j); in pretty_print()
|
/dports/math/cgal/CGAL-5.3/include/CGAL/ |
H A D | polynomial_utils.h | 68 get_coefficient(const Polynomial_d& p, int i){ in get_coefficient() function 69 typename Polynomial_traits_d<Polynomial_d>::Get_coefficient get_coefficient; in get_coefficient() local 70 return get_coefficient(p,i); in get_coefficient()
|
/dports/math/cgal/CGAL-5.3/include/CGAL/Arr_rat_arc/ |
H A D | Base_rational_arc_ds_1.h | 95 coeff = CGAL::get_coefficient(poly, k); in print_polynomial()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/Fp_rational_function/ |
H A D | Fp_rational_function.cc | 159 num->get_coefficient(a, i); in get_coefficient_numerator() 167 den->get_coefficient(a, i); in get_coefficient_denominator() 815 num->get_coefficient(coeff, j); in pretty_print() 836 den->get_coefficient(coeff, j); in pretty_print()
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/finite_fields/include/LiDIA/ |
H A D | gf2n_polynomial.h | 139 friend gf2n get_coefficient(const gf2n_polynomial & f, unsigned int i) in get_coefficient() function 250 void get_coefficient(gf2n &, unsigned int i) const; 256 get_coefficient(x, i);
|
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/ec_order/eco_gf2n/elkies/ |
H A D | Ytop_eco2.cc | 91 g.get_coefficient(tt, s); in power_block()
|
H A D | two_power_eco2.cc | 174 f.get_coefficient(coeff, j); in compose_2_torsion_pol()
|