Home
last modified time | relevance | path

Searched refs:divisor_term (Results 1 – 3 of 3) sorted by relevance

/dports/deskutils/gcal/gcal-4.1/src/
H A Drc-astro.c531 auto double divisor_term; local
944 divisor_term = cos (anomaly_of_eccentric) - eccentricity;
951 sqrt (divisor_term * divisor_term + true_anomaly * true_anomaly);
975 true_anomaly = atan (true_anomaly / divisor_term);
976 if (divisor_term < 0.0)
1847 auto double divisor_term; local
2425 divisor_term = cos (anomaly_of_eccentric) - e_eccentricity;
2430 true_anomaly = atan (s_distance / divisor_term);
2431 if (divisor_term < 0.0)
2809 sqrt (divisor_term * divisor_term +
H A Dhd-astro.c1048 auto double divisor_term; local
1102 divisor_term = cos (anomaly_of_eccentric) - eccentricity;
1105 sin (anomaly_of_eccentric)) / divisor_term);
1106 if (divisor_term < 0.0)
/dports/math/yices/yices-2.6.2/src/mcsat/uf/
H A Duf_plugin.c686 term_t divisor_term = app_comp->arg[1]; in uf_plugin_build_model() local
687 variable_t divisor_var = variable_db_get_variable(var_db, divisor_term); in uf_plugin_build_model()