Home
last modified time | relevance | path

Searched refs:get_coefficient (Results 1 – 25 of 41) sorted by relevance

12

/dports/math/cgal/CGAL-5.3/examples/Polynomial/
H A Dcoefficient_access.cpp20 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 Dpoly_matrix.cc266 (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 Dmodel_based_opt.cpp289 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 Dmodel_based_opt.h63 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 Dmodel_based_opt.cpp272 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 Dmodel_based_opt.h62 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 DFlintPolynomial.h113 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 DPolynomial.h138 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 DBodyDragForce.cpp134 …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 Dprime_square.cc59 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 Dlaurent_old.cc101 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 DRational_arc_2.h144 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 DBezier_cache.h600 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 Dgalois_field_iterator.cc142 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 DEvent_line_builder.h235 (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 Dalgebraic_curve_kernel_2_tools.h394 (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 Dgf2n_find_root.cc74 h.get_coefficient(x2, 1); in find_all_roots()
157 h.get_coefficient(x2, 1); in find_root()
H A Dgf2n_poly_modulus_timing.cc113 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 Dgf2n_rational_function.cc110 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 Dpolynomial_utils.h68 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 DBase_rational_arc_ds_1.h95 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 DFp_rational_function.cc159 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 Dgf2n_polynomial.h139 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 DYtop_eco2.cc91 g.get_coefficient(tt, s); in power_block()
H A Dtwo_power_eco2.cc174 f.get_coefficient(coeff, j); in compose_2_torsion_pol()

12