| /dports/math/barvinok/barvinok-0.41.5/ |
| H A D | reducer.cc | 215 mat_ZZ den_r; in reduce() local
219 split(num, num_s, num_p, den_f, den_s, den_r); in reduce()
225 normalize(sign, num_s, num_p, den_s, den_p, den_r); in reduce()
237 reduce(c2, num_p, den_r); in reduce()
241 pden.SetDims(only_param, den_r.NumCols()); in reduce()
245 pden[l++] = den_r[k]; in reduce()
329 if (den_r[l] == den_r[k]) in reduce()
367 pden[rows+l] = den_r[k]; in reduce()
411 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r) in split_one() argument
417 den_r.SetDims(len, d); in split_one()
[all …]
|
| H A D | genfun_constructor.cc | 26 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r) in split() argument
32 den_r.SetDims(len, lower); in split()
43 den_r[r][k-nvar] = den_f[r][k]; in split()
45 all_zero = den_r[r][k-nvar] == 0; in split()
|
| H A D | reducer.h | 87 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r) = 0;
95 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r);
101 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r) { in split()
102 split_one(num, num_s, num_p, den_f, den_s, den_r); in split()
|
| H A D | genfun_constructor.h | 66 const mat_ZZ& den_f, vec_ZZ& den_s, mat_ZZ& den_r);
|
| H A D | barvinok.cc | 818 mat_ZZ den_r; in reduce() local
822 split_one(num, num_s, num_p, den_f, den_s, den_r); in reduce()
829 normalize(one, num_s, num_p, den_s, den_p, den_r); in reduce()
842 reduce(factor, num_p, den_r, options); in reduce()
850 pden[l++] = den_r[k]; in reduce()
900 if (den_r[l] == den_r[k]) in reduce()
935 pden[rows+l] = den_r[k]; in reduce()
961 pden[rows+l] = den_r[k]; in reduce()
|
| /dports/graphics/gmt/gmt-6.3.0/src/potential/ |
| H A D | grdredpol.c | 172 double alfa_u_beta_v, alfa_u_beta_v_2, rnr, rni, den_r, den_i1, den_i2; in grdgravmag3d_rtp_filt_not_colinear() local
196 den_r = (alfa_u_beta_v_2 + gama_ro_2)*(tau_u_mu_v_2 + nu_ro_2); in grdgravmag3d_rtp_filt_not_colinear()
197 den_i1 = den_r * (alfa_u_beta_v_2+gama_ro_2); in grdgravmag3d_rtp_filt_not_colinear()
198 den_i2 = den_r * (tau_u_mu_v_2 + nu_ro_2); in grdgravmag3d_rtp_filt_not_colinear()
200 gxr[ij] = rnr / den_r; in grdgravmag3d_rtp_filt_not_colinear()
201 gxi[ij] = rni / den_r; in grdgravmag3d_rtp_filt_not_colinear()
208 gxgr[ij] = nu*ro4/den_r -2*(-alfa_u_beta_v_tau_u_mu_v+gama*ro2*nu)*ro4*gama/den_i1; in grdgravmag3d_rtp_filt_not_colinear()
209 gxgi[ij] = tau_u_mu_v*ro3/den_r -2*(alfa_u_beta_v_nu+tau_u_mu_v_gama)*ro5*gama/den_i1; in grdgravmag3d_rtp_filt_not_colinear()
211 gxti[ij] = u*gama*ro3/den_r -2*(alfa_u_beta_v_nu+tau_u_mu_v_gama)*ro3*u*tau_u_mu_v/den_i2; in grdgravmag3d_rtp_filt_not_colinear()
214 gxnr[ij] = gama*ro4/den_r -2*(-alfa_u_beta_v_tau_u_mu_v+gama*ro2*nu)*ro4*nu/den_i2; in grdgravmag3d_rtp_filt_not_colinear()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | arith_rewriter.cpp | 1055 rational num_r(1), den_r(1); in divides() local
1070 if (m_util.is_numeral(arg, den_r)) den_e = arg; in divides()
1072 rational g = gcd(num_r, den_r); in divides()
1084 args2[i] = m_util.mk_numeral(den_r / g, true); in divides()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | arith_rewriter.cpp | 1053 rational num_r(1), den_r(1); in divides() local
1068 if (m_util.is_numeral(arg, den_r)) den_e = arg; in divides()
1070 rational g = gcd(num_r, den_r); in divides()
1082 args2[i] = m_util.mk_numeral(den_r / g, true); in divides()
|