Searched refs:y_sat (Results 1 – 3 of 3) sorted by relevance
| /dports/math/heyoka/heyoka-0.16.0/benchmark/ |
| H A D | ss_3bp_odeint.cpp | 32 …n, z_sun, vx_sun, vy_sun, vz_sun, x_jup, y_jup, z_jup, vx_jup, vy_jup, vz_jup, x_sat, y_sat, z_sat, in ss_3bp()
57 const auto diff_y_sun_sat = y_sun - y_sat; in ss_3bp()
64 const auto diff_y_jup_sat = y_jup - y_sat; in ss_3bp()
|
| H A D | ss_3bp.jl | 15 …_sun, vy_sun, vz_sun, x_jup, y_jup, z_jup, vx_jup, vy_jup, vz_jup, x_sat, y_sat, z_sat, vx_sat, vy…
36 diff_y_sun_sat = y_sun - y_sat
43 diff_y_jup_sat = y_jup - y_sat
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Polyhedron_nonpublic.cc | 1828 const Bit_Matrix& y_sat = y.sat_g; in BHZ09_NNC_poly_hull_assign_if_exact() local
1840 saturators.difference_assign(all_ones, y_sat[i]); in BHZ09_NNC_poly_hull_assign_if_exact()
|